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