Searched defs:getSymMaxVal (Results 1 – 2 of 2) sorted by relevance
124 virtual const llvm::APSInt *getSymMaxVal(ProgramStateRef state, in getSymMaxVal() function
2880 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St, getSymMaxVal() function in RangeConstraintManager