reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
533 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } 561 return ConstraintMgr->haveEqualConstraints(S1, S2); 663 return getStateManager().ConstraintMgr 672 return getStateManager().ConstraintMgr 684 return getStateManager().ConstraintMgr->assumeInclusiveRange( 697 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
84 ConstraintMgr = (*CreateCMgr)(*this, SubEng); 116 return ConstraintMgr->removeDeadBindings(Result, SymReaper); 383 return getStateManager().ConstraintMgr->isNull(this, Sym);