Searched refs:assumeSymLT (Results 1 – 3 of 3) sorted by relevance
62 virtual ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
299 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,454 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym, in assumeSymLT() function in RangeConstraintManager
258 return assumeSymLT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()