| /* [expr.eq] If both refer to (possibly different) members of the same union | |
| (12.3), they compare equal. */ | |
| // { dg-do run { target c++11 } } | |
| // { dg-additional-options -O } | |
| union U | |
| { | |
| int i; | |
| int j; | |
| }; | |
| #define SA(X) static_assert ((X),#X) | |
| SA (&U::i == &U::j); | |
| SA (!(&U::i != &U::j)); | |
| #define assert(X) do { if (!(X)) __builtin_abort(); } while(0) | |
| void f (int U::*p, int U::*q) | |
| { | |
| assert (p==q); | |
| assert (!(p!=q)); | |
| } | |
| int main() | |
| { | |
| assert (&U::i == &U::j); | |
| assert (!(&U::i != &U::j)); | |
| } |