88Debug.Assert(source.Kind != ControlFlowRegionKind.Root); 142if (leavingRegions[i].Kind == ControlFlowRegionKind.Try && leavingRegions[i + 1].Kind == ControlFlowRegionKind.TryAndFinally) 150Debug.Assert(builder.Last().Kind == ControlFlowRegionKind.Finally);

46Debug.Assert(root.Kind == ControlFlowRegionKind.Root); 215/// Root (<see cref="ControlFlowRegionKind.Root"/>) region for the graph.

23/// There are different kinds of regions, <see cref="ControlFlowRegionKind"/>. 116var root = new RegionBuilder(ControlFlowRegionKind.Root); 122builder.EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime)); 349Debug.Assert(region.Kind != ControlFlowRegionKind.Root); 352if (region.Kind == ControlFlowRegionKind.Try && enclosing.Kind == ControlFlowRegionKind.TryAndFinally) 355Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 372Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 407ControlFlowRegion? enclosing = fromRegion.Kind == ControlFlowRegionKind.Root ? null : fromRegion.EnclosingRegion; 408if (fromRegion.Kind == ControlFlowRegionKind.Try) 412case ControlFlowRegionKind.TryAndFinally: 414Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 422case ControlFlowRegionKind.TryAndCatch: 431else if (fromRegion.Kind == ControlFlowRegionKind.Filter) 434Debug.Assert(enclosing!.Kind == ControlFlowRegionKind.FilterAndHandler); 437Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 461Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 471case ControlFlowRegionKind.Catch: 475case ControlFlowRegionKind.FilterAndHandler: 477Debug.Assert(@catch.NestedRegions[0].Kind == ControlFlowRegionKind.Filter); 530if (r.Kind == ControlFlowRegionKind.LocalLifetime && 541case ControlFlowRegionKind.Root: 542case ControlFlowRegionKind.Filter: 543case ControlFlowRegionKind.Try: 544case ControlFlowRegionKind.Catch: 545case ControlFlowRegionKind.Finally: 546case ControlFlowRegionKind.LocalLifetime: 547case ControlFlowRegionKind.StaticLocalInitializer: 548case ControlFlowRegionKind.ErroneousBody: 553if (subRegion.Kind == ControlFlowRegionKind.LocalLifetime && subRegion.FirstBlock == region.FirstBlock && subRegion.LastBlock == region.LastBlock) 555Debug.Assert(region.Kind != ControlFlowRegionKind.Root); 573if (subRegion.Kind == ControlFlowRegionKind.LocalLifetime && !subRegion.HasLocalFunctions && 599case ControlFlowRegionKind.TryAndCatch: 600case ControlFlowRegionKind.TryAndFinally: 601case ControlFlowRegionKind.FilterAndHandler: 616Debug.Assert(subRegion.Kind != ControlFlowRegionKind.Root); 730Debug.Assert(currentRegion.Kind == ControlFlowRegionKind.Filter || 731currentRegion.Kind == ControlFlowRegionKind.Finally); 752if (currentRegion.Kind == ControlFlowRegionKind.Finally && 759Debug.Assert(tryAndFinally.Kind == ControlFlowRegionKind.TryAndFinally); 763Debug.Assert(@try.Kind == ControlFlowRegionKind.Try); 775@try.Kind = ControlFlowRegionKind.LocalLifetime; 1025case ControlFlowRegionKind.Filter: 1026case ControlFlowRegionKind.Catch: 1027case ControlFlowRegionKind.Finally: 1386EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.Locals)); 1484EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.Locals)); 1524EnterRegion(new RegionBuilder(ControlFlowRegionKind.ErroneousBody)); 1639var resultCaptureRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, isStackSpillRegion: true); 1835frameOpt.RegionBuilderOpt = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, isStackSpillRegion: true); 3559var locals = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.Locals); 3649tryAndFinallyRegion = new RegionBuilder(ControlFlowRegionKind.TryAndFinally); 3651EnterRegion(new RegionBuilder(ControlFlowRegionKind.Try)); 3657EnterRegion(new RegionBuilder(ControlFlowRegionKind.TryAndCatch)); 3658EnterRegion(new RegionBuilder(ControlFlowRegionKind.Try)); 3661Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.Try); 3680filterAndHandlerRegion = new RegionBuilder(ControlFlowRegionKind.FilterAndHandler, catchClause.ExceptionType, catchClause.Locals); 3683var filterRegion = new RegionBuilder(ControlFlowRegionKind.Filter, catchClause.ExceptionType); 3699var handlerRegion = new RegionBuilder(ControlFlowRegionKind.Catch, catchClause.ExceptionType, 3738Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.TryAndCatch); 3744Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.Try); 3747var finallyRegion = new RegionBuilder(ControlFlowRegionKind.Finally); 3940var usingRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: locals); 4057resourceRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime); 4067EnterRegion(new RegionBuilder(ControlFlowRegionKind.TryAndFinally)); 4068EnterRegion(new RegionBuilder(ControlFlowRegionKind.Try)); 4072Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.Try); 4079Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.TryAndFinally); 4094Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.TryAndFinally); 4099var finallyRegion = new RegionBuilder(ControlFlowRegionKind.Finally); 4227var lockRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, 4278EnterRegion(new RegionBuilder(ControlFlowRegionKind.TryAndFinally)); 4279EnterRegion(new RegionBuilder(ControlFlowRegionKind.Try)); 4313Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.Try); 4321EnterRegion(new RegionBuilder(ControlFlowRegionKind.Finally)); 4361Debug.Assert(CurrentRegionRequired.Kind == ControlFlowRegionKind.TryAndFinally); 4376var enumeratorCaptureRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime); 4401regionForCollection = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: ImmutableArray.Create(local)); 4418EnterRegion(new RegionBuilder(ControlFlowRegionKind.TryAndFinally)); 4419EnterRegion(new RegionBuilder(ControlFlowRegionKind.Try)); 4432var localsRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.Locals); 4450Debug.Assert(_currentRegion.Kind == ControlFlowRegionKind.Try); 4467Debug.Assert(_currentRegion.Kind == ControlFlowRegionKind.TryAndFinally); 4651var loopRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: locals); 5373var switchRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: locals); 5638EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.Locals)); 5654EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.ConditionLocals)); 5682EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: operation.Locals)); 5740EnterRegion(new RegionBuilder(ControlFlowRegionKind.StaticLocalInitializer)); 6557var constructorRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime); 6617EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime)); 7038EnterRegion(new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: initializer.Locals)); 7484var armScopeRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime, locals: arm.Locals); 7685var innerCaptureRegion = new RegionBuilder(ControlFlowRegionKind.LocalLifetime);

17public ControlFlowRegionKind Kind; 31public RegionBuilder(ControlFlowRegionKind kind, ITypeSymbol? exceptionType = null, ImmutableArray<ILocalSymbol> locals = default, bool isStackSpillRegion = false) 33Debug.Assert(!isStackSpillRegion || (kind == ControlFlowRegionKind.LocalLifetime && locals.IsDefaultOrEmpty)); 66Debug.Assert(Kind != ControlFlowRegionKind.Root); 78Debug.Assert(Kind != ControlFlowRegionKind.Root); 97Debug.Assert(Kind != ControlFlowRegionKind.Root); 110Debug.Assert(Kind != ControlFlowRegionKind.Root); 142ControlFlowRegionKind lastKind = Regions.Last().Kind; 145case ControlFlowRegionKind.FilterAndHandler: 147Debug.Assert(lastKind == (Regions.Count < 2 ? ControlFlowRegionKind.Filter : ControlFlowRegionKind.Catch)); 150case ControlFlowRegionKind.TryAndCatch: 153Debug.Assert(lastKind == ControlFlowRegionKind.Try); 157Debug.Assert(lastKind == ControlFlowRegionKind.Catch || lastKind == ControlFlowRegionKind.FilterAndHandler); 161case ControlFlowRegionKind.TryAndFinally: 165Debug.Assert(lastKind == ControlFlowRegionKind.Try); 169Debug.Assert(lastKind == ControlFlowRegionKind.Finally); 174Debug.Assert(lastKind != ControlFlowRegionKind.Filter); 175Debug.Assert(lastKind != ControlFlowRegionKind.Catch); 176Debug.Assert(lastKind != ControlFlowRegionKind.Finally); 177Debug.Assert(lastKind != ControlFlowRegionKind.Try); 251Debug.Assert((Kind != ControlFlowRegionKind.FilterAndHandler && 252Kind != ControlFlowRegionKind.TryAndCatch && 253Kind != ControlFlowRegionKind.TryAndFinally) ||

20public ControlFlowRegionKind Kind { get; } 23/// Enclosing region. Null for <see cref="ControlFlowRegionKind.Root"/> 28/// Target exception type for <see cref="ControlFlowRegionKind.Filter"/>, <see cref="ControlFlowRegionKind.Catch"/>, 29/// <see cref="ControlFlowRegionKind.FilterAndHandler "/> 63internal ControlFlowRegion(ControlFlowRegionKind kind, int firstBlockOrdinal, int lastBlockOrdinal, 86Debug.Assert(r.EnclosingRegion == null && r.Kind != ControlFlowRegionKind.Root); 94case ControlFlowRegionKind.TryAndFinally: 95case ControlFlowRegionKind.FilterAndHandler: 97Debug.Assert(NestedRegions[0].Kind == (kind == ControlFlowRegionKind.TryAndFinally ? ControlFlowRegionKind.Try : ControlFlowRegionKind.Filter)); 98Debug.Assert(NestedRegions[1].Kind == (kind == ControlFlowRegionKind.TryAndFinally ? ControlFlowRegionKind.Finally : ControlFlowRegionKind.Catch)); 104case ControlFlowRegionKind.TryAndCatch: 106Debug.Assert(NestedRegions[0].Kind == ControlFlowRegionKind.Try); 116Debug.Assert(r.Kind == ControlFlowRegionKind.FilterAndHandler || r.Kind == ControlFlowRegionKind.Catch); 122case ControlFlowRegionKind.Root: 123case ControlFlowRegionKind.LocalLifetime: 124case ControlFlowRegionKind.Try: 125case ControlFlowRegionKind.Filter: 126case ControlFlowRegionKind.Catch: 127case ControlFlowRegionKind.Finally: 128case ControlFlowRegionKind.StaticLocalInitializer: 129case ControlFlowRegionKind.ErroneousBody:

176if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 258Debug.Assert(region.Kind != ControlFlowRegionKind.Root); 260if (region.Kind == ControlFlowRegionKind.Try && enclosing.Kind == ControlFlowRegionKind.TryAndFinally) 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 319var enclosing = fromRegion.Kind == ControlFlowRegionKind.Root ? null : fromRegion.EnclosingRegion; 320if (fromRegion.Kind == ControlFlowRegionKind.Try) 324case ControlFlowRegionKind.TryAndFinally: 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 336case ControlFlowRegionKind.TryAndCatch: 345else if (fromRegion.Kind == ControlFlowRegionKind.Filter) 348Debug.Assert(enclosing.Kind == ControlFlowRegionKind.FilterAndHandler); 350Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 374Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 384case ControlFlowRegionKind.Catch: 388case ControlFlowRegionKind.FilterAndHandler: 390Debug.Assert(@catch.NestedRegions[0].Kind == ControlFlowRegionKind.Filter);

309case ControlFlowRegionKind.Catch:

169if (basicBlock.EnclosingRegion.Kind == ControlFlowRegionKind.Catch && 189if (region.Kind == ControlFlowRegionKind.TryAndFinally)

370case ControlFlowRegionKind.Catch: 371case ControlFlowRegionKind.Filter: 372case ControlFlowRegionKind.FilterAndHandler: 373case ControlFlowRegionKind.Finally: 387case ControlFlowRegionKind.TryAndCatch: 388case ControlFlowRegionKind.TryAndFinally:

151Assert.Equal(ControlFlowRegionKind.Root, currentRegion.Kind); 297Assert.True(block.EnclosingRegion.Kind == ControlFlowRegionKind.Filter || block.EnclosingRegion.Kind == ControlFlowRegionKind.Finally); 772while (region.Kind != ControlFlowRegionKind.Root) 774if (region.Kind == ControlFlowRegionKind.Try && region.EnclosingRegion.Kind == ControlFlowRegionKind.TryAndFinally) 776Debug.Assert(region.EnclosingRegion.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 1458case ControlFlowRegionKind.Filter: 1465case ControlFlowRegionKind.Try: 1470case ControlFlowRegionKind.FilterAndHandler: 1473case ControlFlowRegionKind.Finally: 1477case ControlFlowRegionKind.Catch: 1480case ControlFlowRegionKind.FilterAndHandler: 1484case ControlFlowRegionKind.TryAndCatch: 1492case ControlFlowRegionKind.LocalLifetime: 1498case ControlFlowRegionKind.TryAndCatch: 1499case ControlFlowRegionKind.TryAndFinally: 1506case ControlFlowRegionKind.StaticLocalInitializer: 1512case ControlFlowRegionKind.ErroneousBody: 1556case ControlFlowRegionKind.LocalLifetime: 1557case ControlFlowRegionKind.Filter: 1558case ControlFlowRegionKind.Try: 1559case ControlFlowRegionKind.Finally: 1560case ControlFlowRegionKind.FilterAndHandler: 1561case ControlFlowRegionKind.StaticLocalInitializer: 1562case ControlFlowRegionKind.ErroneousBody: 1566case ControlFlowRegionKind.Catch: 1569case ControlFlowRegionKind.FilterAndHandler: 1570case ControlFlowRegionKind.TryAndCatch: 1581goto case ControlFlowRegionKind.Filter; 1583case ControlFlowRegionKind.TryAndCatch: 1584case ControlFlowRegionKind.TryAndFinally:

176if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 258Debug.Assert(region.Kind != ControlFlowRegionKind.Root); 260if (region.Kind == ControlFlowRegionKind.Try && enclosing.Kind == ControlFlowRegionKind.TryAndFinally) 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 319var enclosing = fromRegion.Kind == ControlFlowRegionKind.Root ? null : fromRegion.EnclosingRegion; 320if (fromRegion.Kind == ControlFlowRegionKind.Try) 324case ControlFlowRegionKind.TryAndFinally: 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 336case ControlFlowRegionKind.TryAndCatch: 345else if (fromRegion.Kind == ControlFlowRegionKind.Filter) 348Debug.Assert(enclosing.Kind == ControlFlowRegionKind.FilterAndHandler); 350Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 374Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 384case ControlFlowRegionKind.Catch: 388case ControlFlowRegionKind.FilterAndHandler: 390Debug.Assert(@catch.NestedRegions[0].Kind == ControlFlowRegionKind.Filter);

176if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 258Debug.Assert(region.Kind != ControlFlowRegionKind.Root); 260if (region.Kind == ControlFlowRegionKind.Try && enclosing.Kind == ControlFlowRegionKind.TryAndFinally) 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 319var enclosing = fromRegion.Kind == ControlFlowRegionKind.Root ? null : fromRegion.EnclosingRegion; 320if (fromRegion.Kind == ControlFlowRegionKind.Try) 324case ControlFlowRegionKind.TryAndFinally: 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 336case ControlFlowRegionKind.TryAndCatch: 345else if (fromRegion.Kind == ControlFlowRegionKind.Filter) 348Debug.Assert(enclosing.Kind == ControlFlowRegionKind.FilterAndHandler); 350Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 374Debug.Assert(tryAndCatch.Kind == ControlFlowRegionKind.TryAndCatch); 384case ControlFlowRegionKind.Catch: 388case ControlFlowRegionKind.FilterAndHandler: 390Debug.Assert(@catch.NestedRegions[0].Kind == ControlFlowRegionKind.Filter);

309case ControlFlowRegionKind.Catch:

169if (basicBlock.EnclosingRegion.Kind == ControlFlowRegionKind.Catch && 189if (region.Kind == ControlFlowRegionKind.TryAndFinally)

370case ControlFlowRegionKind.Catch: 371case ControlFlowRegionKind.Filter: 372case ControlFlowRegionKind.FilterAndHandler: 373case ControlFlowRegionKind.Finally: 387case ControlFlowRegionKind.TryAndCatch: 388case ControlFlowRegionKind.TryAndFinally: