Failed in stateMachine

[CreateAndInject]

GuiDB.zip

// GuiDB.TextReader2
using System;
using System.Collections.Generic;

public IEnumerable<int> GetList()
{
	try
	{
		int num = default(int);
		Dictionary<int, byte[]>.KeyCollection.Enumerator enumerator = default(Dictionary<int, byte[]>.KeyCollection.Enumerator);
		switch (num)
		{
		case 0:
			enumerator = addDic.Keys.GetEnumerator();
			break;
		case 1:
			break;
		default:
			yield break;
		}
		do
		{
			if (!enumerator.MoveNext())
			{
				((_003CGetList_003Ed__22)/*Error near IL_0076: stateMachine*/)._003C_003Em__Finally1();
				yield break;
			}
		}
		while (enumerator.Current == 0);
		/*Error near IL_00ad: Unexpected return in MoveNext()*/;
	}
	catch
	{
		((IDisposable)/*Error near IL_00a4: stateMachine*/).Dispose();
		throw;
	}
}

[ElektroKill]

The decompiler fails here since the exception handler found in the method body is a try-catch handler rather than a fault handler as expected by the decompiler:

ILSpy/ICSharpCode.Decompiler/IL/ControlFlow/YieldReturnDecompiler.cs

Lines 679 to 696 in a467610

	var body = (BlockContainer)moveNextFunction.Body;
	if (body.Blocks.Count == 1 && body.Blocks[0].Instructions.Count == 1 && body.Blocks[0].Instructions[0] is TryFault tryFault)
	{
	body = (BlockContainer)tryFault.TryBlock;
	var faultBlockContainer = tryFault.FaultBlock as BlockContainer;
	if (faultBlockContainer?.Blocks.Count != 1)
	throw new SymbolicAnalysisFailedException("Unexpected number of blocks in MoveNext() fault block");
	var faultBlock = faultBlockContainer.Blocks.Single();
	if (!(faultBlock.Instructions.Count == 2
	&& faultBlock.Instructions[0] is Call call
	&& call.Method.MetadataToken == disposeMethod
	&& call.Arguments.Count == 1
	&& call.Arguments[0].MatchLdThis()
	&& faultBlock.Instructions[1].MatchLeave(faultBlockContainer)))
	{
	throw new SymbolicAnalysisFailedException("Unexpected fault block contents in MoveNext()");
	}
	}

The call to the dispose method is also pointing to IDisposable.Dispose() in your file, while usually it points directly to the implementation in the state machine.

Are you able to reproduce the existence of a try-catch here by creating code and compiling it with Roslyn?