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