[Mono-bugs] [Bug 29857][Min] New - incorrect code generated for Enum::FormatSpecifier_X

bugzilla-daemon@rocky.ximian.com bugzilla-daemon@rocky.ximian.com
4 Sep 2002 09:30:29 -0000


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@freemail.hu.

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

--- shadow/29857	Wed Sep  4 05:30:29 2002
+++ shadow/29857.tmp.30020	Wed Sep  4 05:30:29 2002
@@ -0,0 +1,28 @@
+Bug#: 29857
+Product: Mono/MCS
+Version: unspecified
+OS: Debian Woody
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Minor
+Component: Misc
+AssignedTo: mono-bugs@ximian.com                            
+ReportedBy: vargaz@freemail.hu               
+QAContact: mono-bugs@ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: incorrect code generated for Enum::FormatSpecifier_X
+
+Description of Problem:
+
+Current mcs generates invalid code for the above method. The generated IL
+ends with:
+      IL_010f:  br         IL_0114
+
+That is, it ends with an (unreachable) jump to outside the method. This is
+a problem since for example it can lead to a buffer overflow in the JIT 
+flow analysis code, which allocates a <CODE SIZE> buffer to keep track if
+a given instruction is a branch target or not.