Searched refs:getSymMaxVal (Results 1 – 1 of 1) sorted by relevance
1882 const llvm::APSInt *getSymMaxVal(ProgramStateRef State,2881 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St, in getSymMaxVal() function in RangeConstraintManager