reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

 2105   SValBuilder &SVB = State->getStateManager().getSValBuilder();
 2112   ProgramStateRef NewState = State;
 2116       SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),
 2121       return State;
 2126       SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),
 2131       return State;