Bug 20506 - verify_stmts calls error() on internal errors(notes)
Summary: verify_stmts calls error() on internal errors(notes)
Status: NEW
Alias: None
Product: gcc
Classification: Unclassified
Component: middle-end (show other bugs)
Version: 4.0.0
: P2 enhancement
Target Milestone: ---
Assignee: Not yet assigned to anyone
Depends on:
Reported: 2005-03-17 00:19 UTC by Volker Reichelt
Modified: 2006-01-28 00:52 UTC (History)
1 user (show)

See Also:
Known to work:
Known to fail:
Last reconfirmed: 2006-01-28 00:52:19


Note You need to log in before you can comment on or make changes to this bug.
Description Volker Reichelt 2005-03-17 00:19:13 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.
Comment 1 Andrew Pinski 2005-03-17 00:24:52 UTC
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.
Comment 2 Andrew Pinski 2005-06-18 01:23:36 UTC
Maybe we should be using note instead or something different.
Comment 3 Andrew Pinski 2005-06-18 01:23:56 UTC
Like a non fatal internal_error.
Comment 4 Andrew Pinski 2005-10-10 04:59:36 UTC
maybe we should be using verbatim or note.