[Bug-kawa] [bug #35524] Unreachable code is not an error

[Per Bothner]

Update of bug #35524 (project kawa):

                  Status:               Postponed => Fixed                  

    _______________________________________________________

Follow-up Comment #2:

I checked in a fix to make unreachable code a warning, not an error.  This is
somewhat risky, since I'm not sure if the code generator may get confused or
produce unverifiable code.

I'm moving to detecting unreachable code at data-flow time, and then dropping
unreachable expressions.  There is partial support for this; what is missing
is detecting infinite loops/recursion.   Of course this has to be approximate:
I have a vague plan for doing this, but it needs to be implemented and tested.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?35524>

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