Home
last modified time | relevance | path

Searched refs:getOriginExpr (Results 1 – 25 of 40) 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()
559 unsigned getNumArgs() const override { return getOriginExpr()->getNumArgs(); } in getNumArgs()
562 return getOriginExpr()->getArg(Index); in getArgExpr()
592 const CallExpr *getOriginExpr() const override { in getOriginExpr() function
593 return cast<CallExpr>(CallEvent::getOriginExpr()); in getOriginExpr()
596 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()
149 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
153 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
157 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()
H A DSTLAlgorithmModeling.cpp92 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
105 const auto *CE = dyn_cast<CallExpr>(Call.getOriginExpr()); in evalFind()
132 const auto *CE = dyn_cast<CallExpr>(Call.getOriginExpr()); in Find()
H A DCallAndMessageChecker.cpp480 const CXXDeleteExpr *DE = DC->getOriginExpr(); in checkCXXDeallocation()
544 if (const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr())) in checkPreCall()
610 const ObjCMessageExpr *ME = msg.getOriginExpr(); in checkPreObjCMessage()
639 const ObjCMessageExpr *ME = msg.getOriginExpr(); in emitNilReceiverBug()
686 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); in HandleNilReceiver()
692 .isConsumedExpr(Msg.getOriginExpr())) { in HandleNilReceiver()
724 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); in HandleNilReceiver()
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 DCStringChecker.cpp1465 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1519 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()
1523 state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1625 State = State->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1652 State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1667 State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV); in evalMemcmp()
1704 stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero); in evalstrLengthCommon()
1798 state = state->BindExpr(Call.getOriginExpr(), LCtx, result); in evalstrLengthCommon()
2048 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal); in evalStrcpyCommon()
2052 StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(), in evalStrcpyCommon()
[all …]
H A DDynamicTypePropagation.cpp126 const ObjCMessageExpr *MessageExpr = Message.getOriginExpr(); in inferReceiverType()
266 switch (Ctor->getOriginExpr()->getConstructionKind()) { in checkPreCall()
358 switch (Ctor->getOriginExpr()->getConstructionKind()) { in checkPostCall()
381 LCtx->getParentMap().getParent(Ctor->getOriginExpr()))) in checkPostCall()
812 const ObjCMessageExpr *MessageExpr = M.getOriginExpr(); in checkPreObjCMessage()
907 const ObjCMessageExpr *MessageExpr = M.getOriginExpr(); in checkPostObjCMessage()
H A DObjCSuperDeallocChecker.cpp105 reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C); in checkPreObjCMessage()
230 if (M.getOriginExpr()->getReceiverKind() != ObjCMessageExpr::SuperInstance) in isSuperDeallocMessage()
H A DSmartPtrModeling.cpp363 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
486 const auto *ResultExpr = Call.getOriginExpr(); in handleComparisionOp()
536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
642 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
726 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
838 const Expr *CallExpr = Call.getOriginExpr(); in handleBoolConversion()
H A DTraversalChecker.cpp82 const Expr *CallE = Call.getOriginExpr(); in checkPostCall()
H A DMallocChecker.cpp1377 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkStrdup()
1424 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkCXXNewOrCXXDelete()
1551 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkGetDelimOrGetLine()
1585 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkOwnershipAttr()
1612 if (!Call.getOriginExpr()) in evalCall()
1674 if (const CallExpr *CE = dyn_cast<CallExpr>(Call.getOriginExpr())) { in ProcessZeroAllocCheck()
1677 dyn_cast<CXXNewExpr>(Call.getOriginExpr())) { in ProcessZeroAllocCheck()
1689 RetVal = State->getSVal(Call.getOriginExpr(), C.getLocationContext()); in ProcessZeroAllocCheck()
1777 const CXXNewExpr *NE = Call.getOriginExpr(); in processNewAllocation()
1793 if (Call.getOriginExpr()->isArray()) { in processNewAllocation()
[all …]
H A DInnerPointerChecker.cpp121 OverloadedOperatorKind Opc = MemOpCall->getOriginExpr()->getOperator(); in isInvalidatingMemberFunction()
135 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 DBasicObjCFoundationChecks.cpp1039 const Expr *MsgExpr = M.getOriginExpr(); in checkPostObjCMessage()
1070 StaticClass = Message->getOriginExpr()->getReceiverInterface(); in getMethodReceiverIfKnownImmutable()
1209 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1221 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1229 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
H A DBuiltinFunctionChecker.cpp184 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in initStateAftetBuiltinOverflow()
258 const Expr *CE = Call.getOriginExpr(); in evalCall()
H A DDebugContainerModeling.cpp59 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DDebugIteratorModeling.cpp62 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DChrootChecker.cpp79 const auto *CE = cast<CallExpr>(Call.getOriginExpr()); in evalChroot()
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 DVirtualCallChecker.cpp117 const auto *CE = cast<CallExpr>(Call.getOriginExpr()); in checkPreCall()
H A DIteratorModeling.cpp186 const auto *OrigExpr = Call.getOriginExpr(); in checkPostCall()
354 const auto *OrigExpr = Call.getOriginExpr(); in handleOverloadedOperator()
369 const auto *OrigExpr = Call.getOriginExpr(); in handleOverloadedOperator()
H A DStdVariantChecker.cpp238 const CallExpr *CE = cast<CallExpr>(Call.getOriginExpr()); in handleStdGetCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp72 const Expr *E = getOriginExpr(); in getResultType()
168 const Expr *E = getOriginExpr(); in getCalleeStackFrame()
201 getOriginExpr(), Index, SFC); in getParameterLocation()
290 if (const Expr *E = getOriginExpr()) { in getProgramPoint()
322 const Expr *E = getOriginExpr(); in getReturnValue()
332 if (const Expr *E = getOriginExpr()) { in dump()
494 MRMgr.getParamVarRegion(Call.getOriginExpr(), Idx, CalleeCtx)); in addParameterValuesToBindings()
547 getOriginExpr(), getState(), &Engine.getBuilderContext(), in getReturnValueUnderConstruction()
684 const FunctionDecl *D = getOriginExpr()->getDirectCallee(); in getDecl()
688 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); 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()
772 assert(RTC->getStmt() == Call.getOriginExpr()); in bindReturnValue()
775 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.cpp345 .isConsumedExpr(Call.getOriginExpr()); in isReceiverUnconsumedSelf()
353 const Expr *CE = Call.getOriginExpr(); in getSummary()
649 ErrorRange = MsgInvocation->getOriginExpr()->getReceiverRange(); in checkSummary()
662 ErrorRange = MCall->getOriginExpr()->getSourceRange(); in checkSummary()
689 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary()
894 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()

12