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

bugzilla-daemon at bugzilla.ximian.com bugzilla-daemon at bugzilla.ximian.com
Sat Jan 7 17:27:26 EST 2006

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.


--- 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: unknown
 OS Details: 
 Status: NEW   
+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: ---
-Summary: sub.ovf not recognised (invalid IL code)
+Summary: mcs generates invalid IL when /checked+ is used
 Description of Problem:
 I use Mono 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 @@
 ------- 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.

More information about the mono-bugs mailing list