1 __attribute__ ((__noinline__, __noclone__)) foo(void * x)2int foo(void *x) 3 { 4 asm (""); 5 return *(int *) x != 42; 6 } 7 8 __attribute__ ((__noinline__, __noclone__)) foobar(void * x)9void foobar(void *x) 10 { 11 asm (""); 12 if (foo(x)) 13 __builtin_abort(); 14 } 15 16 struct rtc_class_ops { 17 int (*f)(void *, unsigned int enabled); 18 }; 19 20 struct rtc_device 21 { 22 void *owner; 23 struct rtc_class_ops *ops; 24 int ops_lock; 25 }; 26 27 extern __attribute__ ((__noinline__, __noclone__)) 28 int rtc_update_irq_enable(struct rtc_device *rtc, unsigned int); 29 main(void)30int main(void) 31 { 32 struct rtc_class_ops ops = {(void *) 0}; 33 struct rtc_device dev1 = {0, &ops, 42}; 34 35 if (rtc_update_irq_enable (&dev1, 1) != -22) 36 __builtin_abort (); 37 38 __builtin_exit (0); 39 } 40