From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-333698-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 14984 invoked by alias); 13 Oct 2010 13:41:22 -0000
Received: (qmail 14975 invoked by uid 22791); 13 Oct 2010 13:41:21 -0000
X-SWARE-Spam-Status: No, hits=-2.6 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 13 Oct 2010 13:41:03 +0000
From: "schaub-johannes at web dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/46005] New: Don't allow "auto" as the simple-type-specifier of a typedef
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: schaub-johannes at web dot de
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-46005-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Date: Wed, 13 Oct 2010 13:41:00 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2010-10/txt/msg01087.txt.bz2

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

           Summary: Don't allow "auto" as the simple-type-specifier of a
                    typedef
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: schaub-johannes@web.de


The following is ill-formed, but GCC allows it

  typedef auto autot;

And it seems GCC itself can't handle it

  autot t = 0; // variable has incomplete type!?

Neither does the Standard specify how it should be handled (it only talks about
auto type specifiers, as opposed to "auto" being the type designated
semantically. There is no semantic equivalent for "auto" it seems). In Standard
C++, something like "autot t = 0;" can't occur, I think.