Lines Matching refs:CNE

868 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE,  in VisitCXXNewAllocatorCall()  argument
874 CNE->getBeginLoc(), in VisitCXXNewAllocatorCall()
878 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); in VisitCXXNewAllocatorCall()
907 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
916 if (const FunctionDecl *FD = CNE->getOperatorNew()) { in VisitCXXNewAllocatorCall()
924 CNE, I, addObjectUnderConstruction(State, CNE, LCtx, RetVal)); in VisitCXXNewAllocatorCall()
935 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, in VisitCXXNewExpr() argument
945 FunctionDecl *FD = CNE->getOperatorNew(); in VisitCXXNewExpr()
954 symVal = *getObjectUnderConstruction(State, CNE, LCtx); in VisitCXXNewExpr()
955 State = finishObjectConstruction(State, CNE, LCtx); in VisitCXXNewExpr()
963 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
965 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
971 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); in VisitCXXNewExpr()
999 if (CNE->isArray()) { in VisitCXXNewExpr()
1005 auto *Init = CNE->getInitializer(); in VisitCXXNewExpr()
1009 isInitList ? Init->getType() : CNE->getType()->getPointeeType(); in VisitCXXNewExpr()
1019 Pred = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1023 evalBind(evaluated, CNE, Pred, Result, V, true); in VisitCXXNewExpr()
1033 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
1034 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1044 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
1045 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
1046 CNE->getPlacementArg(0)->getType()); in VisitCXXNewExpr()
1050 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
1051 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1057 if (const Expr *Init = CNE->getInitializer()) { in VisitCXXNewExpr()
1061 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()