1 /* PR middle-end/38364 */
3 /* { dg-options "-O2 -ftrapv" } */
5 extern void abort (void);
14 if (x > __SHRT_MAX__ / y)
17 else if (y < (-__SHRT_MAX__ - 1) / x)
24 if (x < (-__SHRT_MAX__ - 1) / y)
27 else if (x != 0 && y < __SHRT_MAX__ / x)
33 static inline signed char
34 f2 (signed char x, signed char y)
36 if (((x ^ y) & (((x ^ ((x ^ y) & (1 << (__CHAR_BIT__ - 1)))) - y) ^ y)) < 0)
44 f3 (int x, unsigned int y)
68 f4 (x < (1 != f5 (0)));