Home
last modified time | relevance | path

Searched refs:evalEQ (Results 1 – 10 of 10) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDBuiltinFunctionChecker.cpp72 svalBuilder.evalEQ(state, Extent, Size); in evalCall()
HDVLASizeChecker.cpp173 svalBuilder.evalEQ(state, Extent, ArraySize); in checkPreStmt()
HDCStringChecker.cpp215 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
447 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1104 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalMemcmp()
1726 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
HDMacOSKeychainAPIChecker.cpp241 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal, in definitelyReturnedError()
HDMallocChecker.cpp886 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()
1103 svalBuilder.evalEQ(State, Extent, *DefinedSize); in MallocMemAux()
1897 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull()); in ReallocMem()
1912 svalBuilder.evalEQ(State, Arg1Val, in ReallocMem()
HDBasicObjCFoundationChecks.cpp585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSValBuilder.h118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDExprEngineC.cpp949 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
954 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
HDSValBuilder.cpp362 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
HDExprEngine.cpp1781 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state, in processSwitch()