Searched refs:symVal (Results 1 – 1 of 1) sorted by relevance
1004 SVal symVal = UnknownVal(); in VisitCXXNewExpr() local1014 symVal = *getObjectUnderConstruction(State, CNE, LCtx); in VisitCXXNewExpr()1021 if (symVal.isUnknown()) { in VisitCXXNewExpr()1023 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()1025 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()1051 if (auto dSymVal = symVal.getAs<DefinedOrUnknownSVal>()) in VisitCXXNewExpr()1057 SVal Result = symVal; in VisitCXXNewExpr()1061 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()