John McCall | 091f23f | 2010-11-09 22:22:12 +0000 | [diff] [blame] | 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 | } |
John McCall | beb22aa | 2010-11-09 23:24:47 +0000 | [diff] [blame] | 10 | |
| 11 | void test_7809123(void) { |
| 12 | struct { int i5 : 5; } a; |
| 13 | |
John McCall | 5dac4c2 | 2010-11-09 23:36:43 +0000 | [diff] [blame] | 14 | a.i5 = 36; // expected-warning {{implicit truncation from 'int' to bitfield changes value from 36 to 4}} |
John McCall | beb22aa | 2010-11-09 23:24:47 +0000 | [diff] [blame] | 15 | } |
John McCall | 935cd6e | 2010-11-10 00:26:50 +0000 | [diff] [blame] | 16 | |
| 17 | void test() { |
| 18 | struct { int bit : 1; } a; |
| 19 | a.bit = 1; // shouldn't warn |
| 20 | } |
John McCall | 1844a6e | 2010-11-10 23:38:19 +0000 | [diff] [blame] | 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 | } |
John McCall | 15d7d12 | 2010-11-11 03:21:53 +0000 | [diff] [blame^] | 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 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 | } |