Searched refs:assumeSymLE (Results 1 – 3 of 3) sorted by relevance
70 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
311 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,541 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym, in assumeSymLE() function in RangeConstraintManager
261 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()