HomeSort by relevance Sort by last modified time
    Searched refs:assumeSymEQ (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 60 virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
SimpleConstraintManager.cpp 101 return assumeSymEQ(state, SymR->getSymbol(), zero, zero);
142 return assumeSymEQ(State, Sym, zero, zero);
277 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment);
RangeConstraintManager.cpp 295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
437 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,

Completed in 162 milliseconds