Searched refs:getSymMaxVal (Results 1 – 2 of 2) sorted by relevance
1247 return state->getConstraintManager().getSymMaxVal(state, Sym); in getMaxValue()
1900 const llvm::APSInt *getSymMaxVal(ProgramStateRef State,2893 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St, in getSymMaxVal() function in RangeConstraintManager