// RUN: %clang_cc1 -fsyntax-only -verify %s -Wimplicit-int-conversion -triple x86_64-gnu-linux | |
typedef _ExtInt(31) EI31; | |
void Ternary(_ExtInt(30) s30, EI31 s31a, _ExtInt(31) s31b, | |
_ExtInt(32) s32, int b) { | |
b ? s30 : s31a; // expected-error{{incompatible operand types}} | |
b ? s31a : s30; // expected-error{{incompatible operand types}} | |
b ? s32 : 0; // expected-error{{incompatible operand types}} | |
(void)(b ? s31a : s31b); | |
(void)(s30 ? s31a : s31b); | |
} |