|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify -triple x86_64-apple-darwin %s
|
|
|
2
|
|
|
3 // This file tests -Wconstant-conversion, a subcategory of -Wconversion
|
|
|
4 // which is on by default.
|
|
|
5
|
|
|
6 // rdar://problem/6792488
|
|
|
7 void test_6792488(void) {
|
|
|
8 int x = 0x3ff0000000000000U; // expected-warning {{implicit conversion from 'unsigned long' to 'int' changes value from 4607182418800017408 to 0}}
|
|
|
9 }
|
|
|
10
|
|
|
11 void test_7809123(void) {
|
|
|
12 struct { int i5 : 5; } a;
|
|
|
13
|
|
|
14 a.i5 = 36; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 36 to 4}}
|
|
|
15 }
|
|
|
16
|
|
|
17 void test() {
|
|
|
18 struct { int bit : 1; } a;
|
|
|
19 a.bit = 1; // shouldn't warn
|
|
|
20 }
|
|
|
21
|
|
|
22 enum Test2 { K_zero, K_one };
|
|
|
23 enum Test2 test2(enum Test2 *t) {
|
|
|
24 *t = 20;
|
|
|
25 return 10; // shouldn't warn
|
|
|
26 }
|
|
|
27
|
|
|
28 void test3() {
|
|
|
29 struct A {
|
|
|
30 unsigned int foo : 2;
|
|
|
31 int bar : 2;
|
|
|
32 };
|
|
|
33
|
|
|
34 struct A a = { 0, 10 }; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 10 to -2}}
|
|
|
35 struct A b[] = { 0, 10, 0, 0 }; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 10 to -2}}
|
|
|
36 struct A c[] = {{10, 0}}; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 10 to 2}}
|
|
|
37 struct A d = (struct A) { 10, 0 }; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 10 to 2}}
|
|
|
38 struct A e = { .foo = 10 }; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 10 to 2}}
|
|
|
39 }
|
|
|
40
|
|
|
41 void test4() {
|
|
|
42 struct A {
|
|
|
43 char c : 2;
|
|
|
44 } a;
|
|
|
45
|
|
|
46 a.c = 0x101; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 257 to 1}}
|
|
|
47 }
|
|
|
48
|
|
|
49 void test5() {
|
|
|
50 struct A {
|
|
|
51 _Bool b : 1;
|
|
|
52 } a;
|
|
|
53
|
|
|
54 // Don't warn about this implicit conversion to bool, or at least
|
|
|
55 // don't warn about it just because it's a bit-field.
|
|
|
56 a.b = 100;
|
|
|
57 }
|
|
|
58
|
|
|
59 void test6() {
|
|
|
60 // Test that unreachable code doesn't trigger the truncation warning.
|
|
|
61 unsigned char x = 0 ? 65535 : 1; // no-warning
|
|
|
62 unsigned char y = 1 ? 65535 : 1; // expected-warning {{changes value}}
|
|
|
63 }
|
|
|
64
|
|
|
65 void test7() {
|
|
|
66 struct {
|
|
|
67 unsigned int twoBits1:2;
|
|
|
68 unsigned int twoBits2:2;
|
|
|
69 unsigned int reserved:28;
|
|
|
70 } f;
|
|
|
71
|
|
|
72 f.twoBits1 = ~0; // no-warning
|
|
|
73 f.twoBits1 = ~1; // no-warning
|
|
|
74 f.twoBits2 = ~2; // expected-warning {{implicit truncation from 'int' to bit-field changes value from -3 to 1}}
|
|
|
75 f.twoBits1 &= ~1; // no-warning
|
|
|
76 f.twoBits2 &= ~2; // no-warning
|
|
|
77 }
|
|
|
78
|
|
|
79 void test8() {
|
|
|
80 enum E { A, B, C };
|
|
|
81 struct { enum E x : 1; } f;
|
|
|
82 f.x = C; // expected-warning {{implicit truncation from 'int' to bit-field changes value from 2 to 0}}
|
|
|
83 }
|
|
|
84
|
|
|
85 void test9() {
|
|
|
86 const char max_char = 0x7F;
|
|
|
87 const short max_short = 0x7FFF;
|
|
|
88 const int max_int = 0x7FFFFFFF;
|
|
|
89
|
|
|
90 const short max_char_plus_one = (short)max_char + 1;
|
|
|
91 const int max_short_plus_one = (int)max_short + 1;
|
|
|
92 const long max_int_plus_one = (long)max_int + 1;
|
|
|
93
|
|
|
94 char new_char = max_char_plus_one; // expected-warning {{implicit conversion from 'const short' to 'char' changes value from 128 to -128}}
|
|
|
95 short new_short = max_short_plus_one; // expected-warning {{implicit conversion from 'const int' to 'short' changes value from 32768 to -32768}}
|
|
|
96 int new_int = max_int_plus_one; // expected-warning {{implicit conversion from 'const long' to 'int' changes value from 2147483648 to -2147483648}}
|
|
|
97
|
|
|
98 char hex_char = 0x80;
|
|
|
99 short hex_short = 0x8000;
|
|
|
100 int hex_int = 0x80000000;
|
|
|
101
|
|
|
102 char oct_char = 0200;
|
|
|
103 short oct_short = 0100000;
|
|
|
104 int oct_int = 020000000000;
|
|
|
105
|
|
|
106 char bin_char = 0b10000000;
|
|
|
107 short bin_short = 0b1000000000000000;
|
|
|
108 int bin_int = 0b10000000000000000000000000000000;
|
|
|
109
|
|
|
110 #define CHAR_MACRO_HEX 0xff
|
|
|
111 char macro_char_hex = CHAR_MACRO_HEX;
|
|
|
112 #define CHAR_MACRO_DEC 255
|
|
|
113 char macro_char_dec = CHAR_MACRO_DEC; // expected-warning {{implicit conversion from 'int' to 'char' changes value from 255 to -1}}
|
|
|
114
|
|
|
115 char array_init[] = { 255, 127, 128, 129, 0 };
|
|
|
116 }
|
|
|
117
|
|
|
118 #define A 1
|
|
|
119
|
|
|
120 void test10() {
|
|
|
121 struct S {
|
|
|
122 unsigned a : 4;
|
|
|
123 } s;
|
|
|
124 s.a = -1;
|
|
|
125 s.a = 15;
|
|
|
126 s.a = -8;
|
|
|
127 s.a = ~0;
|
|
|
128 s.a = ~0U;
|
|
|
129 s.a = ~(1<<A);
|
|
|
130
|
|
|
131 s.a = -9; // expected-warning{{implicit truncation from 'int' to bit-field changes value from -9 to 7}}
|
|
|
132 s.a = 16; // expected-warning{{implicit truncation from 'int' to bit-field changes value from 16 to 0}}
|
|
|
133 }
|
