From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11870 invoked by alias); 26 Oct 2011 00:03:58 -0000 Received: (qmail 11858 invoked by uid 22791); 26 Oct 2011 00:03:56 -0000 X-SWARE-Spam-Status: No, hits=-2.9 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, 26 Oct 2011 00:03:43 +0000 From: "paolo.carlini at oracle dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/50837] [c++0x] static_assert and constexpr in template class Date: Wed, 26 Oct 2011 00:03: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: paolo.carlini at oracle dot com X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: CC Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2011-10/txt/msg02614.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D50837 Paolo Carlini changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |paolo.carlini at oracle dot | |com --- Comment #3 from Paolo Carlini 2011-10= -26 00:03:24 UTC --- In fact, I checked that when z isn't a template, we call finish_id_expressi= on from cp_parser_primary_expression (instead of tsubst_copy_and_build) with t= he same arguments, except allow_non_integral_constant_expression_p is true, th= us my experiment of yesterday makes a bit of sense... Now I'm a bit concerned that template/nontype13.C becomes rejected with a v= ery different error message, not talking anymore about constant-expression, instead: nontype13.C:14:5: error: could not convert template argument =E2=80=98((Dummy*)this)->Dummy::evil=E2=80=99 to =E2=80=98bool= =E2=80=99 this change is actually the only visible regression in the testsuite.