Re: [PATCH] c++: ICE in is_really_empty_class [PR95497]

2020-07-07 Thread Jason Merrill via Gcc-patches
On 7/7/20 3:36 PM, Patrick Palka wrote: On Tue, 7 Jul 2020, Jason Merrill wrote: On 7/7/20 9:33 AM, Patrick Palka wrote: We are ICEing in the testcase below because we pass the yet-uninstantiated class type A of the PARM_DECL b to is_really_empty_class from potential_rvalue_constant_expression

Re: [PATCH] c++: ICE in is_really_empty_class [PR95497]

2020-07-07 Thread Patrick Palka via Gcc-patches
On Tue, 7 Jul 2020, Jason Merrill wrote: > On 7/7/20 9:33 AM, Patrick Palka wrote: > > We are ICEing in the testcase below because we pass the > > yet-uninstantiated class type A of the PARM_DECL b to > > is_really_empty_class from potential_rvalue_constant_expression when > > parsing the requirem

Re: [PATCH] c++: ICE in is_really_empty_class [PR95497]

2020-07-07 Thread Jason Merrill via Gcc-patches
On 7/7/20 9:33 AM, Patrick Palka wrote: We are ICEing in the testcase below because we pass the yet-uninstantiated class type A of the PARM_DECL b to is_really_empty_class from potential_rvalue_constant_expression when parsing the requirement t += b. Why are we getting to potential_rvalue_const

Re: [PATCH] c++: ICE in is_really_empty_class [PR95497]

2020-07-07 Thread Patrick Palka via Gcc-patches
On Tue, 7 Jul 2020, Patrick Palka wrote: > We are ICEing in the testcase below because we pass the > yet-uninstantiated class type A of the PARM_DECL b to > is_really_empty_class from potential_rvalue_constant_expression when > parsing the requirement t += b. > > This patch fixes the ICE by guard

[PATCH] c++: ICE in is_really_empty_class [PR95497]

2020-07-07 Thread Patrick Palka via Gcc-patches
We are ICEing in the testcase below because we pass the yet-uninstantiated class type A of the PARM_DECL b to is_really_empty_class from potential_rvalue_constant_expression when parsing the requirement t += b. This patch fixes the ICE by guarding the problematic call to is_really_empty_class with