------- Additional Comments From jsm28 at gcc dot gnu dot org 2004-11-24 02:00
-------
The bug reporter's specification of the bug was:
When using '#pragma weak bar = foo', gcc does not output anything, unless
bar is declared.
Although a bug can be specified by "this source file doesn't compile as
expected", this bug was "feature X doesn't work in this range of
circumstances". That is, the bug describes all cases with that pragma and
bar undeclared, whether or not foo is declared. Only a subset of those cases,
those where foo is not defined in the source file, can be considered INVALID.
INVALID means "The problem described is not a bug.". The problem was described
by the sentence I quote, and it is a bug even though the submitter's example
was over-simplified. The example source file should be considered purely
illustrative rather than being the complete specification of the problem;
the sentence I quote describes a problem with an infinite family of source
files and inevitably only a finite subset can be given as examples.
I repeat: the bug report is *not* that a particular incorrect source file
has a problem, it is a more general problem description about all source files
with a given property, and the source file merely an attempt to show one
such source file - which happens to have another problem, but this does not
render the family empty; the family of correct illustrations is still infinite.
Do not close bug reports merely because an illustrative example has a problem,
or because an illustrative example has been fixed; close them because
everything about the bug as specified by the reporter and any subsequent
commenter has been fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7544
