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 -Wno-sign-conversion" } */
       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" } */
      44    uc = x ? SCHAR_MIN : 1U; /* { dg-warning "conversion" } */
      45    uc = x ? 1 : -1; /* Warned by -Wsign-conversion.  */
      46    uc = x ? SCHAR_MIN : 1; /* Warned by -Wsign-conversion.  */
      47    ui = x ? 1U : -1; /* Warned by -Wsign-conversion.  */
      48    ui = x ? INT_MIN : 1U; /* Warned by -Wsign-conversion.  */
      49    ui = ui ? SCHAR_MIN : 1U; /* Warned by -Wsign-conversion.  */
      50    ui = 1U * -1; /* Warned by -Wsign-conversion.  */
      51    ui = ui + INT_MIN; /* Warned by -Wsign-conversion.  */
      52    ui = x ? 1 : -1; /* Warned by -Wsign-conversion.  */
      53    ui = ui ? SCHAR_MIN : 1; /* Warned by -Wsign-conversion.  */
      54  
      55    fuc (-1); /* Warned by -Wsign-conversion.  */
      56    uc = -1; /* Warned by -Wsign-conversion.  */
      57    fui (-1); /* Warned by -Wsign-conversion.  */
      58    ui = -1; /* Warned by -Wsign-conversion.  */
      59    fuc ('\xa0'); /* Warned by -Wsign-conversion.  */
      60    uc = '\xa0'; /* Warned by -Wsign-conversion.  */
      61    fui ('\xa0'); /* Warned by -Wsign-conversion.  */
      62    ui = '\xa0';  /* Warned by -Wsign-conversion.  */
      63    fsi ((unsigned) INT_MAX + 1U); /* Warned by -Wsign-conversion.  */
      64    si = (unsigned) INT_MAX + 1U;  /* Warned by -Wsign-conversion.  */
      65  
      66  
      67    fsi (UINT_MAX - 1);  /* Warned by -Wsign-conversion.  */
      68    si = UINT_MAX - 1;   /* Warned by -Wsign-conversion.  */
      69    fsi (UINT_MAX - 1U); /* Warned by -Wsign-conversion.  */
      70    si = UINT_MAX - 1U;  /* Warned by -Wsign-conversion.  */
      71    fsi (UINT_MAX/3U);
      72    si = UINT_MAX/3U;
      73    fsi (UINT_MAX/3);
      74    si = UINT_MAX/3;
      75    fui (UINT_MAX - 1);
      76    ui = UINT_MAX - 1;
      77  
      78    uc = (unsigned char) -1;
      79    ui = -1 * (1 * -1);
      80    ui = (unsigned) -1;
      81  
      82    fsc (uc); /* Warned by -Wsign-conversion.  */
      83    sc = uc;  /* Warned by -Wsign-conversion.  */
      84    fuc (sc); /* Warned by -Wsign-conversion.  */
      85    uc = sc;  /* Warned by -Wsign-conversion.  */
      86    fsi (ui); /* Warned by -Wsign-conversion.  */
      87    si = ui;  /* Warned by -Wsign-conversion.  */
      88    fui (si); /* Warned by -Wsign-conversion.  */ 
      89    ui = si;  /* Warned by -Wsign-conversion.  */ 
      90    fui (sc); /* Warned by -Wsign-conversion.  */
      91    ui = sc;  /* Warned by -Wsign-conversion.  */
      92  }
      93  
      94  unsigned fui (unsigned a) { return a + -1; } /* Warned by -Wsign-conversion.  */
      95  
      96