predicate aware uninitialized analysis
[official-gcc.git] / gcc / testsuite / g++.dg / ext / has_nothrow_assign_odr.C
blobc38d76d44a6f4acc2bf5c550427ff0b92ab309d3
1 // PR c++/36870
2 // { dg-do "run" }
3 #include <cassert>
5 struct S { const S& operator= (const S&); };
7 bool f ();
9 int main ()
11   assert (__has_nothrow_assign (S) == f ());
14 const S& S::operator= (const S&) { }
16 bool f () { return __has_nothrow_assign (S); }