Searched refs:assumeSymGE (Results 1 – 3 of 3) sorted by relevance
87 virtual ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
316 ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,585 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym, in assumeSymGE() function in RangeConstraintManager
291 return assumeSymGE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()