Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp440 return state->isNonNull(evalEQ(state, lhs, rhs)); in areEqual()
443 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ() function in SValBuilder
447 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
450 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
H A DExprEngineC.cpp1099 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1104 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DEnumCastOutOfRangeChecker.cpp48 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
H A DBuiltinFunctionChecker.cpp91 svalBuilder.evalEQ(state, Extent, Size); in evalCall()
H A DGTestChecker.cpp279 C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(), in assumeValuesEqual()
H A DVLASizeChecker.cpp173 svalBuilder.evalEQ(state, Extent, ArraySize); in checkPreStmt()
H A DCStringChecker.cpp244 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
448 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1042 State->assume(svalBuilder.evalEQ(State, Extent, *SizeNL)); in memsetAux()
1292 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalMemcmp()
1955 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
H A DMallocChecker.cpp1009 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()
1146 DefinedOrUnknownSVal extentMatchesSize = svalBuilder.evalEQ( in addExtentSize()
1279 svalBuilder.evalEQ(State, Extent, *DefinedSize); in MallocMemAux()
2141 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull()); in ReallocMemAux()
2155 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h151 SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);
153 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,