gcc/testsuite/gcc.dg/cleanup-8.c

   1 /* { dg-do run { target hppa*-*-hpux* *-*-linux* *-*-gnu* powerpc*-*-darwin* *-*-darwin[912]* *-*-uclinux* } } */
   2 /* { dg-options "-fexceptions -fnon-call-exceptions -O2" } */
   3 /* { dg-require-effective-target exceptions } */
   4 /* Verify that cleanups work with exception handling through signal
   5    frames.  */
   6
   7 #include <unwind.h>
   8 #include <stdlib.h>
   9 #include <signal.h>
  10 #include <string.h>
  11
  12 static _Unwind_Reason_Code
  13 force_unwind_stop (int version, _Unwind_Action actions,
  14                    _Unwind_Exception_Class exc_class,
  15                    struct _Unwind_Exception *exc_obj,
  16                    struct _Unwind_Context *context,
  17                    void *stop_parameter)
  18 {
  19   if (actions & _UA_END_OF_STACK)
  20     abort ();
  21   return _URC_NO_REASON;
  22 }
  23
  24 static void force_unwind ()
  25 {
  26   struct _Unwind_Exception *exc = malloc (sizeof (*exc));
  27   memset (&exc->exception_class, 0, sizeof (exc->exception_class));
  28   exc->exception_cleanup = 0;
  29
  30 #ifndef __USING_SJLJ_EXCEPTIONS__
  31   _Unwind_ForcedUnwind (exc, force_unwind_stop, 0);
  32 #else
  33   _Unwind_SjLj_ForcedUnwind (exc, force_unwind_stop, 0);
  34 #endif
  35
  36   abort ();
  37 }
  38
  39 int count;
  40 char *null;
  41
  42 static void counter (void *p __attribute__((unused)))
  43 {
  44   ++count;
  45 }
  46
  47 static void handler (void *p __attribute__((unused)))
  48 {
  49   if (count != 2)
  50     abort ();
  51   exit (0);
  52 }
  53
  54 static int __attribute__((noinline)) fn5 ()
  55 {
  56   char dummy __attribute__((cleanup (counter)));
  57   force_unwind ();
  58   return 0;
  59 }
  60
  61 static void fn4 (int sig)
  62 {
  63   char dummy __attribute__((cleanup (counter)));
  64   fn5 ();
  65   null = NULL;
  66 }
  67
  68 static void fn3 ()
  69 {
  70   abort ();
  71 }
  72
  73 static int __attribute__((noinline)) fn2 ()
  74 {
  75   *null = 0;
  76   fn3 ();
  77   return 0;
  78 }
  79
  80 static int __attribute__((noinline)) fn1 ()
  81 {
  82   signal (SIGSEGV, fn4);
  83   signal (SIGBUS, fn4);
  84   fn2 ();
  85   return 0;
  86 }
  87
  88 static int __attribute__((noinline)) fn0 ()
  89 {
  90   char dummy __attribute__((cleanup (handler)));
  91   fn1 ();
  92   null = 0;
  93   return 0;
  94 }
  95
  96 int main()
  97 {
  98   fn0 ();
  99   abort ();
 100 }