internal static HashSet<Symbol> Analyze(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion, HashSet<Symbol> unassignedVariables, ImmutableArray<ISymbol> dataFlowsIn)
{
var walker = new DataFlowsOutWalker(compilation, member, node, firstInRegion, lastInRegion, unassignedVariables, dataFlowsIn);
try
{
bool badRegion = false;
var result = walker.Analyze(ref badRegion);
#if DEBUG
// Assert that DataFlowsOut only contains variables that were assigned to inside the region
Debug.Assert(badRegion || !result.Any((variable) => !walker.assignedInside.Contains(variable)));
#endif
return badRegion ? new HashSet<Symbol>() : result;
}
finally
{
walker.Free();
}
}
internal static HashSet <Symbol> Analyze(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion, HashSet <Symbol> unassignedVariables, ImmutableArray <ISymbol> dataFlowsIn)
{
var walker = new DataFlowsOutWalker(compilation, member, node, firstInRegion, lastInRegion, unassignedVariables, dataFlowsIn);
try
{
bool badRegion = false;
var result = walker.Analyze(ref badRegion);
#if DEBUG
// Assert that DataFlowsOut only contains variables that were assigned to inside the region
Debug.Assert(badRegion || !result.Any((variable) => !walker._assignedInside.Contains(variable)));
#endif
return(badRegion ? new HashSet <Symbol>() : result);
}
finally
{
walker.Free();
}
}
internal static HashSet <Symbol> Analyze(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion, HashSet <Symbol> unassignedVariables, ImmutableArray <ISymbol> dataFlowsIn)
{
var walker = new DataFlowsOutWalker(compilation, member, node, firstInRegion, lastInRegion, unassignedVariables, dataFlowsIn);
try
{
bool badRegion = false;
var result = walker.Analyze(ref badRegion);
#if DEBUG
// Assert that DataFlowsOut only contains variables that were assigned to inside the region
// https://github.com/dotnet/roslyn/issues/41600 blocks some tests with local functions.
// Enable the following assert once the issue is fixed.
//Debug.Assert(badRegion || !result.Any((variable) => !walker._assignedInside.Contains(variable)));
#endif
return(badRegion ? new HashSet <Symbol>() : result);
}
finally
{
walker.Free();
}
}