[Bug middle-end/20506] New: verify_stmts calls error() on internal errors

["reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

When verify_stmts finds an inconsistency an error like the following
(taken from PR17483) is issued:

  bug.cc: In function `void bar()':
  bug.cc:15: error: address taken, but ADDRESSABLE bit not set
  D.1590

  bug.cc:15: internal compiler error: verify_stmts failed.
  Please submit a full bug report, [etc.]

But this is not a user error as the first part of the error message suggests,
this is an internal error.

The error reporting mechanism should be changed to reflect this in order
to avoid user confusion.

-- 
           Summary: verify_stmts calls error() on internal errors
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20506