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 } 134