Searched refs:InitValWithAdjustments (Results 1 – 1 of 1) sorted by relevance
330 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded() local334 if (!isa<NonLoc>(InitValWithAdjustments)) { in createTemporaryRegionIfNeeded()343 assert(!isa<Loc>(InitValWithAdjustments) || in createTemporaryRegionIfNeeded()445 if (InitValWithAdjustments.isUnknown()) { in createTemporaryRegionIfNeeded()448 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()453 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); in createTemporaryRegionIfNeeded()464 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()