[Mono-bugs] [Bug 77180][Nor] Changed - mcs generates invalid IL when /checked+ is used

[bugzilla-daemon at bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by vargaz at gmail.com.

http://bugzilla.ximian.com/show_bug.cgi?id=77180

--- shadow/77180	2006-01-07 14:52:53.000000000 -0500
+++ shadow/77180.tmp.30016	2006-01-07 17:27:26.000000000 -0500
@@ -1,23 +1,23 @@
 Bug#: 77180
-Product: Mono: Runtime
+Product: Mono: Compilers
 Version: unspecified
-OS: 
+OS: unknown
 OS Details: 
 Status: NEW   
 Resolution: 
-Severity: 
+Severity: Unknown
 Priority: Normal
-Component: JIT
+Component: C#
 AssignedTo: lupus at ximian.com                            
 ReportedBy: sebastian.nowozin at web.de               
 QAContact: mono-bugs at ximian.com
 TargetMilestone: ---
 URL: 
 Cc: 
-Summary: sub.ovf not recognised (invalid IL code)
+Summary: mcs generates invalid IL when /checked+ is used
 
 Description of Problem:
 
 I use Mono 1.1.12.1 from the latest Debian/sid on IA32.
 
 The IL code generated by the mono C# compiler (mcs) when using /checked+ is
@@ -50,6 +50,23 @@
 Everytime.
 
 ------- Additional Comments From sebastian.nowozin at web.de  2006-01-07 14:52 -------
 Created an attachment (id=16289)
 A CS file reproducing the bug.
 
+
+------- Additional Comments From vargaz at gmail.com  2006-01-07 17:27 -------
+This is an mcs bug:
+
+.locals init (
+                float64 V_0,
+                float64 V_1,
+                float64 V_2)
+        IL_0000:  ldc.r8 4
+        IL_0009:  stloc.0
+        IL_000a:  ldc.r8 2
+        IL_0013:  stloc.1
+        IL_0014:  ldc.i4.0
+        IL_0015:  ldloc.0
+        IL_0016:  sub.ovf
+
+When sub.ovf is executed, the stack contains one int and one double.