Searched refs:symVal (Results 1 – 1 of 1) sorted by relevance
379 DefinedOrUnknownSVal symVal = UnknownVal(); in VisitCXXNewExpr() local399 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()401 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()427 State = State->assume(symVal, true); in VisitCXXNewExpr()435 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion(); in VisitCXXNewExpr()449 SVal Result = symVal; in VisitCXXNewExpr()