53 lines · cpp
1// RUN: %clang_cc1 -verify %s -std=c++17 -Weverything -Wno-deprecated -Wno-float-equal2// RUN: %clang_cc1 -verify %s -std=c++2a -Wdeprecated3 4static enum E1 {} e1, e1b;5static enum E2 {} e2;6static double d;7extern void f();8extern bool b;9 10void f() {11 void(e1 * e1);12 void(e1 * e2); // expected-warning {{arithmetic between different enumeration types}}13 void(e1 * d); // expected-warning {{arithmetic between enumeration type 'enum E1' and floating-point type 'double'}}14 void(d * e1); // expected-warning {{arithmetic between floating-point type 'double' and enumeration type 'enum E1'}}15 16 void(e1 + e1);17 void(e1 + e2); // expected-warning {{arithmetic between different enumeration types}}18 void(e1 + d); // expected-warning {{arithmetic between enumeration type 'enum E1' and floating-point type 'double'}}19 void(d + e1); // expected-warning {{arithmetic between floating-point type 'double' and enumeration type 'enum E1'}}20 21#if __cplusplus > 201703L22 void(e1 <=> e1b); // expected-error {{include <compare>}}23 void(e1 <=> e2); // expected-error {{invalid operands}}24 void(e1 <=> d); // expected-error {{invalid operands}}25 void(d <=> e1); // expected-error {{invalid operands}}26#endif27 28 void(e1 < e1b);29 void(e1 < e2); // expected-warning {{comparison of different enumeration types}}30 void(e1 < d); // expected-warning {{comparison of enumeration type 'enum E1' with floating-point type 'double'}}31 void(d < e1); // expected-warning {{comparison of floating-point type 'double' with enumeration type 'enum E1'}}32 33 void(e1 == e1b);34 void(e1 == e2); // expected-warning {{comparison of different enumeration types}}35 void(e1 == d); // expected-warning {{comparison of enumeration type 'enum E1' with floating-point type 'double'}}36 void(d == e1); // expected-warning {{comparison of floating-point type 'double' with enumeration type 'enum E1'}}37 38 void(b ? e1 : e1b);39 void(b ? e1 : e2); // expected-warning {{conditional expression between different enumeration types}}40 void(b ? e1 : d); // expected-warning {{conditional expression between enumeration type 'enum E1' and floating-point type 'double'}}41 void(b ? d : e1); // expected-warning {{conditional expression between floating-point type 'double' and enumeration type 'enum E1'}}42 43 void(e1 = e1b);44 void(e1 = e2); // expected-error {{incompatible}}45 void(e1 = d); // expected-error {{incompatible}}46 void(d = e1); // FIXME: Should we warn on this?47 48 void(e1 += e1b); // expected-error {{incompatible}}49 void(e1 += e2); // expected-error {{incompatible}}50 void(e1 += d); // expected-error {{incompatible}}51 void(d += e1); // expected-warning {{compound assignment of floating-point type 'double' from enumeration type 'enum E1'}}52}53