Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DEnumCastOutOfRangeChecker.cpp50 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
H A DGTestChecker.cpp278 C.getSValBuilder().evalEQ(State, *DVal1, *DVal2).getAs<DefinedSVal>(); in assumeValuesEqual()
H A DMIGChecker.cpp241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DCStringChecker.cpp371 return State->assume(svalBuilder.evalEQ(State, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
702 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1377 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1639 State->assume(Builder.evalEQ(State, LV, RV)); in evalMemcmp()
2328 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
H A DMallocChecker.cpp1510 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()
2635 DefinedOrUnknownSVal PtrEQ = svalBuilder.evalEQ( in ReallocMemAux()
2650 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h143 SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);
145 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp545 return state->isNonNull(evalEQ(state, lhs, rhs)); in areEqual()
548 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ() function in SValBuilder
552 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
555 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
H A DExprEngineC.cpp1132 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1137 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()