https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
--- Comment #7 from Marek Polacek ---
Author: mpolacek
Date: Mon Jan 22 16:05:20 2018
New Revision: 256951
URL: https://gcc.gnu.org/viewcvs?rev=256951&root=gcc&view=rev
Log:
PR c++/81933
* typeck2.c (split_nonconstant_init_1): Re
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
Marek Polacek changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
--- Comment #6 from Marek Polacek ---
And I bet the solution will be to handle empty classes in
split_nonconstant_init_1 or somewhere similar.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
--- Comment #5 from Marek Polacek ---
Here's what happens.
We get the "flows off" error because:
4151 if (tree init = DECL_INITIAL (r))
4152 {
4153 init = cxx_eval_constant_expression (ctx, init,
4154
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
--- Comment #4 from Marek Polacek ---
The c++17/c++14 difference lies in:
4321 if (cxx_dialect >= cxx17 && !BINFO_VIRTUAL_P (binfo))
4322 {
4323 tree decl = build_base_field_1 (t, basetype, next_field);
4324 DE
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
Marek Polacek changed:
What|Removed |Added
CC||mpolacek at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
--- Comment #2 from Jakub Jelinek ---
Somewhat reduced testcase:
namespace std {
template struct __decay_and_strip { typedef _Tp __type; };
template struct enable_if { typedef int type; };
template struct _Head_base {
constexpr _Head_base(_H
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
Jakub Jelinek changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81933
Richard Biener changed:
What|Removed |Added
Keywords||rejects-valid
Priority|P3