Searched refs:PathSensitive (Results 1 – 3 of 3) sorted by relevance
168 textual header "clang/StaticAnalyzer/Core/PathSensitive/SVals.def"169 textual header "clang/StaticAnalyzer/Core/PathSensitive/Symbols.def"170 textual header "clang/StaticAnalyzer/Core/PathSensitive/Regions.def"
121 enum class Kind { Basic, PathSensitive }; enumerator399 return R->getKind() == Kind::PathSensitive; in classof()
2164 : BugReport(Kind::PathSensitive, bt, shortDesc, desc), ErrorNode(errorNode), in PathSensitiveBugReport()