Re: [PATCH] c++: make __is_constructible work with paren-init of aggrs [PR94149]

2020-04-21 Thread Jonathan Wakely via Gcc-patches
On 09/04/20 17:00 -0400, Marek Polacek wrote: In C++20 this is well-formed: using T = int[2]; T t(1, 2); which means that std::is_constructible_v should be true. But constructible_expr immediately returned the error_mark_node when it saw a list with more than one element. To give accurate re

Re: [PATCH] c++: make __is_constructible work with paren-init of aggrs [PR94149]

2020-04-10 Thread Jason Merrill via Gcc-patches
On 4/9/20 5:00 PM, Marek Polacek wrote: In C++20 this is well-formed: using T = int[2]; T t(1, 2); which means that std::is_constructible_v should be true. But constructible_expr immediately returned the error_mark_node when it saw a list with more than one element. To give accurate resu

Re: [PATCH] c++: make __is_constructible work with paren-init of aggrs [PR94149]

2020-04-09 Thread Jonathan Wakely via Gcc-patches
On 09/04/20 17:00 -0400, Marek Polacek wrote: In C++20 this is well-formed: using T = int[2]; T t(1, 2); which means that std::is_constructible_v should be true. But constructible_expr immediately returned the error_mark_node when it saw a list with more than one element. To give accurate re

[PATCH] c++: make __is_constructible work with paren-init of aggrs [PR94149]

2020-04-09 Thread Marek Polacek via Gcc-patches
In C++20 this is well-formed: using T = int[2]; T t(1, 2); which means that std::is_constructible_v should be true. But constructible_expr immediately returned the error_mark_node when it saw a list with more than one element. To give accurate results in C++20, we have to try initializing th