Searched refs:symVal (Results 1 – 1 of 1) sorted by relevance
841 SVal symVal = UnknownVal(); in VisitCXXNewExpr() local851 symVal = *getObjectUnderConstruction(State, CNE, LCtx); in VisitCXXNewExpr()858 if (symVal.isUnknown()) { in VisitCXXNewExpr()860 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()862 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()890 if (auto dSymVal = symVal.getAs<DefinedOrUnknownSVal>()) in VisitCXXNewExpr()897 SVal Result = symVal; in VisitCXXNewExpr()902 if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) { in VisitCXXNewExpr()