reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Overridden By

tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp

   25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State,

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h

   94     ProgramStateRef StTrue = assume(State, Cond, true);
  109     ProgramStateRef StFalse = assume(State, Cond, false);

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  664       ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);

tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp

  284   State = C.getConstraintManager().assume(

tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp

  141   return !CM.assume(C.getState(), *DSV, true);

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  358   return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);