Re: [C++ Patch] PR 79380

2017-02-17 Thread Jason Merrill
OK. On Fri, Feb 17, 2017 at 8:32 AM, Paolo Carlini wrote: > ... sorry, what I meant to propose uses > INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P in the check, per the below. Both > versions pass testing anyway, but the below seems more correct to me. > > Thanks again, > Paolo. > > //

Re: [C++ Patch] PR 79380

2017-02-17 Thread Paolo Carlini
... sorry, what I meant to propose uses INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P in the check, per the below. Both versions pass testing anyway, but the below seems more correct to me. Thanks again, Paolo. Index: cp/typeck.c =

[C++ Patch] PR 79380

2017-02-17 Thread Paolo Carlini
Hi, this ICE on invalid seems quite similar to c++/69637 which I fixed recently: we again end up with an unhandled OVERLOAD in the main cxx_eval_constant_expression switch and in this case we don't diagnose at all the invalid input. Thus, I propose to add a check to cxx_alignas_expr completel