[Mono-bugs] [Bug 26506][Wis] New - Wrong branch target with loops and void-returning methods

[bugzilla-daemon@rocky.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 lupus@ximian.com.

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

--- shadow/26506	Wed Jun 19 18:02:58 2002
+++ shadow/26506.tmp.1393	Wed Jun 19 18:02:58 2002
@@ -0,0 +1,33 @@
+Bug#: 26506
+Product: Mono/MCS
+Version: unspecified
+OS: other
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Wishlist
+Component: Misc
+AssignedTo: mono-bugs@ximian.com                            
+ReportedBy: lupus@ximian.com               
+QAContact: mono-bugs@ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: Wrong branch target with loops and void-returning methods
+
+Compile the following sample and PEVerify it or check with monodis:
+the branch target of the break points outside the method (the solution is
+to add a ret at the end). I think this may be caused by the loop inversion
+code.
+
+class T {
+	private void ConsumeWhitespace (bool ignore) {
+		while (true) {
+			if (ignore)
+				break;
+		}
+	}
+	static void Main () {
+	}
+}