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

Overridden By

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

  199   ProgramStateRef removeDeadBindings(ProgramStateRef State,

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

  415 RangeConstraintManager::removeDeadBindings(ProgramStateRef State,

References

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

  751         getConstraintManager().removeDeadBindings(CheckerState, SymReaper);

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

  116   return ConstraintMgr->removeDeadBindings(Result, SymReaper);