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 
h(int x)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 
fui(unsigned a)94 unsigned fui (unsigned a) { return a + -1; } /* Warned by -Wsign-conversion.  */
95 
96 
97