1 void abort (void);
2 int ii;
3 typedef struct {} raw_spinlock_t;
4 typedef struct {
5   raw_spinlock_t raw_lock;
6 } spinlock_t;
one_raw_spinlock(void)7 raw_spinlock_t one_raw_spinlock (void)
8 {
9   raw_spinlock_t raw_lock;
10   ii++;
11   return raw_lock;
12 }
main(void)13 int main(void)
14 {
15   spinlock_t lock = (spinlock_t) { .raw_lock = one_raw_spinlock() };
16   if (ii != 1)
17     abort ();
18   return 0;
19 }
20 
21