| // RUN: %clang_cc1 %s -verify -Wconversion -fsyntax-only -triple x86_64-pc-linux-gnu |
| // RUN: %clang_cc1 %s -verify -Wconversion -fsyntax-only -triple i386-pc-linux-gnu |
| |
| void test(void) { |
| unsigned int a = 1; |
| |
| unsigned long long b = -a; // expected-warning {{higher order bits are zeroes after implicit conversion}} |
| long long c = -a; // expected-warning {{the resulting value is always non-negative after implicit conversion}} |
| |
| unsigned long b2 = -a; |
| #ifdef __x86_64__ |
| // expected-warning@-2 {{higher order bits are zeroes after implicit conversion}} |
| #endif |
| long c2 = -a; |
| #ifdef __x86_64__ |
| // expected-warning@-2 {{the resulting value is always non-negative after implicit conversion}} |
| #else |
| // expected-warning@-4 {{implicit conversion changes signedness: 'unsigned int' to 'long'}} |
| #endif |
| |
| unsigned m; |
| int n = -(m & 0xff); // no warning |
| } |