/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 69 svalBuilder.evalEQ(state, Extent, Size);
|
VLASizeChecker.cpp | 150 svalBuilder.evalEQ(state, Extent, ArraySize);
|
OSAtomicChecker.cpp | 159 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal);
|
CStringChecker.cpp | 220 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 451 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); [all...] |
BasicObjCFoundationChecks.cpp | 397 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
MacOSKeychainAPIChecker.cpp | 251 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
MallocChecker.cpp | 445 svalBuilder.evalEQ(state, Extent, DefinedSize); 732 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull()); 747 svalBuilder.evalEQ(state, Arg1Val, [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SValBuilder.h | 120 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
|
/external/clang/lib/StaticAnalyzer/Core/ |
SValBuilder.cpp | 253 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
|
ExprEngineC.cpp | 782 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); 787 Constraint = svalBuilder.evalEQ(state, SymVal,
|
ExprEngine.cpp | [all...] |