Ensure all pinned regions variables are converted to VariableKind.PinnedRegionLocal

ICSharpCode.Decompiler/IL/ControlFlow/DetectPinnedRegions.cs

@@ -592,6 +592,10 @@ namespace ICSharpCode.Decompiler.IL.ControlFlow
 				DetectPinnedRegion(block);
 			body.Blocks.RemoveAll(b => b.Instructions.Count == 0); // remove dummy blocks
 			body.SetILRange(body.EntryPoint);
+			if (pinnedRegion.Variable.Kind != VariableKind.PinnedRegionLocal) {
+				Debug.Assert(pinnedRegion.Variable.Kind == VariableKind.PinnedLocal);
+				pinnedRegion.Variable.Kind = VariableKind.PinnedRegionLocal;
+			}
 		}
 
 		private void MoveArrayToPointerToPinnedRegionInit(PinnedRegion pinnedRegion)

ICSharpCode.Decompiler/IL/Instructions.cs

@@ -1013,6 +1013,7 @@ namespace ICSharpCode.Decompiler.IL
 			base.CheckInvariant(phase);
 			Debug.Assert(phase <= ILPhase.InILReader || this.IsDescendantOf(variable.Function));
 			Debug.Assert(phase <= ILPhase.InILReader || variable.Function.Variables[variable.IndexInFunction] == variable);
+			Debug.Assert(Variable.Kind == VariableKind.PinnedRegionLocal);
 		}
 	}
 }

ICSharpCode.Decompiler/IL/Instructions.tt

@@ -67,7 +67,8 @@
 			CustomChildren(new []{
 				new ChildInfo("init") { CanInlineInto = true },
 				new ChildInfo("body")
-			})),
+			}),
+			CustomInvariant("Debug.Assert(Variable.Kind == VariableKind.PinnedRegionLocal);")),
 		new OpCode("binary", "Common instruction for add, sub, mul, div, rem, bit.and, bit.or, bit.xor, shl and shr.",
 			CustomClassName("BinaryNumericInstruction"), Binary, CustomWriteTo, CustomConstructor, CustomComputeFlags,
 			MatchCondition("CheckForOverflow == o.CheckForOverflow && Sign == o.Sign && Operator == o.Operator && IsLifted == o.IsLifted")),