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
