Searched refs:evalEQ (Results 1 - 9 of 9) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp73 svalBuilder.evalEQ(state, Extent, Size);
H A DVLASizeChecker.cpp173 svalBuilder.evalEQ(state, Extent, ArraySize);
H A DCStringChecker.cpp224 return state->assume(svalBuilder.evalEQ(state, *val, zero));
456 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
1187 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1810 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
H A DMacOSKeychainAPIChecker.cpp240 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
H A DMallocChecker.cpp886 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
1107 svalBuilder.evalEQ(State, Extent, *DefinedSize);
1904 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
1919 svalBuilder.evalEQ(State, Arg1Val,
H A DBasicObjCFoundationChecks.cpp585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
/external/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp390 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, function in class:SValBuilder
H A DExprEngineC.cpp972 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
977 Constraint = svalBuilder.evalEQ(state, SymVal,

Completed in 93 milliseconds