Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DEnumCastOutOfRangeChecker.cpp47 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
H A DGTestChecker.cpp278 C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(), in assumeValuesEqual()
H A DMIGChecker.cpp239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DCStringChecker.cpp291 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
467 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
1067 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1318 State->assume(Builder.evalEQ(State, LV, RV)); in evalMemcmp()
1979 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
H A DMallocChecker.cpp1333 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()
2379 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull()); in ReallocMemAux()
2393 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp456 return state->isNonNull(evalEQ(state, lhs, rhs)); in areEqual()
459 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ() function in SValBuilder
463 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() function in SValBuilder
466 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
H A DExprEngineC.cpp1152 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1157 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h164 SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);
166 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,