This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: C++ PATCH for c++/64455 (dependent variable template in constant expression)

From: Jason Merrill <jason at redhat dot com>
To: gcc-patches List <gcc-patches at gcc dot gnu dot org>
Date: Tue, 06 Jan 2015 17:02:42 -0500
Subject: Re: C++ PATCH for c++/64455 (dependent variable template in constant expression)
Authentication-results: sourceware.org; auth=none
References: <54AC5B4F dot 9080205 at redhat dot com>

On 01/06/2015 05:01 PM, Jason Merrill wrote:

We were complaining about IsType<T> not being constant, but we shouldn't
think about it having a constant value or not, because it is
type-dependent; a variable template can have a specialization with a
different type.

The second patch fixes a diagnostic issue I noticed while working on theabove patch: we should say something helpful when someone writes ::after a variable template-id.


Jason

References:
- C++ PATCH for c++/64455 (dependent variable template in constant expression)
  - From: Jason Merrill

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]