1  #include "builtin-arith-overflow.h"
       2  
       3  #define TESTS(type, min, max) \
       4  T (100, signed type, unsigned type, unsigned type, -1, 0, 0, mul, 0) \
       5  T (101, signed type, unsigned type, unsigned type, -1, 1, (unsigned type) -1, mul, 1) \
       6  T (102, unsigned type, signed type, unsigned type, 12, -3, (unsigned type) -36, mul, 1) \
       7  T (103, signed type, unsigned type, unsigned type, 3, 4, 12, mul, 0) \
       8  T (104, unsigned type, signed type, unsigned type, (unsigned type) -1 / 12, 12, (unsigned type) -1 / 12 * 12, mul, 0) \
       9  T (105, unsigned type, signed type, unsigned type, (unsigned type) -1 / 12, 13, (unsigned type) -1 / 12 * 13, mul, 1) \
      10  T (106, unsigned type, unsigned type, signed type, 0, 0, 0, mul, 0) \
      11  T (107, unsigned type, unsigned type, signed type, max / 31, 31, (signed type) ((unsigned type) max / 31 * 31), mul, 0) \
      12  T (108, unsigned type, unsigned type, signed type, max / 31, 32, (signed type) ((unsigned type) max / 31 * 32), mul, 1) \
      13  T (109, unsigned type, unsigned type, signed type, max / 31, 65, (signed type) ((unsigned type) max / 31 * 65), mul, 1) \
      14  T (110, signed type, unsigned type, signed type, -1, 7, -7, mul, 0) \
      15  T (111, unsigned type, signed type, signed type, 2, min / 2, min, mul, 0) \
      16  T (112, signed type, unsigned type, signed type, max / 12, 13, (signed type) ((unsigned type) max / 12 * 13), mul, 1) \
      17  T (113, unsigned type, signed type, signed type, (unsigned type) max + 19, 0, 0, mul, 0) \
      18  T (114, signed type, unsigned type, signed type, 0, (unsigned type) max + 1, 0, mul, 0) \
      19  T (115, unsigned type, signed type, signed type, (unsigned type) max + 1, -1, min, mul, 0) \
      20  T (116, signed type, unsigned type, signed type, -1, (unsigned type) max + 2, max, mul, 1) \
      21  T (117, signed type, signed type, unsigned type, min / 64, -64, (unsigned type) min, mul, 0) \
      22  T (118, signed type, signed type, unsigned type, min / 32, -33, ((unsigned type) max + 1) / 32 * 33, mul, 0) \
      23  T (119, signed type, signed type, unsigned type, min / 32, -65, ((unsigned type) max + 1) / 32 * 65, mul, 1) \
      24  T (120, signed type, signed type, unsigned type, -1, -1, 1, mul, 0) \
      25  T (121, signed type, signed type, unsigned type, 0, 0, 0, mul, 0) \
      26  T (122, signed type, signed type, unsigned type, 0, -6, 0, mul, 0) \
      27  T (123, signed type, signed type, unsigned type, -15, 0, 0, mul, 0) \
      28  T (124, signed type, signed type, unsigned type, -1, 1, ~(unsigned type) 0, mul, 1) \
      29  T (125, signed type, signed type, unsigned type, -17, 5, (unsigned type) -17 * 5, mul, 1) \
      30  T (126, signed type, signed type, unsigned type, 7, max / 7, max / 7 * 7, mul, 0) \
      31  T (127, signed type, signed type, unsigned type, max / 7, 8, (unsigned type) max / 7 * 8, mul, 0) \
      32  T (128, signed type, signed type, unsigned type, 15, max / 7, (unsigned type) max / 7 * 15, mul, 1) \
      33  T (129, signed type, unsigned type, signed type, min, 5, min + 5, add, 0) \
      34  T (130, unsigned type, signed type, signed type, ~(unsigned type) 0, min, max, add, 0) \
      35  T (131, signed type, unsigned type, signed type, max, 1, min, add, 1) \
      36  T (132, unsigned type, signed type, signed type, max / 2, max / 2 + 1, max, add, 0) \
      37  T (133, signed type, unsigned type, signed type, max / 2 + 1, max / 2 + 1, min, add, 1) \
      38  T (134, signed type, unsigned type, unsigned type, min, ~(unsigned type) 0, max, add, 0) \
      39  T (135, unsigned type, signed type, unsigned type, ~(unsigned type) 0, min + 1, (unsigned type) max + 1, add, 0) \
      40  T (136, signed type, unsigned type, unsigned type, 1, ~(unsigned type) 0, 0, add, 1) \
      41  T (137, unsigned type, signed type, unsigned type, 2, -3, ~(unsigned type) 0, add, 1) \
      42  T (138, signed type, unsigned type, signed type, min, 1, max, sub, 1) \
      43  T (139, signed type, unsigned type, signed type, min + 1, 1, min, sub, 0) \
      44  T (140, signed type, unsigned type, signed type, max, (unsigned type) max + 1, -1, sub, 0) \
      45  T (141, signed type, unsigned type, signed type, max, ~(unsigned type) 0, min, sub, 0) \
      46  T (142, signed type, unsigned type, signed type, max - 1, ~(unsigned type) 0, max, sub, 1) \
      47  T (143, signed type, unsigned type, unsigned type, -1, 0, ~(unsigned type) 0, sub, 1) \
      48  T (144, signed type, unsigned type, unsigned type, -1, ~(unsigned type) 0, 0, sub, 1) \
      49  T (145, signed type, unsigned type, unsigned type, min, 0, min, sub, 1) \
      50  T (146, signed type, unsigned type, unsigned type, max, max, 0, sub, 0) \
      51  T (147, signed type, unsigned type, unsigned type, max, (unsigned type) max + 1, -1, sub, 1) \
      52  T (148, signed type, unsigned type, unsigned type, max - 1, max, -1, sub, 1) \
      53  T (149, unsigned type, signed type, signed type, 0, max, -max, sub, 0) \
      54  T (150, unsigned type, signed type, signed type, (unsigned type) max + 1, 0, min, sub, 1) \
      55  T (151, unsigned type, signed type, signed type, (unsigned type) max + 1, 1, max, sub, 0) \
      56  T (152, unsigned type, unsigned type, signed type, 0, (unsigned type) max + 1, min, add, 1) \
      57  T (153, signed type, signed type, unsigned type, -1, 0, -1, add, 1) \
      58  T (154, unsigned type, signed type, unsigned type, 5, 6, -1, sub, 1) \
      59  T (155, unsigned type, signed type, unsigned type, ~(unsigned type) 0, max, (unsigned type) max + 1, sub, 0) \
      60  T (156, unsigned type, signed type, unsigned type, (unsigned type) max + 1, min, 0, sub, 1) \
      61  T (157, signed type, signed type, unsigned type, 3, -2, 1, add, 0) \
      62  T (158, signed type, signed type, unsigned type, 3, -4, -1, add, 1) \
      63  T (159, signed type, signed type, unsigned type, -3, -4, -7, add, 1) \
      64  T (160, signed type, signed type, unsigned type, -5, 4, -1, add, 1) \
      65  T (161, signed type, signed type, unsigned type, -5, 5, 0, add, 0) \
      66  T (162, signed type, signed type, unsigned type, min, 1, min + 1, add, 1) \
      67  T (163, unsigned type, unsigned type, signed type, max, 1, min, add, 1) \
      68  T (164, unsigned type, unsigned type, signed type, max - 1, 1, max, add, 0) \
      69  T (165, unsigned type, unsigned type, signed type, ~(unsigned type) 0, ~(unsigned type) 0, ~(unsigned type) 0 - 1, add, 1) \
      70  T (166, unsigned type, unsigned type, signed type, (unsigned type) max + 3, 2, min, sub, 1) \
      71  T (167, unsigned type, unsigned type, signed type, (unsigned type) max + 2, 2, max, sub, 0) \
      72  T (168, unsigned type, unsigned type, signed type, (unsigned type) max + 2, (unsigned type) max + 3, -1, sub, 0) \
      73  T (169, unsigned type, unsigned type, signed type, 0, (unsigned type) max + 1, min, sub, 0) \
      74  T (170, unsigned type, unsigned type, signed type, 0, (unsigned type) max + 2, max, sub, 1) \
      75  T (171, signed type, signed type, unsigned type, 3, 2, 1, sub, 0) \
      76  T (172, signed type, signed type, unsigned type, 3, 4, -1, sub, 1) \
      77  T (173, signed type, signed type, unsigned type, -3, 4, -7, sub, 1) \
      78  T (174, signed type, signed type, unsigned type, -5, -4, -1, sub, 1) \
      79  T (175, signed type, signed type, unsigned type, -5, -5, 0, sub, 0) \
      80  T (176, signed type, signed type, unsigned type, min, -1, min + 1, sub, 1)