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

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
 2357   auto &SVB = State->getStateManager().getSValBuilder();
 2360     SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());
 2365   return !State->assume(comparison.castAs<DefinedSVal>(), false);