Searched refs:InitValWithAdjustments (Results 1 – 1 of 1) sorted by relevance
322 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded() local326 if (!isa<NonLoc>(InitValWithAdjustments)) { in createTemporaryRegionIfNeeded()335 assert(!isa<Loc>(InitValWithAdjustments) || in createTemporaryRegionIfNeeded()433 if (InitValWithAdjustments.isUnknown()) { in createTemporaryRegionIfNeeded()436 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()441 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); in createTemporaryRegionIfNeeded()452 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()