Searched refs:symVal (Results 1 – 1 of 1) sorted by relevance
999 SVal symVal = UnknownVal(); in VisitCXXNewExpr() local1009 symVal = *getObjectUnderConstruction(State, CNE, LCtx); in VisitCXXNewExpr()1016 if (symVal.isUnknown()) { in VisitCXXNewExpr()1018 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()1020 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()1046 if (auto dSymVal = symVal.getAs<DefinedOrUnknownSVal>()) in VisitCXXNewExpr()1052 SVal Result = symVal; in VisitCXXNewExpr()1056 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()