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
  85   x += __builtin_sub_overflow (0, 0, (char *)0);   /* { dg-warning "null argument" } */
  86   x += __builtin_add_overflow (0, 0, (short *)0);   /* { dg-warning "null argument" } */
  87   x += __builtin_add_overflow (a, b, (int *)0);   /* { dg-warning "null argument" } */
  88   x += __builtin_sub_overflow (a, b, (int *)0);   /* { dg-warning "null argument" } */
  89   x += __builtin_mul_overflow (a, b, (int *)0);   /* { dg-warning "null argument" } */
  90   x += __builtin_add_overflow (a, 1, (int *)0);   /* { dg-warning "null argument" } */
  91   x += __builtin_sub_overflow (a, 2, (int *)0);   /* { dg-warning "null argument" } */
  92   x += __builtin_mul_overflow (a, 3, (int *)0);   /* { dg-warning "null argument" } */
  93   x += __builtin_add_overflow (4, b, (int *)0);   /* { dg-warning "null argument" } */
  94   x += __builtin_sub_overflow (5, b, (int *)0);   /* { dg-warning "null argument" } */
  95   x += __builtin_mul_overflow (6, b, (int *)0);   /* { dg-warning "null argument" } */
  96   x += __builtin_add_overflow (7, 8, (int *)0);   /* { dg-warning "null argument" } */
  97   x += __builtin_sub_overflow (9, 10, (int *)0);   /* { dg-warning "null argument" } */
  98   x += __builtin_mul_overflow (11, 12, (int *)0);   /* { dg-warning "null argument" } */
  99
 100   return x;
 101 }
 102
 103 int
 104 generic_4 (int a, int b, int *c, int d)
 105 {
 106   int x = __builtin_add_overflow (a, b, c, d);  /* { dg-error "too many arguments to function" } */
 107   x += __builtin_sub_overflow (a, b, c, d, d, d);       /* { dg-error "too many arguments to function" } */
 108   x += __builtin_sub_overflow (a, b, c, d);     /* { dg-error "too many arguments to function" } */
 109   x += __builtin_mul_overflow (a, b, c, d);     /* { dg-error "too many arguments to function" } */
 110   return x;
 111 }
 112
 113 /* Verify that calls with fewer or more than 3 arguments to the type
 114    specific forms of the __builtin_op_overflow functions are rejected.  */
 115
 116 int
 117 generic_wrong_type (int a, int b)
 118 {
 119   void *p = 0;
 120   double d = 0;
 121   int x = __builtin_add_overflow (a, b, p);   /* { dg-error "does not have pointer to integral type" } */
 122   x += __builtin_sub_overflow (a, b, &p);     /* { dg-error "does not have pointer to integral type" } */
 123   x += __builtin_mul_overflow (a, b, &d);     /* { dg-error "does not have pointer to integral type" } */
 124
 125   /* Also verify literal arguments.  */
 126   x += __builtin_add_overflow (1, 1, p);   /* { dg-error "does not have pointer to integral type" } */
 127   x += __builtin_sub_overflow (1, 1, &p);     /* { dg-error "does not have pointer to integral type" } */
 128   x += __builtin_mul_overflow (1, 1, &d);     /* { dg-error "does not have pointer to integral type" } */
 129   return x;
 130 }
 131
 132 /* Verify that calls with fewer than 2 or more than 3 arguments to
 133    the typed __builtin_op_overflow functions are rejected.  */
 134 int
 135 typed_0 (void)
 136 {
 137   int x = __builtin_add_overflow ();    /* { dg-error "too few arguments to function" } */
 138   x += __builtin_sub_overflow ();       /* { dg-error "too few arguments to function" } */
 139   x += __builtin_mul_overflow ();       /* { dg-error "too few arguments to function" } */
 140   return x;
 141 }
 142
 143 int
 144 typed_1 (int a)
 145 {
 146   int x = __builtin_sadd_overflow (a);  /* { dg-error "too few arguments to function" } */
 147   x += __builtin_ssub_overflow (a);     /* { dg-error "too few arguments to function" } */
 148   x += __builtin_smul_overflow (a);     /* { dg-error "too few arguments to function" } */
 149   return x;
 150 }
 151
 152 int
 153 typed_2 (int a, int b)
 154 {
 155   int x = __builtin_sadd_overflow (a, b);  /* { dg-error "too few arguments to function" } */
 156   x += __builtin_ssub_overflow (a, b);     /* { dg-error "too few arguments to function" } */
 157   x += __builtin_smul_overflow (a, b);     /* { dg-error "too few arguments to function" } */
 158   return x;
 159 }
 160
 161 /* Exercise PR c/71392 - SEGV calling integer overflow built-ins with
 162    a null pointer.  Verify that calls with a null argument are diagnosed
 163    with -Wnonnull.  */
 164
 165 int
 166 typed_3_null (int a, int b)
 167 {
 168   int x = 0;
 169
 170   x += __builtin_sadd_overflow (a, b, (int *)0); /* { dg-warning "null argument" } */
 171   x += __builtin_uadd_overflow (a, b, (unsigned *)0); /* { dg-warning "null argument" } */
 172
 173   x += __builtin_saddl_overflow (a, b, (long *)0); /* { dg-warning "null argument" } */
 174   x += __builtin_uaddl_overflow (a, b, (unsigned long *)0); /* { dg-warning "null argument" } */
 175
 176   x += __builtin_saddll_overflow (a, b, (long long *)0); /* { dg-warning "null argument" } */
 177   x += __builtin_uaddll_overflow (a, b, (unsigned long long *)0); /* { dg-warning "null argument" } */
 178
 179
 180   x += __builtin_ssub_overflow (a, b, (int *)0); /* { dg-warning "null argument" } */
 181   x += __builtin_usub_overflow (a, b, (unsigned *)0); /* { dg-warning "null argument" } */
 182
 183   x += __builtin_ssubl_overflow (a, b, (long *)0); /* { dg-warning "null argument" } */
 184   x += __builtin_usubl_overflow (a, b, (unsigned long *)0); /* { dg-warning "null argument" } */
 185
 186   x += __builtin_ssubll_overflow (a, b, (long long *)0); /* { dg-warning "null argument" } */
 187   x += __builtin_usubll_overflow (a, b, (unsigned long long *)0); /* { dg-warning "null argument" } */
 188
 189
 190   x += __builtin_smul_overflow (a, b, (int *)0); /* { dg-warning "null argument" } */
 191   x += __builtin_umul_overflow (a, b, (unsigned *)0); /* { dg-warning "null argument" } */
 192
 193   x += __builtin_smull_overflow (a, b, (long *)0); /* { dg-warning "null argument" } */
 194   x += __builtin_umull_overflow (a, b, (unsigned long *)0); /* { dg-warning "null argument" } */
 195
 196   x += __builtin_smulll_overflow (a, b, (long long *)0); /* { dg-warning "null argument" } */
 197   x += __builtin_umulll_overflow (a, b, (unsigned long long *)0); /* { dg-warning "null argument" } */
 198
 199   return x;
 200 }
 201
 202 int
 203 typed_4 (int a, int b, int *c, int d)
 204 {
 205   int x = __builtin_sadd_overflow (a, b, c, d); /* { dg-error "too many arguments to function" } */
 206   x += __builtin_ssub_overflow (a, b, c, d);    /* { dg-error "too many arguments to function" } */
 207   x += __builtin_smul_overflow (a, b, c, d);    /* { dg-error "too many arguments to function" } */
 208   return x;
 209 }
 210
 211 int
 212 f2 (int a, int b, int *c, int d)
 213 {
 214   int x = __builtin_add_overflow (a, b, c, d);  /* { dg-error "too many arguments to function" } */
 215   x += __builtin_sub_overflow (a, b, c, d, d, d);       /* { dg-error "too many arguments to function" } */
 216   x += __builtin_mul_overflow (a, b, c, d);     /* { dg-error "too many arguments to function" } */
 217   x += __builtin_add_overflow_p (a, b, d, d);   /* { dg-error "too many arguments to function" } */
 218   x += __builtin_sub_overflow_p (a, b, d, d, 1, d);     /* { dg-error "too many arguments to function" } */
 219   x += __builtin_mul_overflow_p (a, b, d, d);   /* { dg-error "too many arguments to function" } */
 220
 221   return x;
 222 }
 223
 224 enum E { e0 = 0, e1 = 1 };
 225
 226 int
 227 f3 (float fa, int a, _Complex long int ca, double fb, void *pb, int b, enum E eb, bool bb, int *c)
 228 {
 229   int x = __builtin_add_overflow (fa, b, c);    /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 230   x += __builtin_sub_overflow (ca, b, c);       /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 231   x += __builtin_mul_overflow (a, fb, c);       /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 232   x += __builtin_add_overflow (a, pb, c);       /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 233   x += __builtin_sub_overflow (a, eb, c);
 234   x += __builtin_mul_overflow (a, bb, c);
 235   x += __builtin_add_overflow_p (fa, b, a);     /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 236   x += __builtin_sub_overflow_p (ca, b, eb);    /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
 237   x += __builtin_mul_overflow_p (a, fb, bb);    /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 238   x += __builtin_add_overflow_p (a, pb, a);     /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
 239   x += __builtin_sub_overflow_p (a, eb, eb);    /* { dg-error "argument 3 in call to function\[^\n\r]*has enumerated type" } */
 240   x += __builtin_mul_overflow_p (a, bb, bb);    /* { dg-error "argument 3 in call to function\[^\n\r]*has boolean type" } */
 241   x += __builtin_add_overflow_p (a, b, fa);     /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
 242   x += __builtin_sub_overflow_p (a, b, ca);     /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
 243   x += __builtin_mul_overflow_p (a, b, c);      /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
 244   return x;
 245 }
 246
 247 int
 248 f4 (float *fp, double *dp, _Complex int *cp, enum E *ep, bool *bp, long long int *llp)
 249 {
 250   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" } */
 251   x += __builtin_sub_overflow (1, 2, dp);       /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
 252   x += __builtin_mul_overflow (1, 2, cp);       /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
 253   x += __builtin_add_overflow (1, 2, ep);       /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to enumerated type" } */
 254   x += __builtin_sub_overflow (1, 2, bp);       /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to boolean type" } */
 255   x += __builtin_mul_overflow (1, 2, llp);
 256   return x;
 257 }