[Pnet-developers] [bugs #9291] Reachability analysis fails for if (true) stmt

[Marcus Urban]

This mail is an automated notification from the bugs tracker
 of the project: DotGNU Portable.NET.




/**************************************************************************/
[bugs #9291] Full Item Snapshot:

URL: <http://savannah.gnu.org/bugs/?func=detailitem&item_id=9291>
Project: DotGNU Portable.NET
Submitted by: Marcus Urban
On: Fri 06/11/2004 at 04:13

Category:  None
Severity:  5 - Average
Item Group:  None
Resolution:  None
Assigned to:  None
Status:  Open


Summary:  Reachability analysis fails for if (true) stmt

Original Submission:  cscc rejects the program below with the error

control_flow.cs:3: control reaches end of non-void method

But csc accepts the program:

public class Testing
{
        public static int Main()
        {
                if (true)
                        return 0;
        }
}












For detailed info, follow this link:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=9291>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/