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