[Bug c++/70820] New: GCC incorrectly accepts code that accesses nested names in an incomplete type

2016-04-27 Thread fdrocha at gmail dot com
: minor Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: fdrocha at gmail dot com Target Milestone: --- Consider the following code template struct Base { static constexpr int i = Derived::j

[Bug c++/70820] GCC incorrectly accepts code that accesses nested names in an incomplete type

2016-04-27 Thread fdrocha at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70820 Fabio Rocha changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/70820] GCC incorrectly accepts code that accesses nested names in an incomplete type

2016-04-27 Thread fdrocha at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70820 Fabio Rocha changed: What|Removed |Added Resolution|FIXED |INVALID

[Bug c++/70820] GCC incorrectly accepts code that accesses nested names in an incomplete type

2016-04-27 Thread fdrocha at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70820 --- Comment #3 from Fabio Rocha --- (In reply to Jason Merrill from comment #1) > 14.7.1: "The implicit instantiation of a class template specialization > causes the implicit instantiation of the declarations, but not of the > definitions, defau

[Bug c++/70820] GCC incorrectly accepts code that accesses nested names in an incomplete type

2016-04-28 Thread fdrocha at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70820 --- Comment #5 from Fabio Rocha --- (In reply to Jonathan Wakely from comment #4) > (In reply to Fabio Rocha from comment #3) > > Still, it feels pretty strange that uncommenting the "First Assert" is what > > makes the code incorrect... > > Th