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

References

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  315   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  317       SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),
  320     return !State->assume(*DV, false);