Re: C++ PATCH for c++/88631, CTAD failing for value-initialization

2019-01-02 Thread Jason Merrill
On 12/30/18 11:08 AM, Marek Polacek wrote: This PR points out that while we are able to deduce the template arguments for A{}, we fail for A(). For A{}, the deduction happens in finish_compound_literal: 2789 if (tree anode = type_uses_auto (type)) 2790 if (CLASS_PLACEHOLDER_TEMPLATE (anode

C++ PATCH for c++/88631, CTAD failing for value-initialization

2018-12-30 Thread Marek Polacek
This PR points out that while we are able to deduce the template arguments for A{}, we fail for A(). For A{}, the deduction happens in finish_compound_literal: 2789 if (tree anode = type_uses_auto (type)) 2790 if (CLASS_PLACEHOLDER_TEMPLATE (anode)) 2791 { 2792 type = do_auto_d