gcc/testsuite/c-c++-common/builtin-arith-overflow-1.c

   1 /* Test exercising invalid calls to arithmetic overflow checking built-ins,
   2    including PR c/71392 - SEGV calling integer overflow built-ins with a null
   3    pointer, (issuing a warning for such invocations).  */
   4 /* { dg-do compile } */
   5 /* { dg-additional-options "-Wnonnull" }
   6
   7 /* Verify that calls with fewer or more than 3 arguments to the generic
   8    __builtin_op_overflow functions are rejected.  */
   9
  10 #ifndef __cplusplus
  11 #define bool _Bool
  12 #endif
  13
  14 int
  15 generic_0 (void)
  16 {
  17   int x = __builtin_add_overflow ();    /* { dg-error "too few arguments to function" } */
  18   x += __builtin_sub_overflow ();       /* { dg-error "too few arguments to function" } */
  19   x += __builtin_mul_overflow ();       /* { dg-error "too few arguments to function" } */
  20   x += __builtin_add_overflow_p ();     /* { dg-error "too few arguments to function" } */
  21   x += __builtin_sub_overflow_p ();     /* { dg-error "too few arguments to function" } */
  22   x += __builtin_mul_overflow_p ();     /* { dg-error "too few arguments to function" } */
  23   return x;
  24 }
  25
  26 int
  27 generic_1 (int a)
  28 {
  29   int x = __builtin_add_overflow (a);   /* { dg-error "too few arguments to function" } */
  30   x += __builtin_sub_overflow (a);      /* { dg-error "too few arguments to function" } */
  31   x += __builtin_mul_overflow (a);      /* { dg-error "too few arguments to function" } */
  32
  33   /* Literal argument.  */
  34   x += __builtin_add_overflow (1);      /* { dg-error "too few arguments to function" } */
  35   x += __builtin_sub_overflow (2);      /* { dg-error "too few arguments to function" } */
  36   x += __builtin_mul_overflow (3);      /* { dg-error "too few arguments to function" } */
  37   return x;
  38 }
  39
  40 int
  41 generic_2 (int a, int b)
  42 {
  43   int x = __builtin_add_overflow (a, b);/* { dg-error "too few arguments to function" } */
  44   x += __builtin_sub_overflow (a, b);   /* { dg-error "too few arguments to function" } */
  45   x += __builtin_mul_overflow (a, b);   /* { dg-error "too few arguments to function" } */
  46   x += __builtin_add_overflow (a, 1);   /* { dg-error "too few arguments to function" } */
  47   x += __builtin_sub_overflow (a, 2);   /* { dg-error "too few arguments to function" } */
  48   x += __builtin_mul_overflow (a, 3);   /* { dg-error "too few arguments to function" } */
  49   x += __builtin_add_overflow (4, b);   /* { dg-error "too few arguments to function" } */
  50   x += __builtin_sub_overflow (5, b);   /* { dg-error "too few arguments to function" } */
  51   x += __builtin_mul_overflow (6, b);   /* { dg-error "too few arguments to function" } */
  52   return x;
  53 }
  54
  55 /* Verify that calls with the correct number of arguments to the generic
  56    __builtin_op_overflow functions are accepted.  */
  57
  58 int
  59 generic_3 (int a, int b, int c)
  60 {
  61   int x = __builtin_add_overflow (a, b, &c);
  62   x += __builtin_sub_overflow (a, b, &c);
  63   x += __builtin_mul_overflow (a, b, &c);
  64   x += __builtin_add_overflow (a, 1, &c);
  65   x += __builtin_sub_overflow (a, 2, &c);
  66   x += __builtin_mul_overflow (a, 3, &c);
  67   x += __builtin_add_overflow (4, b, &c);
  68   x += __builtin_sub_overflow (5, b, &c);
  69   x += __builtin_mul_overflow (6, b, &c);
  70   x += __builtin_add_overflow (7, 8, &c);
  71   x += __builtin_sub_overflow (9, 10, &c);
  72   x += __builtin_mul_overflow (11, 12, &c);
  73
  74   /* Verify that a null pointer to an integer is diagnosed.  */
  75
  76   /* The following two are rejected due to c/71479 - error on
  77      __builtin_add_overflow with bool or enum pointer as last argument.
  78
  79     x += __builtin_add_overflow (0, 0, (bool *)0);
  80
  81     enum E { e0 };
  82     x += __builtin_add_overflow (0, 0, (enum E *)0);  */
  83
  84   x += __builtin_sub_overflow (0, 0, (char *)0);   /* { dg-warning "argument 3 null" } */
  85   x += __builtin_add_overflow (0, 0, (short *)0);   /* { dg-warning "argument 3 null" } */
  86   x += __builtin_add_overflow (a, b, (int *)0);   /* { dg-warning "argument 3 null" } */
  87   x += __builtin_sub_overflow (a, b, (int *)0);   /* { dg-warning "argument 3 null" } */
  88   x += __builtin_mul_overflow (a, b, (int *)0);   /* { dg-warning "argument 3 null" } */
  89   x += __builtin_add_overflow (a, 1, (int *)0);   /* { dg-warning "argument 3 null" } */
  90   x += __builtin_sub_overflow (a, 2, (int *)0);   /* { dg-warning "argument 3 null" } */
  91   x += __builtin_mul_overflow (a, 3, (int *)0);   /* { dg-warning "argument 3 null" } */
  92   x += __builtin_add_overflow (4, b, (int *)0);   /* { dg-warning "argument 3 null" } */
  93   x += __builtin_sub_overflow (5, b, (int *)0);   /* { dg-warning "argument 3 null" } */
  94   x += __builtin_mul_overflow (6, b, (int *)0);   /* { dg-warning "argument 3 null" } */
  95   x += __builtin_add_overflow (7, 8, (int *)0);   /* { dg-warning "argument 3 null" } */
  96   x += __builtin_sub_overflow (9, 10, (int *)0);   /* { dg-warning "argument 3 null" } */
  97   x += __builtin_mul_overflow (11, 12, (int *)0);   /* { dg-warning "argument 3 null" } */
  98
  99   return x;
 100 }
 101
 102 int
 103 generic_4 (int a, int b, int *c, int d)
 104 {
 105   int x = __builtin_add_overflow (a, b, c, d);  /* { dg-error "too many arguments to function" } */
 106   x += __builtin_sub_overflow (a, b, c, d, d, d);       /* { dg-error "too many arguments to function" } */
 107   x += __builtin_sub_overflow (a, b, c, d);     /* { dg-error "too many arguments to function" } */
 108   x += __builtin_mul_overflow (a, b, c, d);     /* { dg-error "too many arguments to function" } */
 109   return x;
 110 }
 111
 112 /* Verify that calls with fewer or more than 3 arguments to the type
 113    specific forms of the __builtin_op_overflow functions are rejected.  */
 114
 115 int
 116 generic_wrong_type (int a, int b)
 117 {
 118   void *p = 0;
 119   double d = 0;
 120   int x = __builtin_add_overflow (a, b, p);   /* { dg-error "does not have pointer to integral type" } */
 121   x += __builtin_sub_overflow (a, b, &p);     /* { dg-error "does not have pointer to integral type" } */
 122   x += __builtin_mul_overflow (a, b, &d);     /* { dg-error "does not have pointer to integral type" } */
 123
 124   /* Also verify literal arguments.  */
 125   x += __builtin_add_overflow (1, 1, p);   /* { dg-error "does not have pointer to integral type" } */
 126   x += __builtin_sub_overflow (1, 1, &p);     /* { dg-error "does not have pointer to integral type" } */
 127   x += __builtin_mul_overflow (1, 1, &d);     /* { dg-error "does not have pointer to integral type" } */
 128   return x;
 129 }
 130
 131 /* Verify that calls with fewer than 2 or more than 3 arguments to
 132    the typed __builtin_op_overflow functions are rejected.  */
 133 int
 134 typed_0 (void)
 135 {
 136   int x = __builtin_add_overflow ();    /* { dg-error "too few arguments to function" } */
 137   x += __builtin_sub_overflow ();       /* { dg-error "too few arguments to function" } */
 138   x += __builtin_mul_overflow ();       /* { dg-error "too few arguments to function" } */
 139   return x;
 140 }
 141
 142 int
 143 typed_1 (int a)
 144 {
 145   int x = __builtin_sadd_overflow (a);  /* { dg-error "too few arguments to function" } */
 146   x += __builtin_ssub_overflow (a);     /* { dg-error "too few arguments to function" } */
 147   x += __builtin_smul_overflow (a);     /* { dg-error "too few arguments to function" } */
 148   return x;
 149 }
 150
 151 int
 152 typed_2 (int a, int b)
 153 {
 154   int x = __builtin_sadd_overflow (a, b);  /* { dg-error "too few arguments to function" } */
 155   x += __builtin_ssub_overflow (a, b);     /* { dg-error "too few arguments to function" } */
 156   x += __builtin_smul_overflow (a, b);     /* { dg-error "too few arguments to function" } */
 157   return x;
 158 }
 159
 160 /* Exercise PR c/71392 - SEGV calling integer overflow built-ins with
 161    a null pointer.  Verify that calls with a null argument are diagnosed
 162    with -Wnonnull.  */
 163
 164 int
 165 typed_3_null (int a, int b)
 166 {
 167   int x = 0;
 168
 169   x += __builtin_sadd_overflow (a, b, (int *)0); /* { dg-warning "argument 3 null" } */
 170   x += __builtin_uadd_overflow (a, b, (unsigned *)0); /* { dg-warning "argument 3 null" } */
 171
 172   x += __builtin_saddl_overflow (a, b, (long *)0); /* { dg-warning "argument 3 null" } */
 173   x += __builtin_uaddl_overflow (a, b, (unsigned long *)0); /* { dg-warning "argument 3 null" } */
 174
 175   x += __builtin_saddll_overflow (a, b, (long long *)0); /* { dg-warning "argument 3 null" } */
 176   x += __builtin_uaddll_overflow (a, b, (unsigned long long *)0); /* { dg-warning "argument 3 null" } */
 177
 178
 179   x += __builtin_ssub_overflow (a, b, (int *)0); /* { dg-warning "argument 3 null" } */
 180   x += __builtin_usub_overflow (a, b, (unsigned *)0); /* { dg-warning "argument 3 null" } */
 181
 182   x += __builtin_ssubl_overflow (a, b, (long *)0); /* { dg-warning "argument 3 null" } */
 183   x += __builtin_usubl_overflow (a, b, (unsigned long *)0); /* { dg-warning "argument 3 null" } */
 184
 185   x += __builtin_ssubll_overflow (a, b, (long long *)0); /* { dg-warning "argument 3 null" } */
 186   x += __builtin_usubll_overflow (a, b, (unsigned long long *)0); /* { dg-warning "argument 3 null" } */
 187
 188
 189   x += __builtin_smul_overflow (a, b, (int *)0); /* { dg-warning "argument 3 null" } */
 190   x += __builtin_umul_overflow (a, b, (unsigned *)0); /* { dg-warning "argument 3 null" } */
 191
 192   x += __builtin_smull_overflow (a, b, (long *)0); /* { dg-warning "argument 3 null" } */
 193   x += __builtin_umull_overflow (a, b, (unsigned long *)0); /* { dg-warning "argument 3 null" } */
 194
 195   x += __builtin_smulll_overflow (a, b, (long long *)0); /* { dg-warning "argument 3 null" } */
 196   x += __builtin_umulll_overflow (a, b, (unsigned long long *)0); /* { dg-warning "argument 3 null" } */
 197
 198   return x;
 199 }
 200
 201 int
 202 typed_4 (int a, int b, int *c, int d)
 203 {
 204   int x = __builtin_sadd_overflow (a, b, c, d); /* { dg-error "too many arguments to function" } */
 205   x += __builtin_ssub_overflow (a, b, c, d);    /* { dg-error "too many arguments to function" } */
 206   x += __builtin_smul_overflow (a, b, c, d);    /* { dg-error "too many arguments to function" } */
 207   return x;
 208 }
 209
 210 int
 211 f2 (int a, int b, int *c, int d)
 212 {
 213   int x = __builtin_add_overflow (a, b, c, d);  /* { dg-error "too many arguments to function" } */
 214   x += __builtin_sub_overflow (a, b, c, d, d, d);       /* { dg-error "too many arguments to function" } */
 215   x += __builtin_mul_overflow (a, b, c, d);     /* { dg-error "too many arguments to function" } */
 216   x += __builtin_add_overflow_p (a, b, d, d);   /* { dg-error "too many arguments to function" } */
 217   x += __builtin_sub_overflow_p (a, b, d, d, 1, d);     /* { dg-error "too many arguments to function" } */
 218   x += __builtin_mul_overflow_p (a, b, d, d);   /* { dg-error "too many arguments to function" } */
 219
 220   return x;
 221 }
 222
 223 enum E { e0 = 0, e1 = 1 };
 224
 225 int
 226 f3 (float fa, int a, _Complex long int ca, double fb, void *pb, int b, enum E eb, bool bb, int *c)
 227 {
 228   int x = __builtin_add_overflow (fa, b, c);    /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 229   x += __builtin_sub_overflow (ca, b, c);       /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 230   x += __builtin_mul_overflow (a, fb, c);       /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 231   x += __builtin_add_overflow (a, pb, c);       /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 232   x += __builtin_sub_overflow (a, eb, c);
 233   x += __builtin_mul_overflow (a, bb, c);
 234   x += __builtin_add_overflow_p (fa, b, a);     /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 235   x += __builtin_sub_overflow_p (ca, b, eb);    /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 236   x += __builtin_mul_overflow_p (a, fb, bb);    /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 237   x += __builtin_add_overflow_p (a, pb, a);     /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 238   x += __builtin_sub_overflow_p (a, eb, eb);    /* { dg-error "argument 3 in call to function\[^\n\r]*has enumerated type" } */
 239   x += __builtin_mul_overflow_p (a, bb, bb);    /* { dg-error "argument 3 in call to function\[^\n\r]*has boolean type" } */
 240   x += __builtin_add_overflow_p (a, b, fa);     /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
 241   x += __builtin_sub_overflow_p (a, b, ca);     /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
 242   x += __builtin_mul_overflow_p (a, b, c);      /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
 243   return x;
 244 }
 245
 246 int
 247 f4 (float *fp, double *dp, _Complex int *cp, enum E *ep, bool *bp, long long int *llp)
 248 {
 249   int x = __builtin_add_overflow (1, 2, fp);    /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
 250   x += __builtin_sub_overflow (1, 2, dp);       /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
 251   x += __builtin_mul_overflow (1, 2, cp);       /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
 252   x += __builtin_add_overflow (1, 2, ep);       /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to enumerated type" } */
 253   x += __builtin_sub_overflow (1, 2, bp);       /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to boolean type" } */
 254   x += __builtin_mul_overflow (1, 2, llp);
 255   return x;
 256 }