Searched refs:evalEQ (Results 1 – 9 of 9) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 73 svalBuilder.evalEQ(state, Extent, Size); in evalCall()
|
| D | VLASizeChecker.cpp | 172 svalBuilder.evalEQ(state, Extent, ArraySize); in checkPreStmt()
|
| D | CStringChecker.cpp | 228 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
460 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1191 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalMemcmp()
1814 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
|
| D | MacOSKeychainAPIChecker.cpp | 236 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal, in definitelyReturnedError()
|
| D | MallocChecker.cpp | 897 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()
1115 svalBuilder.evalEQ(State, Extent, *DefinedSize); in MallocMemAux()
1912 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull()); in ReallocMem()
1927 svalBuilder.evalEQ(State, Arg1Val, in ReallocMem()
|
| D | BasicObjCFoundationChecks.cpp | 584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 123 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 983 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
988 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
|
| D | SValBuilder.cpp | 395 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
|