1 /* { dg-do compile } */
2 
3 struct __attribute__((may_alias)) S { long long low; int high; };
4 struct S foo (void);
5 long double
bar(void)6 bar (void)
7 {
8   long double a;
9   *(struct S *)&a = foo ();
10   return a;
11 }
12