https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79520
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2017-02-17 CC| |msebor at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> --- Confirmed with today's top of trunk: $ cat t.C && gcc -S -Wall -Wextra -Wpedantic t.C constexpr int f(int const& x) {return x;} constexpr struct S { int x = 0; constexpr S() {(void)f(x); x = 1;} } s; static_assert(f(s.x) == 1, ""); t.C:8:1: error: static assertion failed static_assert(f(s.x) == 1, ""); ^~~~~~~~~~~~~