Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DEnumCastOutOfRangeChecker.cpp51 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
H A DMIGChecker.cpp241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DCStringChecker.cpp372 return State->assume(svalBuilder.evalEQ(State, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
707 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1383 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1644 State->assume(Builder.evalEQ(State, LV, RV)); in evalMemcmp()
2371 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
H A DMallocChecker.cpp1706 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()
2819 DefinedOrUnknownSVal PtrEQ = svalBuilder.evalEQ( in ReallocMemAux()
2834 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h144 SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);
146 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp546 return state->isNonNull(evalEQ(state, lhs, rhs)); in areEqual()
549 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ() function in SValBuilder
553 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
556 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
H A DExprEngineC.cpp1172 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1177 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc8120 …NS0_7GRStateENS0_20DefinedOrUnknownSValES5_", "clang::ento::SValBuilder::evalEQ(clang::ento::GRSta…