Searched refs:assumeSymLT (Results 1 – 3 of 3) sorted by relevance
75 virtual ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
308 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,513 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym, in assumeSymLT() function in RangeConstraintManager
294 return assumeSymLT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()