1 /* { dg-do run } */
2 /* { dg-options "-std=c99" } */
3
4 #include <stdint.h>
5 #include <limits.h>
6
7 extern void abort (void);
8
safe_div_func_uint64_t_u_u(uint64_t _ui1,uint64_t _ui2)9 static uint64_t safe_div_func_uint64_t_u_u (uint64_t _ui1, uint64_t _ui2)
10 {
11 if (_ui2==0) return _ui1;
12 return _ui1 / _ui2;
13 }
14
safe_div_func_int64_t_s_s(int64_t _si1,int64_t _si2)15 static int64_t safe_div_func_int64_t_s_s (int64_t _si1, int64_t _si2)
16 {
17 if (_si2==0 || (_si1==INT64_MIN && _si2==-1)) return _si1;
18 return _si1 / _si2;
19 }
20
21 #define safe_add_macro_int8_t_s_s(si1,si2) \
22 ((((((int8_t)(si1))>((int8_t)0)) && (((int8_t)(si2))>((int8_t)0)) && (((int8_t)(si1)) > ((INT8_MAX)-((int8_t)(si2))))) \
23 || ((((int8_t)(si1))<((int8_t)0)) && (((int8_t)(si2))<((int8_t)0)) && (((int8_t)(si1)) < ((INT8_MIN)-((int8_t)(si2)))))) \
24 ? ((int8_t)(si1)) \
25 : (((int8_t)(si1)) + ((int8_t)(si2))) \
26 )
27
28 static int8_t
safe_add_func_int8_t_s_s(int8_t _si1,int8_t _si2)29 safe_add_func_int8_t_s_s(int8_t _si1, int8_t _si2)
30 {
31 return safe_add_macro_int8_t_s_s(_si1,_si2);
32 }
33
34 #define safe_rshift_macro_uint64_t_u_s(left,right) \
35 (((((int)(right)) < ((uint64_t)0)) \
36 || (((int)(right)) >= sizeof(uint64_t)*CHAR_BIT)) \
37 ? ((uint64_t)(left)) \
38 : (((uint64_t)(left)) >> ((int)(right))))
39
40 static uint64_t
safe_rshift_func_uint64_t_u_s(uint64_t _left,int _right)41 safe_rshift_func_uint64_t_u_s(uint64_t _left, int _right)
42 {
43 return safe_rshift_macro_uint64_t_u_s(_left,_right);
44 }
45
46 #define safe_mul_macro_int32_t_s_s(si1,si2) \
47 ((((((int32_t)(si1)) > ((int32_t)0)) && (((int32_t)(si2)) > ((int32_t)0)) && (((int32_t)(si1)) > ((INT32_MAX) / ((int32_t)(si2))))) || \
48 ((((int32_t)(si1)) > ((int32_t)0)) && (((int32_t)(si2)) <= ((int32_t)0)) && (((int32_t)(si2)) < ((INT32_MIN) / ((int32_t)(si1))))) || \
49 ((((int32_t)(si1)) <= ((int32_t)0)) && (((int32_t)(si2)) > ((int32_t)0)) && (((int32_t)(si1)) < ((INT32_MIN) / ((int32_t)(si2))))) || \
50 ((((int32_t)(si1)) <= ((int32_t)0)) && (((int32_t)(si2)) <= ((int32_t)0)) && (((int32_t)(si1)) != ((int32_t)0)) && (((int32_t)(si2)) < ((INT32_MAX) / ((int32_t)(si1)))))) \
51 ? ((int32_t)(si1)) \
52 : ((int32_t)(si1)) * ((int32_t)(si2)))
53
54 static int32_t
safe_mul_func_int32_t_s_s(int32_t _si1,int32_t _si2)55 safe_mul_func_int32_t_s_s (int32_t _si1, int32_t _si2)
56 {
57 return safe_mul_macro_int32_t_s_s(_si1,_si2);
58 }
59
60 static int8_t g_39;
61 static volatile uint8_t g_46;
62 static uint8_t g_47;
63 static uint8_t *g_62;
64 static uint8_t g_79;
65 static int8_t g_101 = -1L;
66 static uint8_t *g_114;
67 static uint8_t *g_126;
68 static uint8_t g_133;
69
70 static uint16_t func_35 (int32_t * p_36, uint64_t p_37, uint32_t p_38);
func_35(int32_t * p_36,uint64_t p_37,uint32_t p_38)71 static uint16_t func_35 (int32_t * p_36, uint64_t p_37, uint32_t p_38)
72 {
73 if (g_62 != 0)
74 abort ();
75 for (g_39 = 1; g_39 < 0; g_39 = 1)
76 {
77 }
78 return 1;
79 }
80
81 static int32_t func_19 (int32_t p_20);
func_19(int32_t p_20)82 static int32_t func_19 (int32_t p_20)
83 {
84 if (1 !=
85 safe_div_func_uint64_t_u_u ((safe_div_func_int64_t_s_s (p_20, 1)),
86 g_101))
87 {
88 func_35 (0, 1 <= (safe_add_func_int8_t_s_s (g_47, g_46)) > p_20 < 1, 1);
89 g_133 = 1;
90 if (g_114 != 0)
91 abort ();
92 if (g_126 != 0)
93 abort ();
94 }
95 return 1;
96 }
97
98 static uint8_t func_2 (int32_t p_6);
func_2(int32_t p_6)99 static uint8_t func_2 (int32_t p_6)
100 {
101 for (1; p_6 > 1; 1)
102 return 0;
103 func_19 (g_79);
104 if (safe_mul_func_int32_t_s_s
105 ((0, 1 < (safe_rshift_func_uint64_t_u_s (1 ^ p_6, 1))),
106 (func_35 (&p_6, 1, 1) < 1)))
107 {
108 }
109 return 1;
110 }
111
main(void)112 int main (void)
113 {
114 func_2 (1);
115 if (g_133 != 1)
116 abort ();
117 return 0;
118 }
119
120