Home
last modified time | relevance | path

Searched refs:getOriginExpr (Results 1 – 25 of 34) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h250 virtual const Expr *getOriginExpr() const { in getOriginExpr() function
285 return getOriginExpr()->getSourceRange(); in getSourceRange()
425 getState(), {getOriginExpr(), Index}, getLocationContext()) in isArgumentConstructedDirectly()
551 const CallExpr *getOriginExpr() const override { in getOriginExpr() function
552 return cast<CallExpr>(AnyFunctionCall::getOriginExpr()); in getOriginExpr()
557 unsigned getNumArgs() const override { return getOriginExpr()->getNumArgs(); } in getNumArgs()
560 return getOriginExpr()->getArg(Index); in getArgExpr()
590 const CallExpr *getOriginExpr() const override { in getOriginExpr() function
591 return cast<CallExpr>(CallEvent::getOriginExpr()); in getOriginExpr()
594 unsigned getNumArgs() const override { return getOriginExpr()->getNumArgs(); } in getNumArgs()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp100 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()
111 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
115 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
128 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
132 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
134 nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount()); in evalSetErrnoIfErrorRange()
150 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
154 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
158 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()
H A DCStringChecker.cpp1459 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1511 nullptr, Call.getOriginExpr(), LCtx, C.blockCount()); in evalCopyCommon()
1514 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()
1518 state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1620 State = State->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1647 State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1661 SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalMemcmp()
1663 State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV); in evalMemcmp()
1700 stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero); in evalstrLengthCommon()
1766 nullptr, Call.getOriginExpr(), LCtx, C.blockCount()); in evalstrLengthCommon()
[all …]
H A DSmartPtrModeling.cpp309 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
366 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
488 const auto *ResultExpr = Call.getOriginExpr(); in handleComparisionOp()
533 State->invalidateRegions({StreamThisRegion}, Call.getOriginExpr(), in handleOstreamOperator()
536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
642 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
725 State, ThisRegion, Call.getOriginExpr(), Call.getResultType(), C); in handleGet()
726 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
838 const Expr *CallExpr = Call.getOriginExpr(); in handleBoolConversion()
H A DCastValueChecker.cpp255 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), V, false), in addCastTransition()
317 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
331 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
360 C.addTransition(State->BindExpr(Call.getOriginExpr(), in evalNullParamNullReturn()
363 Call.getOriginExpr()->getType()), in evalNullParamNullReturn()
H A DObjCSuperDeallocChecker.cpp105 reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C); in checkPreObjCMessage()
230 if (M.getOriginExpr()->getReceiverKind() != ObjCMessageExpr::SuperInstance) in isSuperDeallocMessage()
H A DInnerPointerChecker.cpp123 OverloadedOperatorKind Opc = MemOpCall->getOriginExpr()->getOperator(); in isInvalidatingMemberFunction()
137 const Expr *Origin = Call.getOriginExpr(); in markPtrSymbolsReleased()
H A DNoReturnFunctionChecker.cpp47 if (const CallExpr *CExpr = dyn_cast_or_null<CallExpr>(CE.getOriginExpr()); in checkPostCall()
H A DMallocChecker.cpp1233 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkStrdup()
1265 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkCXXNewOrCXXDelete()
1383 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkGetdelim()
1413 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkOwnershipAttr()
1443 if (!Call.getOriginExpr()) in checkPostCall()
1483 if (const CallExpr *CE = dyn_cast<CallExpr>(Call.getOriginExpr())) { in ProcessZeroAllocCheck()
1486 dyn_cast<CXXNewExpr>(Call.getOriginExpr())) { in ProcessZeroAllocCheck()
1583 const CXXNewExpr *NE = Call.getOriginExpr(); in processNewAllocation()
1599 if (Call.getOriginExpr()->isArray()) { in processNewAllocation()
1614 (Call.getOriginExpr()->isArray() ? AF_CXXNewArray : AF_CXXNew)); in checkNewAllocator()
[all …]
H A DTraversalChecker.cpp96 const Expr *CallE = Call.getOriginExpr(); in checkPostCall()
H A DBasicObjCFoundationChecks.cpp1040 const Expr *MsgExpr = M.getOriginExpr(); in checkPostObjCMessage()
1071 StaticClass = Message->getOriginExpr()->getReceiverInterface(); in getMethodReceiverIfKnownImmutable()
1210 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1222 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1230 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
H A DDebugContainerModeling.cpp59 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DBuiltinFunctionChecker.cpp78 const Expr *CE = Call.getOriginExpr(); in evalCall()
H A DDebugIteratorModeling.cpp62 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DCheckObjCDealloc.cpp711 BR->addRange(M.getOriginExpr()->getSourceRange()); in diagnoseExtraRelease()
753 BR->addRange(M.getOriginExpr()->getSourceRange()); in diagnoseMistakenDealloc()
780 if (M.getOriginExpr()->getReceiverKind() != ObjCMessageExpr::SuperInstance) in isSuperDeallocMessage()
H A DSTLAlgorithmModeling.cpp92 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DIteratorModeling.cpp185 const auto *OrigExpr = Call.getOriginExpr(); in checkPostCall()
353 const auto *OrigExpr = Call.getOriginExpr(); in handleOverloadedOperator()
367 const auto *OrigExpr = Call.getOriginExpr(); in handleOverloadedOperator()
H A DStdVariantChecker.cpp240 const CallExpr *CE = cast<CallExpr>(Call.getOriginExpr()); in handleStdGetCall()
H A DStreamChecker.cpp657 CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in Init()
845 EscapingVals, Call.getOriginExpr(), BlockCount, LCtx, in escapeByStartIndexAndCount()
855 State = State->invalidateRegions(EscapingVals, Call.getOriginExpr(), in escapeArgs()
893 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFopen()
936 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFreopen()
1628 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFflush()
H A DErrnoModeling.cpp153 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in evalCall()
H A DBlockInCriticalSectionChecker.cpp262 const CritSectionMarker MarkToAdd{Call.getOriginExpr(), MutexRegion}; in handleLock()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp73 const Expr *E = getOriginExpr(); in getResultType()
169 const Expr *E = getOriginExpr(); in getCalleeStackFrame()
202 getOriginExpr(), Index, SFC); in getParameterLocation()
282 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(), in invalidateRegions()
291 if (const Expr *E = getOriginExpr()) { in getProgramPoint()
323 const Expr *E = getOriginExpr(); in getReturnValue()
333 if (const Expr *E = getOriginExpr()) { in dump()
495 MRMgr.getParamVarRegion(Call.getOriginExpr(), Idx, CalleeCtx)); in addParameterValuesToBindings()
548 getOriginExpr(), getState(), &Engine.getBuilderContext(), in getReturnValueUnderConstruction()
685 const FunctionDecl *D = getOriginExpr()->getDirectCallee(); in getDecl()
[all …]
H A DExprEngineCallAndReturn.cpp549 const Expr *CallE = Call.getOriginExpr(); in inlineCall()
631 const Expr *E = Call.getOriginExpr(); in finishArgumentConstruction()
663 const Expr *E = Call.getOriginExpr(); in finishArgumentConstruction()
743 const Expr *E = Call.getOriginExpr(); in bindReturnValue()
771 assert(RTC->getStmt() == Call.getOriginExpr()); in bindReturnValue()
774 Call.getOriginExpr(), State, currBldrCtx, LCtx, in bindReturnValue()
863 const CXXConstructExpr *CtorExpr = Ctor.getOriginExpr(); in mayInlineCallKind()
1230 const Expr *E = Call->getOriginExpr(); in defaultEvalCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp346 .isConsumedExpr(Call.getOriginExpr()); in isReceiverUnconsumedSelf()
354 const Expr *CE = Call.getOriginExpr(); in getSummary()
650 ErrorRange = MsgInvocation->getOriginExpr()->getReceiverRange(); in checkSummary()
663 ErrorRange = MCall->getOriginExpr()->getSourceRange(); in checkSummary()
690 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary()
895 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp206 const auto *CE = cast<CallExpr>(Call.getOriginExpr()); in postPreviousReturnInvalidatingCall()

12