http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49136
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-05-24 10:49:09 UTC --- Another testcase, this one ICEs: // PR c++/49136 // { dg-do compile } // { dg-options "-std=c++0x" } struct S { unsigned : 1; unsigned s : 27; unsigned : 4; constexpr S (unsigned int x) : s(x) {} }; struct T { unsigned int t; constexpr T (S s) : t(s.s != 77 ? 0 : s.s) {} }; constexpr S s (77); constexpr T t (s); static_assert (t.t == 77, "Error");