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

[Per Bothner]

Update of bug #35524 (project kawa):

                  Status:                    None => Postponed              
             Assigned to:                    None => bothner                

    _______________________________________________________

Follow-up Comment #1:

At the very least I think Unreachable code should be a switchable warning that
defaults to being on.

However, it's not just a matter of disabling the error.  The compiler and
later the verifier might get confused  by unreachable code.  Just reporting an
error is simpler for the compiler.

I'll think about it.

    _______________________________________________________

Reply to this item at:

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

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