GCC Bugzilla – Bug 20506
verify_stmts calls error() on internal errors(notes)
Last modified: 2006-01-28 00:52:19 UTC
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
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.
This is done also at the rtl level and nobody has complained before until now. If we use internal_error,
well it just stops at the first error and then we don't know and we try to fix one error and then we get
another, which sucks.
Maybe we should be using note instead or something different.
Like a non fatal internal_error.
maybe we should be using verbatim or note.