Ad #866: No longer use Debug.Assert, but add warnings to AST.

ICSharpCode.Decompiler/CSharp/CSharpDecompiler.cs

@@ -663,6 +663,12 @@ namespace ICSharpCode.Decompiler.CSharp
 			AddDefinesForConditionalAttributes(function);
 			var statementBuilder = new StatementBuilder(specializingTypeSystem, decompilationContext, method, function, settings, CancellationToken);
 			var body = statementBuilder.ConvertAsBlock(function.Body);
+
+			Comment prev = null;
+			foreach (string warning in function.Warnings) {
+				body.InsertChildAfter(prev, prev = new Comment(warning), Roles.Comment);
+			}
+
 			entityDecl.AddChild(body, Roles.Body);
 
 			if (function.IsIterator) {

ICSharpCode.Decompiler/CSharp/ExpressionBuilder.cs

@@ -1009,7 +1009,12 @@ namespace ICSharpCode.Decompiler.CSharp
 			var body = builder.ConvertAsBlock(function.Body);
 			bool isLambda = false;
 			bool isMultiLineLambda = false;
-			
+
+			Comment prev = null;
+			foreach (string warning in function.Warnings) {
+				body.InsertChildAfter(prev, prev = new Comment(warning), Roles.Comment);
+			}
+
 			// if there is an anonymous type involved, we are forced to use a lambda expression.
 			if (ame.Parameters.Any(p => p.Type.IsNull)) {
 				isLambda = true;

ICSharpCode.Decompiler/IL/ILReader.cs

@@ -38,6 +38,7 @@ namespace ICSharpCode.Decompiler.IL
 		readonly IDecompilerTypeSystem typeSystem;
 
 		public bool UseDebugSymbols { get; set; }
+		public List<string> Warnings { get; } = new List<string>();
 
 		public ILReader(IDecompilerTypeSystem typeSystem)
 		{
@@ -182,7 +183,7 @@ namespace ICSharpCode.Decompiler.IL
 		/// </summary>
 		void Warn(string message)
 		{
-			Debug.Fail(string.Format("IL_{0:x4}: {1}", currentInstruction.Offset, message));
+			Warnings.Add(string.Format("IL_{0:x4}: {1}", currentInstruction.Offset, message));
 		}
 
 		void MergeStacks(ImmutableStack<ILVariable> a, ImmutableStack<ILVariable> b)
@@ -324,6 +325,7 @@ namespace ICSharpCode.Decompiler.IL
 			foreach (var c in function.Descendants.OfType<BlockContainer>()) {
 				c.SortBlocks();
 			}
+			function.Warnings.AddRange(Warnings);
 			return function;
 		}
 

ICSharpCode.Decompiler/IL/Instructions/ILFunction.cs

@@ -34,6 +34,11 @@ namespace ICSharpCode.Decompiler.IL
 		public readonly MethodDefinition Method;
 		public readonly ILVariableCollection Variables;
 
+		/// <summary>
+		/// List of warnings of ILReader.
+		/// </summary>
+		public List<string> Warnings { get; } = new List<string>();
+
 		/// <summary>
 		/// Gets whether this function is a decompiled iterator (is using yield).
 		/// This flag gets set by the YieldReturnDecompiler.
@@ -103,6 +108,12 @@ namespace ICSharpCode.Decompiler.IL
 			output.MarkFoldEnd();
 			output.WriteLine();
 			body.WriteTo(output, options);
+
+			foreach (string warning in Warnings) {
+				output.WriteLine("//" + warning);
+			}
+
+			body.WriteTo(output);
 			
 			output.WriteLine();
 			output.Unindent();