1void abort (void);
2int ii;
3typedef struct {} raw_spinlock_t;
4typedef struct {
5  raw_spinlock_t raw_lock;
6} spinlock_t;
7raw_spinlock_t one_raw_spinlock (void)
8{
9  raw_spinlock_t raw_lock;
10  ii++;
11  return raw_lock;
12}
13int 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