Searched refs:evalEQ (Results 1 – 8 of 8) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | EnumCastOutOfRangeChecker.cpp | 47 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
|
| H A D | GTestChecker.cpp | 279 C.getSValBuilder().evalEQ(State, *DVal1, *DVal2).getAs<DefinedSVal>(); in assumeValuesEqual()
|
| H A D | MIGChecker.cpp | 240 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
|
| H A D | CStringChecker.cpp | 304 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
513 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1130 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1386 State->assume(Builder.evalEQ(State, LV, RV)); in evalMemcmp()
2047 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
|
| H A D | MallocChecker.cpp | 1545 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()
2591 DefinedOrUnknownSVal PtrEQ = svalBuilder.evalEQ( in ReallocMemAux()
2606 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 131 SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);
133 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 536 return state->isNonNull(evalEQ(state, lhs, rhs)); in areEqual()
539 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ() function in SValBuilder
543 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
546 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
|
| H A D | ExprEngineC.cpp | 1144 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1149 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
|