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
