From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-393885-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 8964 invoked by alias); 10 Jun 2012 04:49:46 -0000
Received: (qmail 8954 invoked by uid 22791); 10 Jun 2012 04:49:45 -0000
X-SWARE-Spam-Status: No, hits=-4.3 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00,KHOP_THREADED
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; Sun, 10 Jun 2012 04:49:30 +0000
From: "lunow at math dot hu-berlin.de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/53624] GCC rejects function local types in template function with default template arguments
Date: Sun, 10 Jun 2012 04:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: lunow at math dot hu-berlin.de
X-Bugzilla-Status: RESOLVED
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-53624-4-Fh6TTfTTOY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-53624-4@http.gcc.gnu.org/bugzilla/>
References: <bug-53624-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
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: 2012-06/txt/msg00512.txt.bz2

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

--- Comment #2 from Daniel Lunow <lunow at math dot hu-berlin.de> 2012-06-10 04:49:29 UTC ---
Their is no requirement (in the c++11 standard) for function templates that
implies subsequent template parameters after a template parameter with default
template argument must also have default template arguments (in contrast to
class templates). In general this works in gcc.
But with the local types inside the template function gcc might reject it
because it creates local types as templated with the same template
parameters/default arguments and checks the requirement for class templates.

The line number/offset in the error message clearly refers to the local struct.