Searched refs:assumeSymLE (Results 1 – 3 of 3) sorted by relevance
83 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
320 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,649 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym, in assumeSymLE() function in RangeConstraintManager
297 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()