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