Re: C++ PATCH for c++/92062 - ODR-use ignored for static member of class template

2019-10-21 Thread Jason Merrill
On 10/11/19 4:23 PM, Marek Polacek wrote: has_value_dependent_address wasn't stripping location wrappers so it gave the wrong answer for "&x" in the static_assert. That led us to thinking that the expression isn't instantiation-dependent, and we skipped static initialization of A<0>::x. This pa

Re: C++ PATCH for c++/92062 - ODR-use ignored for static member of class template

2019-10-18 Thread Marek Polacek
Ping. On Fri, Oct 11, 2019 at 04:23:34PM -0400, Marek Polacek wrote: > has_value_dependent_address wasn't stripping location wrappers so it > gave the wrong answer for "&x" in the static_assert. That led us to > thinking that the expression isn't instantiation-dependent, and we > skipped static i

C++ PATCH for c++/92062 - ODR-use ignored for static member of class template

2019-10-11 Thread Marek Polacek
has_value_dependent_address wasn't stripping location wrappers so it gave the wrong answer for "&x" in the static_assert. That led us to thinking that the expression isn't instantiation-dependent, and we skipped static initialization of A<0>::x. This patch adds stripping so that has_value_depende