Home
last modified time | relevance | path

Searched refs:assumeSymLE (Results 1 – 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.h72 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
DRangeConstraintManager.cpp322 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
525 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym, in assumeSymLE() function in RangeConstraintManager
DSimpleConstraintManager.cpp282 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()