Home | History | Annotate | Download | only in Core

Lines Matching refs:CMgr

493       ConstraintManager &CMgr = state->getConstraintManager();
494 if (const llvm::APSInt *Constant = CMgr.getSymVal(state, Sym)) {