38 lines · c
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3typedef unsigned char u8;4 5u8 a1 = (0 ? 0xffff : 0xff);6u8 a2 = (1 ? 0xffff : 0xff); // expected-warning {{implicit conversion from 'int' to 'u8' (aka 'unsigned char') changes value from 65535 to 255}}7u8 a3 = (1 ? 0xff : 0xffff);8u8 a4 = (0 ? 0xff : 0xffff); // expected-warning {{implicit conversion from 'int' to 'u8' (aka 'unsigned char') changes value from 65535 to 255}}9 10unsigned long long b1 = 1 ? 0 : 1ULL << 64;11unsigned long long b2 = 0 ? 0 : 1ULL << 64; // expected-warning {{shift count >= width of type}}12unsigned long long b3 = 1 ? 1ULL << 64 : 0; // expected-warning {{shift count >= width of type}}13 14#define M(n) (((n) == 64) ? ~0ULL : ((1ULL << (n)) - 1))15unsigned long long c1 = M(64);16unsigned long long c2 = M(32);17 18static u8 d1 = (0 ? 0xffff : 0xff);19static u8 d2 = (1 ? 0xffff : 0xff); // expected-warning {{implicit conversion from 'int' to 'u8' (aka 'unsigned char') changes value from 65535 to 255}}20 21int a = 1 ? 6 : (1,2);22int b = 0 ? 6 : (1,2); // expected-warning {{left operand of comma operator has no effect}}23 24void f(void) {25 u8 e1 = (0 ? 0xffff : 0xff);26 u8 e2 = (1 ? 0xffff : 0xff); // expected-warning {{implicit conversion from 'int' to 'u8' (aka 'unsigned char') changes value from 65535 to 255}}27 28 unsigned long long e3 = 1 ? 0 : 1ULL << 64;29 unsigned long long e4 = 0 ? 0 : 1ULL << 64; // expected-warning {{shift count >= width of type}}30}31 32void statics(void) {33 static u8 f1 = (0 ? 0xffff : 0xff);34 static u8 f2 = (1 ? 0xffff : 0xff); // expected-warning {{implicit conversion from 'int' to 'u8' (aka 'unsigned char') changes value from 65535 to 255}}35 static u8 f3 = (1 ? 0xff : 0xffff);36 static u8 f4 = (0 ? 0xff : 0xffff); // expected-warning {{implicit conversion from 'int' to 'u8' (aka 'unsigned char') changes value from 65535 to 255}}37}38