Searched refs:PathSensitive (Results 1 – 5 of 5) sorted by relevance
154 textual header "StaticAnalyzer/Core/PathSensitive/SVals.def"155 textual header "StaticAnalyzer/Core/PathSensitive/Symbols.def"156 textual header "StaticAnalyzer/Core/PathSensitive/Regions.def"
121 enum class Kind { Basic, PathSensitive }; enumerator399 return R->getKind() == Kind::PathSensitive; in classof()
234 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicCastInfo.h235 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h236 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h237 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h238 clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h239 clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h240 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h241 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h242 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h243 clang/include/clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h
2134 : BugReport(Kind::PathSensitive, bt, shortDesc, desc), ErrorNode(errorNode), in PathSensitiveBugReport()
322 * - clang/include/clang/StaticAnalyzer/Core/PathSensitive