scharada/simple-assembly-exploror

Critical Bug in Decompiler!!

Closed this issue · 1 comments

What steps will reproduce the problem?
1. A specific combination of Instructions
2. This testfile cannot be decompiled even if the IL-Code is Valid: 
http://www.file-upload.net/download-10267518/ilspy_throw.exe.html


What is the expected output? What do you see instead?
- Cannot decompile the sourcecode

Object reference not set to an instance of an object.

  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.DoInferTypeForExpression(ILExpression expr, TypeReference expectedType, Boolean forceInferChildren)
  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.InferTypeForExpression(ILExpression expr, TypeReference expectedType, Boolean forceInferChildren)
  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.DoInferTypeForExpression(ILExpression expr, TypeReference expectedType, Boolean forceInferChildren)
  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.InferTypeForExpression(ILExpression expr, TypeReference expectedType, Boolean forceInferChildren)
  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.RunInference(ILExpression expr)
  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.RunInference()
  at ICSharpCode.Decompiler.ILAst.TypeAnalysis.Run(DecompilerContext context, ILBlock method)
  at ICSharpCode.Decompiler.ILAst.ILAstOptimizer.Optimize(DecompilerContext context, ILBlock method, ILAstOptimizationStep abortBeforeStep)
  at ICSharpCode.Decompiler.Ast.AstMethodBodyBuilder.CreateMethodBody(IEnumerable`1 parameters)
  at ICSharpCode.Decompiler.Ast.AstMethodBodyBuilder.CreateMethodBody(MethodDefinition methodDef, DecompilerContext context, IEnumerable`1 parameters)



What version of the product are you using? On what operating system?
Latest version, 14.4 x86

Please provide any additional information below.
I attached a testfile

Original issue reported on code.google.com by Domi.H...@gmail.com on 7 Feb 2015 at 2:18

SAE is just calling ILSpy, please submit your issue to ILSpy project site.

Original comment by simpledo...@gmail.com on 8 Feb 2015 at 1:57

  • Changed state: WontFix
  • Added labels: Type-Enhancement
  • Removed labels: Type-Defect