Searched refs:getSymMaxVal (Results 1 – 3 of 3) sorted by relevance
124 virtual const llvm::APSInt *getSymMaxVal(ProgramStateRef state, in getSymMaxVal() function
1244 return state->getConstraintManager().getSymMaxVal(state, Sym); in getMaxValue()
1882 const llvm::APSInt *getSymMaxVal(ProgramStateRef State,2881 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St, in getSymMaxVal() function in RangeConstraintManager