[Mono-bugs] [Bug 78656][Wis] New - Overflow exceptions are not thrown in checked mode

[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 nazgul at omega.pl.

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

--- shadow/78656	2006-06-15 14:06:18.000000000 -0400
+++ shadow/78656.tmp.8279	2006-06-15 14:06:19.000000000 -0400
@@ -0,0 +1,79 @@
+Bug#: 78656
+Product: Mono: Runtime
+Version: 1.0
+OS: 
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Wishlist
+Component: JIT
+AssignedTo: lupus at ximian.com                            
+ReportedBy: nazgul at omega.pl               
+QAContact: mono-bugs at ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: Overflow exceptions are not thrown in checked mode
+
+Please fill in this template when reporting a bug, unless you know what you
+are doing.
+Description of Problem:
+There is a regression in mono runtime concerning checking the arithmetic
+oprations and throwing exceptions at them.
+
+Steps to reproduce the problem:
+1. Compile and run following program with /checked flag
+
+
+delegate void voi ();
+
+class BasicValueTypesTest
+{
+   static void trycatch (voi f) {
+      try {
+        f ();
+      }
+      catch (System.OverflowException e) {
+        System.Console.WriteLine (e);
+      }
+    }
+
+
+  static void foo1 () {
+      long x = System.Int64.MinValue;
+      long y =  x - 1L;
+  }
+
+  static void foo2 () {
+      byte x = System.Byte.MaxValue;
+      ++x;
+  }
+  
+  public static void Main () 
+  {
+    trycatch (foo1);
+    trycatch (foo2);
+  }
+}
+
+Actual Results:
+Clean run
+
+Expected Results:
+System.OverflowException: Number overflow.
+in <0x00049> BasicValueTypesTest:foo1 ()
+in (wrapper delegate-invoke) System.MulticastDelegate:invoke_void ()
+in <0x00015> BasicValueTypesTest:trycatch (.voi f)
+System.OverflowException: Number overflow.
+in <0x00023> BasicValueTypesTest:foo2 ()
+in (wrapper delegate-invoke) System.MulticastDelegate:invoke_void ()
+in <0x00015> BasicValueTypesTest:trycatch (.voi f)
+
+
+How often does this happen? 
+With current mono svn always
+
+Additional Information:
+It works fine with
+Mono JIT compiler version 1.1.11,