Searched refs:PathSensitive (Results 1 – 5 of 5) sorted by relevance
151 textual header "StaticAnalyzer/Core/PathSensitive/SVals.def"152 textual header "StaticAnalyzer/Core/PathSensitive/Symbols.def"153 textual header "StaticAnalyzer/Core/PathSensitive/Regions.def"
121 enum class Kind { Basic, PathSensitive }; enumerator399 return R->getKind() == Kind::PathSensitive; in classof()
236 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicCastInfo.h237 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h238 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h239 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h240 clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h241 clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h242 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h243 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h244 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h245 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