Home
last modified time | relevance | path

Searched refs:getCFGElementRef (Results 1 – 21 of 21) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp256 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, getCFGElementRef(), in computeObjectUnderConstruction()
377 CEMgr.getSimpleCall(CE, State, LCtx, getCFGElementRef()); in computeObjectUnderConstruction()
386 CCE, /*Target=*/nullptr, State, LCtx, getCFGElementRef()); in computeObjectUnderConstruction()
393 CEMgr.getObjCMethodCall(ME, State, LCtx, getCFGElementRef()); in computeObjectUnderConstruction()
703 CIE, TargetRegion, State, LCtx, getCFGElementRef()) in handleConstructor()
705 CE, TargetRegion, State, LCtx, getCFGElementRef()); in handleConstructor()
848 getCFGElementRef(), &T); in VisitCXXDestructor()
874 DtorDecl, S, Dest, IsBaseDtor, State, LCtx, getCFGElementRef()); in VisitCXXDestructor()
903 CEMgr.getCXXAllocatorCall(CNE, State, LCtx, getCFGElementRef()); in VisitCXXNewAllocatorCall()
993 symVal = svalBuilder.getConjuredHeapSymbolVal(getCFGElementRef(), LCtx, in VisitCXXNewExpr()
[all …]
H A DExprEngineC.cpp69 RightV = svalBuilder.conjureSymbolVal(nullptr, getCFGElementRef(), LCtx, in VisitBinaryOperator()
88 RightV, LeftV, getCFGElementRef(), RHS->getType(), svalBuilder, in VisitBinaryOperator()
90 LeftV = conjureOffsetSymbolOnLocation(LeftV, RightV, getCFGElementRef(), in VisitBinaryOperator()
172 getCFGElementRef(), LCtx, LTy, in VisitBinaryOperator()
499 /*symbolTag=*/nullptr, getCFGElementRef(), LCtx, resultType, in VisitCast()
523 /*symbolTag=*/nullptr, getCFGElementRef(), LCtx, resultType, in VisitCast()
568 /*symbolTag=*/nullptr, getCFGElementRef(), LCtx, resultType, in VisitCast()
661 /*symbolTag=*/nullptr, getCFGElementRef(), LC, Ty, in VisitDeclStmt()
879 V = svalBuilder.conjureSymbolVal(nullptr, getCFGElementRef(), LCtx, in VisitGuardedExpr()
1163 /*symbolTag=*/nullptr, getCFGElementRef(), LCtx, in VisitIncrementDecrementOperator()
H A DExprEngineObjC.cpp113 const ConstCFGElementRef &elemRef = getCFGElementRef(); in VisitObjCForCollectionStmt()
156 ME, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitObjCMessage()
H A DExprEngine.cpp423 State = State->invalidateRegions(Reg, getCFGElementRef(), in createTemporaryRegionIfNeeded()
441 getCFGElementRef(), LC, Init->getType(), currBldrCtx->blockCount()); in createTemporaryRegionIfNeeded()
450 getCFGElementRef(), LC, InitWithAdjustments->getType(), in createTemporaryRegionIfNeeded()
1216 SVB.conjureSymbolVal(getCFGElementRef(), stackFrame, in ProcessInitializer()
1332 getCFGElementRef()); in ProcessNewAllocator()
1381 getCFGElementRef(), &PT); in ProcessAutomaticObjDtor()
1398 PreImplicitCall PP(DtorDecl, varDecl->getLocation(), LCtx, getCFGElementRef(), in ProcessAutomaticObjDtor()
1427 PostImplicitCall PP(Dtor, DE->getBeginLoc(), LCtx, getCFGElementRef()); in ProcessDeleteDtor()
1461 getCFGElementRef(), &PT); in ProcessDeleteDtor()
1476 getCFGElementRef(), &PT); in ProcessDeleteDtor()
[all …]
H A DSValBuilder.cpp203 return conjureSymbolVal(symbolTag, call.getCFGElementRef(), in conjureSymbolVal()
212 return conjureSymbolVal(symbolTag, call.getCFGElementRef(), in conjureSymbolVal()
H A DExprEngineCallAndReturn.cpp612 CE, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitCallExpr()
744 const ConstCFGElementRef &Elem = Call.getCFGElementRef(); in bindReturnValue()
H A DCallEvent.cpp281 return Result->invalidateRegions(ValuesToInvalidate, getCFGElementRef(), in invalidateRegions()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp228 assignToContainer(C, Call.getCFGElementRef(), Call.getReturnValue(), in checkPostCall()
259 handlePtrIncrOrDecr(C, UO->getSubExpr(), C.getCFGElementRef(), in checkPostStmt()
275 handleComparison(C, BO, C.getCFGElementRef(), Result, LVal, RVal, in checkPostStmt()
288 handlePtrIncrOrDecr(C, IterExpr, C.getCFGElementRef(), in checkPostStmt()
355 const auto Elem = Call.getCFGElementRef(); in handleOverloadedOperator()
370 const auto Elem = Call.getCFGElementRef(); in handleOverloadedOperator()
431 (this->**Handler)(C, Call.getCFGElementRef(), Call.getReturnValue(), in handleAdvanceLikeFunction()
442 (this->**Handler)(C, Call.getCFGElementRef(), Call.getReturnValue(), in handleAdvanceLikeFunction()
H A DSmartPtrModeling.cpp306 Call.getCFGElementRef(), C.getLocationContext(), in evalCall()
493 makeSValFor(State, FirstExpr, Call.getCFGElementRef(), First); in handleComparisionOp()
495 makeSValFor(State, SecondExpr, Call.getCFGElementRef(), Second); in handleComparisionOp()
533 State->invalidateRegions({StreamThisRegion}, Call.getCFGElementRef(), in handleOstreamOperator()
725 State, ThisRegion, Call.getCFGElementRef(), Call.getResultType(), C); in handleGet()
H A DContainerModeling.cpp166 handleAssignment(C, InstCall->getCXXThisVal(), Call.getCFGElementRef(), in checkPostCall()
171 handleAssignment(C, InstCall->getCXXThisVal(), C.getCFGElementRef()); in checkPostCall()
201 handleBegin(C, Call.getCFGElementRef(), Call.getReturnValue(), in checkPostCall()
207 handleEnd(C, Call.getCFGElementRef(), Call.getReturnValue(), in checkPostCall()
H A DSTLAlgorithmModeling.cpp133 const auto &Elem = Call.getCFGElementRef(); in Find()
H A DCStringChecker.cpp1533 C, state, Dest.Expression, Call.getCFGElementRef(), in evalCopyCommon()
1538 state = invalidateSourceBuffer(C, state, Call.getCFGElementRef(), in evalCopyCommon()
2273 C, state, Dst.Expression, Call.getCFGElementRef(), *dstRegVal, in evalStrcpyCommon()
2277 C, state, Call.getCFGElementRef(), *dstRegVal); in evalStrcpyCommon()
2281 state = invalidateSourceBuffer(C, state, Call.getCFGElementRef(), srcVal); in evalStrcpyCommon()
2501 C, State, Call.getCFGElementRef(), Result); in evalStrsep()
2550 C, State, Call.getCFGElementRef(), DstVal); in evalStdCopyCommon()
2603 if (!memsetAux(Buffer.Expression, Call.getCFGElementRef(), in evalMemset()
2648 if (!memsetAux(Buffer.Expression, Call.getCFGElementRef(), Zero, in evalBzero()
H A DErrnoModeling.cpp125 C.getCFGElementRef(), C.getLocationContext(), in checkBeginFunction()
H A DStreamChecker.cpp666 Elem = Call.getCFGElementRef(); in Init()
861 EscapingVals, Call.getCFGElementRef(), BlockCount, LCtx, in escapeByStartIndexAndCount()
871 State = State->invalidateRegions(EscapingVals, Call.getCFGElementRef(), in escapeArgs()
934 DefinedSVal RetVal = makeRetVal(C, Call.getCFGElementRef()); in evalFopen()
H A DMallocChecker.cpp1895 : SVB.getConjuredHeapSymbolVal(Call.getCFGElementRef(), LCtx, in MallocBindRetVal()
2364 State = State->invalidateRegions({location}, Call.getCFGElementRef(), in FreeMemAux()
H A DStdLibraryFunctionsChecker.cpp622 Call.getCFGElementRef()); in apply()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h156 ConstCFGElementRef getCFGElementRef() const { return Eng.getCFGElementRef(); } in getCFGElementRef() function
H A DSymbolManager.h100 ConstCFGElementRef getCFGElementRef() const { return Elem; } in getCFGElementRef() function
H A DExprEngine.h229 ConstCFGElementRef getCFGElementRef() const { in getCFGElementRef() function
H A DCallEvent.h240 const CFGBlock::ConstCFGElementRef &getCFGElementRef() const { in getCFGElementRef() function
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h126 printCFGElementRef(S->getCFGElementRef()) + "'"; in VisitSymbolConjured()