Searched refs:PathSensitive (Results 1 – 3 of 3) 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()
2126 : BugReport(Kind::PathSensitive, bt, shortDesc, desc), ErrorNode(errorNode), in PathSensitiveBugReport()