This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: [Bug c/14366] variable previously declared `static' redeclared `extern' is valid ISO C - 3.4 and 4.0 regression
- From: Neil Booth <neil at daikokuya dot co dot uk>
- To: pinskia at gcc dot gnu dot org <gcc-bugzilla at gcc dot gnu dot org>
- Cc: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 19 May 2006 07:22:44 +0900
- Subject: Re: [Bug c/14366] variable previously declared `static' redeclared `extern' is valid ISO C - 3.4 and 4.0 regression
- References: <bug-14366-5394@http.gcc.gnu.org/bugzilla/> <20060517182959.25818.qmail@sourceware.org>
pinskia at gcc dot gnu dot org wrote:-
> Hmm, I think this causes the following invalid code to be accepted (but I am
> not sure if this is invalid code or not):
> enum in_section { in_toc };
> int f(void) { extern int in_toc; }
>
> ----------
> In 3.3 and before we got:
> t1.c: In function `f':
> t1.c:1: error: `in_toc' redeclared as different kind of symbol
> t1.c:1: error: previous declaration of `in_toc'
I believe this should be accepted. Either way in_toc is not
redeclared, there is only one declaration at block scope and that
hides the outer declaration.
More serious is the fact that a missing return statement is
apparently not diagnosed?