Searched refs:assumeSymGE (Results 1 – 3 of 3) sorted by relevance
74 virtual ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
307 ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,512 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym, in assumeSymGE() function in RangeConstraintManager
255 return assumeSymGE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()