This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/50837] [c++0x] static_assert and constexpr in template class
- From: "paolo.carlini at oracle dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 26 Oct 2011 00:03:24 +0000
- Subject: [Bug c++/50837] [c++0x] static_assert and constexpr in template class
- Auto-submitted: auto-generated
- References: <bug-50837-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50837
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |paolo.carlini at oracle dot
| |com
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-26 00:03:24 UTC ---
In fact, I checked that when z isn't a template, we call finish_id_expression
from cp_parser_primary_expression (instead of tsubst_copy_and_build) with the
same arguments, except allow_non_integral_constant_expression_p is true, thus
my experiment of yesterday makes a bit of sense...
Now I'm a bit concerned that template/nontype13.C becomes rejected with a very
different error message, not talking anymore about constant-expression,
instead:
nontype13.C:14:5: error: could not convert template argument
â((Dummy<int>*)this)->Dummy<T>::evil<int>â to âboolâ
this change is actually the only visible regression in the testsuite.