annotate gcc/testsuite/gcc.dg/Wsign-compare-1.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR c/81417 */
kono
parents:
diff changeset
2 /* { dg-do compile } */
kono
parents:
diff changeset
3 /* { dg-options "-Wsign-compare -fdiagnostics-show-caret" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 unsigned int
kono
parents:
diff changeset
6 f0 (int x, unsigned int y)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 return x ? y : -1; /* { dg-warning "18:operand of \\?: changes signedness from 'int' to 'unsigned int'" } */
kono
parents:
diff changeset
9 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
10 return x ? y : -1;
kono
parents:
diff changeset
11 ^~
kono
parents:
diff changeset
12 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
13 }
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 unsigned int
kono
parents:
diff changeset
16 f1 (int xxx, unsigned int yyy)
kono
parents:
diff changeset
17 {
kono
parents:
diff changeset
18 return xxx ? yyy : -1; /* { dg-warning "22:operand of \\?: changes signedness from 'int' to 'unsigned int'" } */
kono
parents:
diff changeset
19 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
20 return xxx ? yyy : -1;
kono
parents:
diff changeset
21 ^~
kono
parents:
diff changeset
22 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 unsigned int
kono
parents:
diff changeset
26 f2 (int xxx, unsigned int yyy)
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 return xxx ? -1 : yyy; /* { dg-warning "16:operand of \\?: changes signedness from 'int' to 'unsigned int'" } */
kono
parents:
diff changeset
29 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
30 return xxx ? -1 : yyy;
kono
parents:
diff changeset
31 ^~
kono
parents:
diff changeset
32 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 unsigned int
kono
parents:
diff changeset
36 f3 (unsigned int yyy)
kono
parents:
diff changeset
37 {
kono
parents:
diff changeset
38 return yyy ?: -1; /* { dg-warning "17:operand of \\?: changes signedness from 'int' to 'unsigned int'" } */
kono
parents:
diff changeset
39 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
40 return yyy ?: -1;
kono
parents:
diff changeset
41 ^~
kono
parents:
diff changeset
42 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
43 }
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 unsigned int
kono
parents:
diff changeset
46 f4 (int xxx, unsigned yyy, short uuu)
kono
parents:
diff changeset
47 {
kono
parents:
diff changeset
48 return xxx ? yyy : uuu; /* { dg-warning "22:operand of \\?: changes signedness from 'short int' to 'unsigned int'" } */
kono
parents:
diff changeset
49 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
50 return xxx ? yyy : uuu;
kono
parents:
diff changeset
51 ^~~
kono
parents:
diff changeset
52 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
53 }
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 unsigned int
kono
parents:
diff changeset
56 f5 (int xxx, unsigned yyy, short uuu)
kono
parents:
diff changeset
57 {
kono
parents:
diff changeset
58 return xxx ? uuu : yyy; /* { dg-warning "16:operand of \\?: changes signedness from 'short int' to 'unsigned int'" } */
kono
parents:
diff changeset
59 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
60 return xxx ? uuu : yyy;
kono
parents:
diff changeset
61 ^~~
kono
parents:
diff changeset
62 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
63 }
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 unsigned int
kono
parents:
diff changeset
66 f6 (int xxx, unsigned yyy, signed char uuu)
kono
parents:
diff changeset
67 {
kono
parents:
diff changeset
68 return xxx ? yyy : uuu; /* { dg-warning "22:operand of \\?: changes signedness from 'signed char' to 'unsigned int'" } */
kono
parents:
diff changeset
69 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
70 return xxx ? yyy : uuu;
kono
parents:
diff changeset
71 ^~~
kono
parents:
diff changeset
72 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
73 }
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 unsigned int
kono
parents:
diff changeset
76 f7 (int xxx, unsigned yyy, signed char uuu)
kono
parents:
diff changeset
77 {
kono
parents:
diff changeset
78 return xxx ? uuu : yyy; /* { dg-warning "16:operand of \\?: changes signedness from 'signed char' to 'unsigned int'" } */
kono
parents:
diff changeset
79 /* { dg-begin-multiline-output "" }
kono
parents:
diff changeset
80 return xxx ? uuu : yyy;
kono
parents:
diff changeset
81 ^~~
kono
parents:
diff changeset
82 { dg-end-multiline-output "" } */
kono
parents:
diff changeset
83 }