ICSharpCode.ILSpy.AssertionFailedException

[greenozon]

Steps to reproduce

1. Save Project or navigate to below item
   input same as in ICSharpCode.ILSpy.AssertionFailedException #2458

Error message shown

Error decompiling @060011B9 ----
in assembly "C:\IL_errs\err111.dll"
 ---> ICSharpCode.ILSpy.AssertionFailedException: 
   at ICSharpCode.ILSpy.ILSpyTraceListener.Fail(String message, String detailMessage) in offset 380
   at ICSharpCode.ILSpy.ILSpyTraceListener.Fail(String message) in offset 9
   at System.Diagnostics.TraceInternal.Fail(String message) in offset 55
   at System.Diagnostics.Debug.Assert(Boolean condition) in offset 6
   at ICSharpCode.Decompiler.IL.Conv.CheckInvariant(ILPhase phase) in Conv.cs:line 176
   at ICSharpCode.Decompiler.IL.ILInstruction.CheckInvariant(ILPhase phase) in ILInstruction.cs:line 95
   at ICSharpCode.Decompiler.IL.Leave.CheckInvariant(ILPhase phase) in Leave.cs:line 112
   at ICSharpCode.Decompiler.IL.ILInstruction.CheckInvariant(ILPhase phase) in ILInstruction.cs:line 95
   at ICSharpCode.Decompiler.IL.Block.CheckInvariant(ILPhase phase) in Block.cs:line 108
   at ICSharpCode.Decompiler.IL.ILInstruction.CheckInvariant(ILPhase phase) in ILInstruction.cs:line 95
   at ICSharpCode.Decompiler.IL.BlockContainer.CheckInvariant(ILPhase phase) in BlockContainer.cs:line 196
   at ICSharpCode.Decompiler.IL.ILInstruction.CheckInvariant(ILPhase phase) in ILInstruction.cs:line 95
   at ICSharpCode.Decompiler.IL.ILFunction.CheckInvariant(ILPhase phase) in ILFunction.cs:line 255
   at ICSharpCode.Decompiler.CSharp.CSharpDecompiler.DecompileBody(IMethod method, EntityDeclaration entityDecl, DecompileRun decompileRun, ITypeResolveContext decompilationContext) in CSharpDecompiler.cs:line 1509
-- continuing with outer exception (ICSharpCode.Decompiler.DecompilerException) --
   at ICSharpCode.Decompiler.CSharp.CSharpDecompiler.DecompileBody(IMethod method, EntityDeclaration entityDecl, DecompileRun decompileRun, ITypeResolveContext decompilationContext) in CSharpDecompiler.cs:line 1545
   at ICSharpCode.Decompiler.CSharp.CSharpDecompiler.DoDecompile(IMethod method, DecompileRun decompileRun, ITypeResolveContext decompilationContext) in CSharpDecompiler.cs:line 1444
   at ICSharpCode.Decompiler.CSharp.CSharpDecompiler.Decompile(IEnumerable`1 definitions) in CSharpDecompiler.cs:line 993
   at ICSharpCode.Decompiler.CSharp.CSharpDecompiler.Decompile(EntityHandle[] definitions) in CSharpDecompiler.cs:line 950
   at ICSharpCode.ILSpy.CSharpLanguage.DecompileMethod(IMethod method, ITextOutput output, DecompilationOptions options) in offset 246
   at ICSharpCode.ILSpy.TreeNodes.MethodTreeNode.Decompile(Language language, ITextOutput output, DecompilationOptions options) in offset 15
   at ICSharpCode.ILSpy.TextView.DecompilerTextView.DecompileNodes(DecompilationContext context, ITextOutput textOutput) in offset 143
   at ICSharpCode.ILSpy.TextView.DecompilerTextView.<>c__DisplayClass51_0.<DecompileAsync>b__0() in offset 38

Expected result

			get
			{
				return 41816;
			}

Details

• Product in use: e.g. ILSpy / ICSharpCode.Decompiler nuget package / VS extension
  ILSpy version 7.1.0.6580
  .NET version 4.8.3928.0

[siegfriedpammer]

The code produced by ILSpy is the following:

protected override MessageKeys PressureEngineVSPBMultipointCurveMessageKey
{
	get
	{
		//IL_0005: Unknown result type (might be due to invalid IL or missing references)
		MessageKeys val = (MessageKeys)41816;
		return val;
	}
}

which looks like it's correct, because we do not know whether MessageKeys is an enum or not. It certainly would be correct if MessageKeys is an enum. On my end, I get an assertion failure because our StLoc instruction does not allow unknown types. Would you be able to provide the missing references as well?

[greenozon]

Are you using release version of ILSpy?

cause on this build I still see the exception

ILSpy version 7.2.0.6660-preview1
.NET version 4.8.3928.0

PS most probably thats an enum, but I dont have ref dll, sorry

[siegfriedpammer]

Yeah, I can reproduce the exception. Sorry for the miscommunication.