Searched refs:assumeSymNE (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 109 return assumeSymNE(State, Sym, zero, zero); in assumeAuxForSymbol()
249 return assumeSymNE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|
| D | SimpleConstraintManager.h | 54 virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
|
| D | RangeConstraintManager.cpp | 291 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
419 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym, in assumeSymNE() function in RangeConstraintManager
|