| /* Test for modifying and taking addresses of compound literals whose |
| variably modified types involve typeof. */ |
| /* Origin: Joseph Myers <joseph@codesourcery.com> */ |
| /* { dg-do run } */ |
| /* { dg-options "-std=gnu99" } */ |
| |
| #include <stdarg.h> |
| |
| extern void exit (int); |
| extern void abort (void); |
| |
| int a[1]; |
| |
| void |
| f1 (void) |
| { |
| int i = 0; |
| int (**p)[1] = &(typeof (++i, (int (*)[i])a)){&a}; |
| if (*p != &a) |
| abort (); |
| if (i != 1) |
| abort (); |
| } |
| |
| void |
| f2 (void) |
| { |
| int i = 0; |
| (typeof (++i, (int (*)[i])a)){&a} = 0; |
| if (i != 1) |
| abort (); |
| } |
| |
| void |
| f3 (void) |
| { |
| int i = 0; |
| (typeof (++i, (int (*)[i])a)){&a} += 1; |
| if (i != 1) |
| abort (); |
| } |
| |
| void |
| f4 (void) |
| { |
| int i = 0; |
| --(typeof (++i, (int (*)[i])a)){&a + 1}; |
| if (i != 1) |
| abort (); |
| } |
| |
| void |
| f5 (void) |
| { |
| int i = 0; |
| (typeof (++i, (int (*)[i])a)){&a}++; |
| if (i != 1) |
| abort (); |
| } |
| |
| int |
| main (void) |
| { |
| f1 (); |
| f2 (); |
| f3 (); |
| f4 (); |
| f5 (); |
| exit (0); |
| } |