1 /* { dg-options "-fnon-call-exceptions" } */
2 /* With -fnon-call-exceptions 0 / 0 should not be eliminated. */
3 /* { dg-additional-options "-DSIGNAL_SUPPRESS" { target { ! signal } } } */
4
5 #ifdef SIGNAL_SUPPRESS
6 # define DO_TEST 0
7 #elif defined (__powerpc__) || defined (__PPC__) || defined (__ppc__) || defined (__POWERPC__) || defined (__ppc)
8 /* On PPC division by zero does not trap. */
9 # define DO_TEST 0
10 #elif defined (__riscv)
11 /* On RISC-V division by zero does not trap. */
12 # define DO_TEST 0
13 #elif defined (__sh__)
14 /* On SH division by zero does not trap. */
15 # define DO_TEST 0
16 #elif defined (__v850__)
17 /* On V850 division by zero does not trap. */
18 # define DO_TEST 0
19 #elif defined (__MSP430__)
20 /* On MSP430 division by zero does not trap. */
21 # define DO_TEST 0
22 #elif defined (__RL78__)
23 /* On RL78 division by zero does not trap. */
24 # define DO_TEST 0
25 #elif defined (__RX__)
26 /* On RX division by zero does not trap. */
27 # define DO_TEST 0
28 #elif defined (__aarch64__)
29 /* On AArch64 integer division by zero does not trap. */
30 # define DO_TEST 0
31 #elif defined (__TMS320C6X__)
32 /* On TI C6X division by zero does not trap. */
33 # define DO_TEST 0
34 #elif defined (__VISIUM__)
35 /* On Visium division by zero does not trap. */
36 # define DO_TEST 0
37 #elif defined (__mips__) && !defined(__linux__)
38 /* MIPS divisions do trap by default, but libgloss targets do not
39 intercept the trap and raise a SIGFPE. The same is probably
40 true of other bare-metal environments, so restrict the test to
41 systems that use the Linux kernel. */
42 # define DO_TEST 0
43 #elif defined (__mips16) && defined(__linux__)
44 /* Not all Linux kernels deal correctly the breakpoints generated by
45 MIPS16 divisions by zero. They show up as a SIGTRAP instead. */
46 # define DO_TEST 0
47 #elif defined (__MICROBLAZE__)
48 /* We cannot rely on division by zero generating a trap. */
49 # define DO_TEST 0
50 #elif defined (__epiphany__)
51 /* Epiphany does not have hardware division, and the software implementation
52 has truly undefined behavior for division by 0. */
53 # define DO_TEST 0
54 #elif defined (__m68k__) && !defined(__linux__)
55 /* Attempting to trap division-by-zero in this way isn't likely to work on
56 bare-metal m68k systems. */
57 # define DO_TEST 0
58 #elif defined (__CRIS__)
59 /* No SIGFPE for CRIS integer division. */
60 # define DO_TEST 0
61 #elif defined (__MMIX__)
62 /* By default we emit a sequence with DIVU, which "never signals an
63 exceptional condition, even when dividing by zero". */
64 # define DO_TEST 0
65 #elif defined (__arc__)
66 /* No SIGFPE for ARC integer division. */
67 # define DO_TEST 0
68 #elif defined (__arm__) && defined (__ARM_EABI__)
69 # ifdef __ARM_ARCH_EXT_IDIV__
70 /* Hardware division instructions may not trap, and handle trapping
71 differently anyway. Skip the test if we have those instructions. */
72 # define DO_TEST 0
73 # else
74 # include <signal.h>
75 /* ARM division-by-zero behavior is to call a helper function, which
76 can do several different things, depending on requirements. Emulate
77 the behavior of other targets here by raising SIGFPE. */
78 int __attribute__((used))
__aeabi_idiv0(int return_value)79 __aeabi_idiv0 (int return_value)
80 {
81 raise (SIGFPE);
82 return return_value;
83 }
84 # define DO_TEST 1
85 # endif
86 #elif defined (__nios2__)
87 /* Nios II requires both hardware support and user configuration to
88 raise an exception on divide by zero. */
89 # define DO_TEST 0
90 #elif defined (__nvptx__)
91 /* There isn't even a signal function. */
92 # define DO_TEST 0
93 #elif defined (__csky__)
94 /* This presently doesn't raise SIGFPE even on csky-linux-gnu, much
95 less bare metal. See the implementation of __divsi3 in libgcc. */
96 # define DO_TEST 0
97 #elif defined (__moxie__)
98 /* Not all moxie configurations may raise exceptions. */
99 # define DO_TEST 0
100 #elif defined (__or1k__)
101 /* On OpenRISC division by zero does not trap. */
102 # define DO_TEST 0
103 #elif defined (__pru__)
104 /* There isn't even a signal function. */
105 # define DO_TEST 0
106 #else
107 # define DO_TEST 1
108 #endif
109
110 extern void abort (void);
111 extern void exit (int);
112
113 #if DO_TEST
114
115 #include <signal.h>
116
117 void
sigfpe(int signum)118 sigfpe (int signum __attribute__ ((unused)))
119 {
120 exit (0);
121 }
122
123 #endif
124
125 /* When optimizing, the compiler is smart enough to constant fold the
126 static unset variables i and j to produce 0 / 0, but it can't
127 eliminate the assignment to the global k. */
128 static int i;
129 static int j;
130 int k __attribute__ ((used));
131
132 int
main()133 main ()
134 {
135 #if DO_TEST
136 signal (SIGFPE, sigfpe);
137 k = i / j;
138 abort ();
139 #else
140 exit (0);
141 #endif
142 }
143