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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

  150   SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);

References

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

  237   V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy));

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

  439   return state->isNonNull(evalEQ(state, lhs, rhs));
  449   return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs))