1 __attribute__ ((__noinline__, __noclone__))
foo(void * x)2 int foo(void *x)
3 {
4   asm ("");
5   return *(int *) x != 42;
6 }
7 
8 __attribute__ ((__noinline__, __noclone__))
foobar(void * x)9 void 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)30 int 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