Searched refs:PathSensitive (Results 1 – 4 of 4) sorted by relevance
140 textual header "StaticAnalyzer/Core/PathSensitive/SVals.def"141 textual header "StaticAnalyzer/Core/PathSensitive/Symbols.def"142 textual header "StaticAnalyzer/Core/PathSensitive/Regions.def"
123 enum class Kind { Basic, PathSensitive }; enumerator401 return R->getKind() == Kind::PathSensitive; in classof()
2133 : BugReport(Kind::PathSensitive, bt, shortDesc, desc), ErrorNode(errorNode), in PathSensitiveBugReport()
217 * - clang/include/clang/StaticAnalyzer/Core/PathSensitive