https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66477
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |accepts-invalid Last reconfirmed|2015-06-23 00:00:00 |2016-3-15 CC| |msebor at gcc dot gnu.org Known to fail| |4.9.3, 5.3.0, 6.0 --- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> --- The invalid test case is still accepted on trunk of 6.0 and prior (interestingly, bug 60430 shows a an example of a valid program where a reference is rejected in a constexpr context). $ cat z.c && /home/msebor/build/gcc-trunk-svn/gcc/xgcc -B/home/msebor/build/gcc-trunk-svn/gcc -S -Wall -Wextra -Wpedantic -xc++ z.c && echo SUCCESS struct a { constexpr int size() const { return 3; } }; void f(a &r) { static_assert(r.size() == 3, "error"); } SUCCESS