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

  152   DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,

References

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

   95       svalBuilder.evalEQ(state, Extent, Size.castAs<DefinedOrUnknownSVal>());

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

  276   return state->assume(svalBuilder.evalEQ(state, *val, zero));
  483     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
 1079         State->assume(svalBuilder.evalEQ(State, Extent, *SizeNL));
 1314     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
 1942   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);

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

   47         SVB.evalEQ(PS, EnumDeclValue, CompareValue);

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

  278       C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(),

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

 1267       State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
 1411     DefinedOrUnknownSVal extentMatchesSize = svalBuilder.evalEQ(
 1545         svalBuilder.evalEQ(State, Extent, *DefinedSize);
 2414     svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
 2428     svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),

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

  174     svalBuilder.evalEQ(state, Extent, ArraySize);

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

 1134         svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
 1139           Constraint = svalBuilder.evalEQ(state, SymVal,