[Bug c/13801] New: Decls should regain old type at end of scope

["jsm28 at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

When an identifier gains a composite type from a declaration in an inner
scope, it must regain its old type at the end of that scope.  For example,

void
foo(void)
{
  extern int i[];
  {
    extern int i[10];
  }
  sizeof(i);
}

must receive a diagnostic, which it does in 3.3.2 but not now in 3.4 or 3.5.
For more details, see <http://groups.google.com/groups?th=2b5042029273bcc0>.

-- 
           Summary: Decls should regain old type at end of scope
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: zack at gcc dot gnu dot org
        ReportedBy: jsm28 at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13801