Home
last modified time | relevance | path

Searched refs:getSValBuilder (Results 1 – 25 of 60) sorted by relevance

123

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp306 const auto PtrVal = C.getSValBuilder().getConjuredHeapSymbolVal( in evalCall()
365 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
388 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in evalCall()
488 auto &Bldr = C.getSValBuilder(); in handleComparisionOp()
752 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in handleAssignOp()
787 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in updateMovedSmartPointers()
814 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in updateMovedSmartPointers()
854 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
861 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
867 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
[all …]
H A DUndefResultChecker.cpp55 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in isArrayIndexOutOfBounds()
68 SValBuilder &SB = C.getSValBuilder(); in isLeftShiftResultUnrepresentable()
137 SValBuilder &SB = C.getSValBuilder(); in checkPostStmt()
157 SValBuilder &SB = C.getSValBuilder(); in checkPostStmt()
H A DDebugIteratorModeling.cpp104 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition()
112 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer()
120 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity()
H A DErrnoTesterChecker.cpp105 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError()
122 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange()
144 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
H A DCStringChecker.cpp302 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
357 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation()
425 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
511 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
720 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
817 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
947 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound()
1353 SValBuilder &Builder = C.getSValBuilder(); in evalMemcmp()
1492 C.getSValBuilder() in evalstrLengthCommon()
2166 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep()
[all …]
H A DBuiltinFunctionChecker.cpp97 C.getSValBuilder()); in evalCall()
108 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
H A DCastValueChecker.cpp252 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy) in addCastTransition()
253 : C.getSValBuilder().makeNullWithType(CastToTy); in addCastTransition()
318 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
332 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()
362 C.getSValBuilder().makeNullWithType( in evalNullParamNullReturn()
H A DVLASizeChecker.cpp96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
189 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
256 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt()
H A DIterator.cpp232 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition()
267 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow()
306 auto &SVB = State->getStateManager().getSValBuilder(); in compare()
H A DIteratorRangeChecker.cpp135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall()
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()
216 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
H A DArrayBoundChecker.cpp59 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkLocation()
H A DErrnoModeling.cpp156 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction()
237 C.getSValBuilder().makeIntVal(Value, C.getASTContext().IntTy), in setErrnoValue()
H A DCXXSelfAssignmentChecker.cpp48 auto &SVB = C.getSValBuilder(); in checkBeginFunction()
H A DContainerModeling.cpp321 auto &SVB = C.getSValBuilder(); in handleAssignment()
435 auto &SVB = C.getSValBuilder(); in handlePushBack()
464 auto &SVB = C.getSValBuilder(); in handlePopBack()
509 auto &SVB = C.getSValBuilder(); in handlePushFront()
546 auto &SVB = C.getSValBuilder(); in handlePopFront()
671 auto &SVB = C.getSValBuilder(); in handleEraseAfter()
H A DBoolAssignmentChecker.cpp85 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
H A DEnumCastOutOfRangeChecker.cpp42 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {} in ConstraintBasedEQEvaluator()
H A DReturnPointerRangeChecker.cpp60 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in checkPreStmt()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp137 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
148 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
153 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
H A DSMTConstraintManager.cpp16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
H A DCallEvent.cpp559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
760 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
835 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
878 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1325 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1372 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1395 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
H A DDynamicExtent.cpp59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h114 SValBuilder &getSValBuilder() { in getSValBuilder() function
115 return Eng.getSValBuilder(); in getSValBuilder()
119 return getSValBuilder().getSymbolManager(); in getSymbolManager()
H A DSimpleConstraintManager.h78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder() function
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DStoreTest.cpp45 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
113 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp165 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
171 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()

123