Searched refs:InitValWithAdjustments (Results 1 – 1 of 1) sorted by relevance
318 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded() local322 if (!InitValWithAdjustments.getAs<NonLoc>()) { in createTemporaryRegionIfNeeded()331 assert(!InitValWithAdjustments.getAs<Loc>() || in createTemporaryRegionIfNeeded()430 if (InitValWithAdjustments.isUnknown()) { in createTemporaryRegionIfNeeded()433 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()438 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); in createTemporaryRegionIfNeeded()449 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()