Searched refs:InitValWithAdjustments (Results 1 – 1 of 1) sorted by relevance
331 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded() local335 if (!isa<NonLoc>(InitValWithAdjustments)) { in createTemporaryRegionIfNeeded()344 assert(!isa<Loc>(InitValWithAdjustments) || in createTemporaryRegionIfNeeded()446 if (InitValWithAdjustments.isUnknown()) { in createTemporaryRegionIfNeeded()449 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()454 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); in createTemporaryRegionIfNeeded()465 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()