Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h240 virtual const Expr *getOriginExpr() const { in getOriginExpr() function
275 return getOriginExpr()->getSourceRange(); in getSourceRange()
541 return getOriginExpr()->getArg(Index); in getArgExpr()
577 return getOriginExpr()->getArg(Index); in getArgExpr()
719 return getOriginExpr()->getArg(Index); in getArgExpr()
788 return getOriginExpr()->getOperator(); in getOverloadedOperator()
905 return getOriginExpr()->getArg(Index); in getArgExpr()
1095 return getOriginExpr()->getArgument(); in getArgExpr()
1152 return getOriginExpr()->getNumArgs(); in getNumArgs()
1156 return getOriginExpr()->getArg(Index); in getArgExpr()
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp97 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()
108 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
112 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
125 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
129 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
131 nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount()); in evalSetErrnoIfErrorRange()
147 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
151 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
155 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()
H A DCallAndMessageChecker.cpp481 const CXXDeleteExpr *DE = DC->getOriginExpr(); in checkCXXDeallocation()
545 if (const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr())) in checkPreCall()
611 const ObjCMessageExpr *ME = msg.getOriginExpr(); in checkPreObjCMessage()
640 const ObjCMessageExpr *ME = msg.getOriginExpr(); in emitNilReceiverBug()
688 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
694 .isConsumedExpr(Msg.getOriginExpr())) { in HandleNilReceiver()
726 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
H A DSmartPtrModeling.cpp307 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
364 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
486 const auto *ResultExpr = Call.getOriginExpr(); in handleComparisionOp()
531 State->invalidateRegions({StreamThisRegion}, Call.getOriginExpr(), in handleOstreamOperator()
534 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
641 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
724 State, ThisRegion, Call.getOriginExpr(), Call.getResultType(), C); in handleGet()
725 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
837 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 DDynamicTypePropagation.cpp128 const ObjCMessageExpr *MessageExpr = Message.getOriginExpr(); in inferReceiverType()
270 switch (Ctor->getOriginExpr()->getConstructionKind()) { in checkPreCall()
362 switch (Ctor->getOriginExpr()->getConstructionKind()) { in checkPostCall()
385 LCtx->getParentMap().getParent(Ctor->getOriginExpr()))) in checkPostCall()
810 const ObjCMessageExpr *MessageExpr = M.getOriginExpr(); in checkPreObjCMessage()
906 const ObjCMessageExpr *MessageExpr = M.getOriginExpr(); in checkPostObjCMessage()
H A DObjCSuperDeallocChecker.cpp104 reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C); in checkPreObjCMessage()
237 if (M.getOriginExpr()->getReceiverKind() != ObjCMessageExpr::SuperInstance) in isSuperDeallocMessage()
H A DInnerPointerChecker.cpp124 OverloadedOperatorKind Opc = MemOpCall->getOriginExpr()->getOperator(); in isInvalidatingMemberFunction()
145 const Expr *Origin = Call.getOriginExpr(); in markPtrSymbolsReleased()
H A DNoReturnFunctionChecker.cpp47 const Expr *Callee = CE.getOriginExpr(); in checkPostCall()
H A DTraversalChecker.cpp96 const Expr *CallE = Call.getOriginExpr(); in checkPostCall()
H A DBasicObjCFoundationChecks.cpp1033 const Expr *MsgExpr = M.getOriginExpr(); in checkPostObjCMessage()
1064 StaticClass = Message->getOriginExpr()->getReceiverInterface(); in getMethodReceiverIfKnownImmutable()
1208 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1220 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
1228 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); in checkPostObjCMessage()
H A DStreamChecker.cpp482 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFopen()
525 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFreopen()
638 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFreadFwrite()
735 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFseek()
798 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFeofFerror()
H A DBuiltinFunctionChecker.cpp41 const Expr *CE = Call.getOriginExpr(); in evalCall()
H A DDebugContainerModeling.cpp66 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DDebugIteratorModeling.cpp69 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DMallocChecker.cpp1324 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkStrdup()
1356 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkCXXNewOrCXXDelete()
1448 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in checkOwnershipAttr()
1478 if (!Call.getOriginExpr()) in checkPostCall()
1518 if (const CallExpr *CE = dyn_cast<CallExpr>(Call.getOriginExpr())) { in ProcessZeroAllocCheck()
1521 dyn_cast<CXXNewExpr>(Call.getOriginExpr())) { in ProcessZeroAllocCheck()
1618 const CXXNewExpr *NE = Call.getOriginExpr(); in processNewAllocation()
1733 const Expr *CE = Call.getOriginExpr(); in MallocMemAux()
1930 const Expr *ParentExpr = Call.getOriginExpr(); in FreeMemAux()
2576 const CallExpr *CE = cast<CallExpr>(Call.getOriginExpr()); in ReallocMemAux()
[all …]
H A DSTLAlgorithmModeling.cpp71 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()
H A DVforkChecker.cpp164 const Stmt *P = PM.getParentIgnoreParenCasts(Call.getOriginExpr()); in checkPostCall()
H A DCheckObjCDealloc.cpp703 BR->addRange(M.getOriginExpr()->getSourceRange()); in diagnoseExtraRelease()
745 BR->addRange(M.getOriginExpr()->getSourceRange()); in diagnoseMistakenDealloc()
789 if (M.getOriginExpr()->getReceiverKind() != ObjCMessageExpr::SuperInstance) in isSuperDeallocMessage()
H A DIteratorModeling.cpp184 const auto *OrigExpr = Call.getOriginExpr(); in checkPostCall()
355 const auto *OrigExpr = Call.getOriginExpr(); in handleOverloadedOperator()
369 const auto *OrigExpr = Call.getOriginExpr(); in handleOverloadedOperator()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp74 const Expr *E = getOriginExpr(); in getResultType()
170 const Expr *E = getOriginExpr(); in getCalleeStackFrame()
203 getOriginExpr(), Index, SFC); in getParameterLocation()
291 if (const Expr *E = getOriginExpr()) { in getProgramPoint()
321 const Expr *E = getOriginExpr(); in getReturnValue()
331 if (const Expr *E = getOriginExpr()) { in dump()
793 return getOriginExpr()->getImplicitObjectArgument(); in getCXXThisExpr()
809 return getOriginExpr()->getArg(0); in getCXXThisExpr()
813 const Expr *Callee = getOriginExpr()->getCallee(); in getBlockRegion()
973 return getOriginExpr()->getSourceRange(); in getSourceRange()
[all …]
H A DExprEngineCallAndReturn.cpp497 const Expr *CallE = Call.getOriginExpr(); in inlineCall()
580 const Expr *E = Call.getOriginExpr(); in finishArgumentConstruction()
613 const Expr *E = Call.getOriginExpr(); in finishArgumentConstruction()
693 const Expr *E = Call.getOriginExpr(); in bindReturnValue()
721 assert(RTC->getStmt() == Call.getOriginExpr()); in bindReturnValue()
724 handleConstructionContext(Call.getOriginExpr(), State, LCtx, in bindReturnValue()
806 const CXXConstructExpr *CtorExpr = Ctor.getOriginExpr(); in mayInlineCallKind()
1161 const Expr *E = Call->getOriginExpr(); in defaultEvalCall()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DTestReturnValueUnderConstruction.cpp28 if (!Call.getOriginExpr()) in checkPostCall()
40 const Expr *OrigExpr = Call.getOriginExpr(); in checkPostCall()
H A DCallEventTest.cpp33 PathDiagnosticLocation(Call.getOriginExpr(), C.getSourceManager(), in reportBug()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp347 .isConsumedExpr(Call.getOriginExpr()); in isReceiverUnconsumedSelf()
355 const Expr *CE = Call.getOriginExpr(); in getSummary()
651 ErrorRange = MsgInvocation->getOriginExpr()->getReceiverRange(); in checkSummary()
664 ErrorRange = MCall->getOriginExpr()->getSourceRange(); in checkSummary()
691 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary()
896 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall()

12