re PR c++/79380 (ICE on C++11 code with illegal alignas specifier on x86_64-linux-gnu: unexpected expression ‘f’ of kind overload)

/cp
2017-02-19  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/79380
	* typeck.c (cxx_alignas_expr): Reject a non-integral alignas
	argument.

/testsuite
2017-02-19  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/79380
	* g++.dg/cpp0x/alignas8.C: New.

From-SVN: r245578
This commit is contained in:
Paolo Carlini 2017-02-19 17:43:41 +00:00 committed by Paolo Carlini
parent 74705cc649
commit f46e2bc923
4 changed files with 24 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2017-02-19 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/79380
* typeck.c (cxx_alignas_expr): Reject a non-integral alignas
argument.
2017-02-19 Eric Fiselier <eric@efcs.ca>
Jonathan Wakely <jwakely@redhat.com>

View File

@ -1795,6 +1795,12 @@ cxx_alignas_expr (tree e)
the assignment-expression shall be an integral constant
expression. */
if (!INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P (TREE_TYPE (e)))
{
error ("%<alignas%> argument has non-integral type %qT", TREE_TYPE (e));
return error_mark_node;
}
return cxx_constant_value (e);
}

View File

@ -1,3 +1,8 @@
2017-02-19 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/79380
* g++.dg/cpp0x/alignas8.C: New.
2017-02-19 Eric Fiselier <eric@efcs.ca>
Jonathan Wakely <jwakely@redhat.com>

View File

@ -0,0 +1,7 @@
// PR c++/79380
// { dg-do compile { target c++11 } }
template < typename > constexpr int f () { return 8; }
// should have been: struct alignas (f<int>()) S {};
struct alignas (f) S {}; // { dg-error "17:'alignas' argument has non-integral type" }