1 /* { dg-options "-O3" } */
20 static const int signals[] = {
21 1, 2 , 3, 4, 6, 8, 11, 13, 14, 15, 10, 12, 17, 7
25 for (i = 0; i < sizeof (signals) / sizeof (int); i++)
28 if (Mode.coredump && (sig == 4 || sig == 8))
30 sa.sa_flags = (sig == 17);
31 sigemptyset (&sa.sa_mask);