gcc/testsuite/gcc.dg/Wconversion-integer.c

   1 /* Test for diagnostics for implicit conversions between integer types
   2    These tests come from gcc/testsuite/gcc.dg/overflow-warn-2.c  */
   3
   4 /* { dg-do compile } */
   5 /* { dg-options "-std=c99 -fsigned-char -Wconversion" } */
   6
   7 #include <limits.h>
   8
   9 void fsc (signed char sc);
  10 void fuc (unsigned char uc);
  11 unsigned fui (unsigned int  ui);
  12 void fsi (signed int ui);
  13
  14 void h (int x)
  15 {
  16   unsigned int ui = 3;
  17   int   si = 3;
  18   unsigned char uc = 3;
  19   signed char   sc = 3;
  20
  21   uc = ui; /* { dg-warning "conversion" } */
  22   uc = si; /* { dg-warning "conversion" } */
  23   sc = ui; /* { dg-warning "conversion" } */
  24   sc = si; /* { dg-warning "conversion" } */
  25   fuc (ui); /* { dg-warning "conversion" } */
  26   fuc (si); /* { dg-warning "conversion" } */
  27   fsc (ui); /* { dg-warning "conversion" } */
  28   fsc (si); /* { dg-warning "conversion" } */
  29
  30   fsi (si);
  31   fui (ui);
  32   fsi (uc);
  33   si = uc;
  34   fui (uc);
  35   ui = uc;
  36   fui ('A');
  37   ui = 'A';
  38   fsi ('A');
  39   si = 'A';
  40   fuc ('A');
  41   uc = 'A';
  42
  43   uc = x ? 1U : -1; /* { dg-warning "conversion from .unsigned int. to .unsigned char." } */
  44   /* { dg-warning "unsigned conversion" "implicit" { target *-*-* } .-1 } */
  45   uc = x ? SCHAR_MIN : 1U; /* { dg-warning "unsigned conversion" } */
  46   /* { dg-warning "conversion from .unsigned int. to .unsigned char." "implicit" { target *-*-* } .-1 } */
  47   uc = x ? 1 : -1; /* { dg-warning "signed conversion" } */
  48   uc = x ? SCHAR_MIN : 1; /* { dg-warning "signed conversion" } */
  49   ui = x ? 1U : -1; /* { dg-warning "signed conversion" } */
  50   ui = x ? INT_MIN : 1U; /* { dg-warning "signed conversion" } */
  51   ui = ui ? SCHAR_MIN : 1U; /* { dg-warning "signed conversion" } */
  52   ui = 1U * -1; /* { dg-warning "signed conversion" } */
  53   ui = ui + INT_MIN; /* { dg-warning "signed conversion" } */
  54   ui = x ? 1 : -1; /* { dg-warning "signed conversion" } */
  55   ui = ui ? SCHAR_MIN : 1; /* { dg-warning "signed conversion" } */
  56
  57   fuc (-1); /* { dg-warning "signed conversion" } */
  58   uc = -1;  /* { dg-warning "signed conversion" } */
  59   fui (-1); /* { dg-warning "signed conversion" } */
  60   ui = -1; /* { dg-warning "signed conversion" } */
  61   fuc ('\xa0'); /* { dg-warning "signed conversion" } */
  62   uc = '\xa0'; /* { dg-warning "signed conversion" } */
  63   fui ('\xa0');/* { dg-warning "signed conversion" } */
  64   ui = '\xa0'; /* { dg-warning "signed conversion" } */
  65   fsi (0x80000000); /* { dg-warning "conversion" } */
  66   si = 0x80000000;  /* { dg-warning "conversion" } */
  67
  68
  69   fsi (UINT_MAX - 1);  /* { dg-warning "conversion" } */
  70   si = UINT_MAX - 1;   /* { dg-warning "conversion" } */
  71   fsi (UINT_MAX - 1U); /* { dg-warning "conversion" } */
  72   si = UINT_MAX - 1U;  /* { dg-warning "conversion" } */
  73   fsi (UINT_MAX/3U);
  74   si = UINT_MAX/3U;
  75   fsi (UINT_MAX/3);
  76   si = UINT_MAX/3;
  77   fui (UINT_MAX - 1);
  78   ui = UINT_MAX - 1;
  79
  80   uc = (unsigned char) -1;
  81   ui = -1 * (1 * -1);
  82   ui = (unsigned) -1;
  83
  84   fsc (uc); /* { dg-warning "conversion" } */
  85   sc = uc;  /* { dg-warning "conversion" } */
  86   fuc (sc); /* { dg-warning "conversion" } */
  87   uc = sc;  /* { dg-warning "conversion" } */
  88   fsi (ui); /* { dg-warning "conversion" } */
  89   si = ui;  /* { dg-warning "conversion" } */
  90   fui (si); /* { dg-warning "conversion" } */
  91   ui = si;  /* { dg-warning "conversion" } */
  92   fui (sc); /* { dg-warning "conversion" } */
  93   ui = sc;  /* { dg-warning "conversion" } */
  94 }
  95
  96 unsigned fui (unsigned a) { return a + -1; } /* { dg-warning "signed conversion" } */
  97
  98