Searched refs:evalEQ (Results 1 - 10 of 10) sorted by relevance
| /freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 70 svalBuilder.evalEQ(state, Extent, Size);
|
| H A D | VLASizeChecker.cpp | 150 svalBuilder.evalEQ(state, Extent, ArraySize);
|
| H A D | CStringChecker.cpp | 213 return state->assume(svalBuilder.evalEQ(state, *val, zero));
443 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
1093 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1712 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
|
| H A D | MacOSKeychainAPIChecker.cpp | 242 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
| H A D | BasicObjCFoundationChecks.cpp | 547 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
| H A D | MallocChecker.cpp | 778 svalBuilder.evalEQ(State, Extent, *DefinedSize);
1435 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());
1450 svalBuilder.evalEQ(state, Arg1Val,
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 930 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
935 Constraint = svalBuilder.evalEQ(state, SymVal,
|
| H A D | SValBuilder.cpp | 362 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, function in class:SValBuilder
|
| H A D | ExprEngine.cpp | 1611 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state,
|
Completed in 143 milliseconds