constant-conversion.c revision 15d7d12226f83de24f96f4bf4e27ebba30fef51e 
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
7void test_6792488(void) {
8  int x = 0x3ff0000000000000U; // expected-warning {{implicit conversion from 'unsigned long' to 'int' changes value from 4607182418800017408 to 0}}
9}
10
11void test_7809123(void) {
12  struct { int i5 : 5; } a;
13
14  a.i5 = 36; // expected-warning {{implicit truncation from 'int' to bitfield changes value from 36 to 4}}
15}
16
17void test() {
18  struct { int bit : 1; } a;
19  a.bit = 1; // shouldn't warn
20}
21
22enum Test2 { K_zero, K_one };
23enum Test2 test2(enum Test2 *t) {
24  *t = 20;
25  return 10; // shouldn't warn
26}
27
28void 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 bitfield changes value from 10 to 2}}
35  struct A b[] = { 0, 10, 0, 0 };    // expected-warning {{implicit truncation from 'int' to bitfield changes value from 10 to 2}}
36  struct A c[] = {{10, 0}};          // expected-warning {{implicit truncation from 'int' to bitfield changes value from 10 to 2}}
37  struct A d = (struct A) { 10, 0 }; // expected-warning {{implicit truncation from 'int' to bitfield changes value from 10 to 2}}
38  struct A e = { .foo = 10 };        // expected-warning {{implicit truncation from 'int' to bitfield changes value from 10 to 2}}
39}
40