Home
last modified time | relevance | path

Searched refs:Satisfied (Results 1 – 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DTestAfterDivZeroChecker.cpp62 bool Satisfied; member in __anon74a9d57a0111::DivisionBRVisitor
66 : ZeroSymbol(ZeroSymbol), SFC(SFC), Satisfied(false) {} in DivisionBRVisitor()
101 if (Satisfied) in REGISTER_SET_WITH_PROGRAMSTATE()
121 Satisfied = true; in REGISTER_SET_WITH_PROGRAMSTATE()
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitor.h100 bool Satisfied; variable
116 Satisfied(false), in FindLastStoreBRVisitor()
/external/clang/lib/StaticAnalyzer/Core/
DBugReporterVisitors.cpp140 Satisfied enumerator
254 Mode = Satisfied; in visitNodeInitial()
347 Mode = Satisfied; in visitNodeMaybeUnsuppress()
391 case Satisfied: in VisitNode()
451 if (Satisfied) in VisitNode()
526 Satisfied = true; in VisitNode()