285 lines · cpp
1// RUN: %clang_cc1 %s -fsyntax-only -verify -triple %itanium_abi_triple2// RUN: %clang_cc1 %s -fsyntax-only -verify -triple %ms_abi_triple -DMSABI3 4enum Foo { FooA, FooB, FooC };5enum Bar { BarD, BarE, BarF };6enum { AnonAA = 42, AnonAB = 43 };7enum { AnonBA = 44, AnonBB = 45 };8enum { Anon1, Anon2, Anon3 };9typedef enum { TD1, TD2 } TD;10 11namespace name1 {12 enum Foo {F1, F2, F3};13 enum Baz {B1, B2, B3};14}15 16namespace name2 {17 enum Baz {B1, B2, B3};18}19 20using name1::Baz;21using name1::B1;22using name2::B2;23typedef name1::Foo oneFoo;24typedef name1::Foo twoFoo;25Foo getFoo();26Bar getBar();27 28void test () {29 Foo x = FooA;30 Bar y = BarD;31 Baz z = name1::B3;32 name1::Foo a;33 oneFoo b;34 twoFoo c;35 TD td;36 37 while (x == FooA);38 while (y == BarD);39 while (a == name1::F1);40 while (z == name1::B2);41 while (a == b);42 while (a == c);43 while (b == c);44 while (B1 == name1::B2);45 while (B2 == name2::B1);46#ifndef MSABI47 while (x == AnonAA); // expected-warning {{comparison of constant 'AnonAA' (42) with expression of type 'Foo' is always false}}48 while (AnonBB == y); // expected-warning {{comparison of constant 'AnonBB' (45) with expression of type 'Bar' is always false}}49#endif50 while (AnonAA == AnonAB);51 while (AnonAB == AnonBA);52 while (AnonBB == AnonAA);53 54 while ((x) == FooA);55 while ((y) == BarD);56 while ((a) == name1::F1);57 while (z == (name1::B2));58 while (a == (b));59 while (a == (c));60 while ((b) == (c));61 while ((B1) == (name1::B2));62 while ((B2) == (name2::B1));63 64 while (((x)) == FooA);65 while ((y) == (BarD));66 while ((a) == (name1::F1));67 while (z == (name1::B2));68 while ((a) == ((((b)))));69 while (((a)) == (c));70 while ((b) == (((c))));71 while ((((((B1))))) == (((name1::B2))));72 while (B2 == ((((((name2::B1)))))));73 74 while (td == Anon1);75#ifndef MSABI76 while (td == AnonAA); // expected-warning {{comparison of constant 'AnonAA' (42) with expression of type 'TD' is always false}}77#endif78 79 while (B1 == B2); // expected-warning {{comparison of different enumeration types ('name1::Baz' and 'name2::Baz')}}80 while (name1::B2 == name2::B3); // expected-warning {{comparison of different enumeration types ('name1::Baz' and 'name2::Baz')}}81 while (z == name2::B2); // expected-warning {{comparison of different enumeration types ('Baz' and 'name2::Baz')}}82 83 while (((((B1)))) == B2); // expected-warning {{comparison of different enumeration types ('name1::Baz' and 'name2::Baz')}}84 while (name1::B2 == (name2::B3)); // expected-warning {{comparison of different enumeration types ('name1::Baz' and 'name2::Baz')}}85 while (z == ((((name2::B2))))); // expected-warning {{comparison of different enumeration types ('Baz' and 'name2::Baz')}}86 87 while ((((B1))) == (((B2)))); // expected-warning {{comparison of different enumeration types ('name1::Baz' and 'name2::Baz')}}88 while ((name1::B2) == (((name2::B3)))); // expected-warning {{comparison of different enumeration types ('name1::Baz' and 'name2::Baz')}}89 while ((((z))) == (name2::B2)); // expected-warning {{comparison of different enumeration types ('Baz' and 'name2::Baz')}}90 91 while (x == a); // expected-warning {{comparison of different enumeration types ('Foo' and 'name1::Foo')}}92 while (x == b); // expected-warning {{comparison of different enumeration types ('Foo' and 'oneFoo' (aka 'name1::Foo'))}}93 while (x == c); // expected-warning {{comparison of different enumeration types ('Foo' and 'twoFoo' (aka 'name1::Foo'))}}94 95 while (x == y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}96 while (x != y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}97 while (x >= y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}98 while (x <= y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}99 while (x > y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}100 while (x < y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}101 102 while (FooB == y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}103 while (FooB != y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}104 while (FooB >= y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}105 while (FooB <= y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}106 while (FooB > y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}107 while (FooB < y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}108 109 while (FooB == BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}110 while (FooB != BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}111 while (FooB >= BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}112 while (FooB <= BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}113 while (FooB > BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}114 while (FooB < BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}115 116 while (x == BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}117 while (x != BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}118 while (x >= BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}119 while (x <= BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}120 while (x > BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}121 while (x < BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}122 123 while (getFoo() == y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}124 while (getFoo() != y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}125 while (getFoo() >= y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}126 while (getFoo() <= y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}127 while (getFoo() > y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}128 while (getFoo() < y); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}129 130 while (getFoo() == BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}131 while (getFoo() != BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}132 while (getFoo() >= BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}133 while (getFoo() <= BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}134 while (getFoo() > BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}135 while (getFoo() < BarD); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}136 137 while (getFoo() == getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}138 while (getFoo() != getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}139 while (getFoo() >= getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}140 while (getFoo() <= getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}141 while (getFoo() > getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}142 while (getFoo() < getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}143 144 while (FooB == getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}145 while (FooB != getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}146 while (FooB >= getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}147 while (FooB <= getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}148 while (FooB > getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}149 while (FooB < getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}150 151 while (x == getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}152 while (x != getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}153 while (x >= getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}154 while (x <= getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}155 while (x > getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}156 while (x < getBar()); // expected-warning {{comparison of different enumeration types ('Foo' and 'Bar')}}157 158 159 160 while (y == x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}161 while (y != x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}162 while (y >= x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}163 while (y <= x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}164 while (y > x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}165 while (y < x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}166 167 while (y == FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}168 while (y != FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}169 while (y >= FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}170 while (y <= FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}171 while (y > FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}172 while (y < FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}173 174 while (BarD == FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}175 while (BarD != FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}176 while (BarD >= FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}177 while (BarD <= FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}178 while (BarD > FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}179 while (BarD <FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}180 181 while (BarD == x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}182 while (BarD != x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}183 while (BarD >= x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}184 while (BarD <= x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}185 while (BarD < x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}186 while (BarD > x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}187 188 while (y == getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}189 while (y != getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}190 while (y >= getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}191 while (y <= getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}192 while (y > getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}193 while (y < getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}194 195 while (BarD == getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}196 while (BarD != getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}197 while (BarD >= getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}198 while (BarD <= getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}199 while (BarD > getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}200 while (BarD < getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}201 202 while (getBar() == getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}203 while (getBar() != getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}204 while (getBar() >= getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}205 while (getBar() <= getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}206 while (getBar() > getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}207 while (getBar() < getFoo()); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}208 209 while (getBar() == FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}210 while (getBar() != FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}211 while (getBar() >= FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}212 while (getBar() <= FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}213 while (getBar() > FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}214 while (getBar() < FooB); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}215 216 while (getBar() == x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}217 while (getBar() != x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}218 while (getBar() >= x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}219 while (getBar() <= x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}220 while (getBar() > x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}221 while (getBar() < x); // expected-warning {{comparison of different enumeration types ('Bar' and 'Foo')}}222 223 while (td == FooA); // expected-warning {{comparison of different enumeration types ('TD' and 'Foo')}}224 while (td == BarD); // expected-warning {{comparison of different enumeration types ('TD' and 'Bar')}}225 while (name1::F1 == td); // expected-warning {{comparison of different enumeration types ('name1::Foo' and 'TD')}}226 while (name2::B1 == td); // expected-warning {{comparison of different enumeration types ('name2::Baz' and 'TD')}}227 while (td == a); // expected-warning {{comparison of different enumeration types ('TD' and 'name1::Foo')}}228 while (td == b); // expected-warning {{comparison of different enumeration types ('TD' and 'oneFoo' (aka 'name1::Foo'))}}229 while (td == c); // expected-warning {{comparison of different enumeration types ('TD' and 'twoFoo' (aka 'name1::Foo'))}}230 while (td == x); // expected-warning {{comparison of different enumeration types ('TD' and 'Foo')}}231 while (td == y); // expected-warning {{comparison of different enumeration types ('TD' and 'Bar')}}232 while (td == z); // expected-warning {{comparison of different enumeration types ('TD' and 'Baz')}}233 234 while (a == TD1); // expected-warning {{comparison of different enumeration types ('name1::Foo' and 'TD')}}235 while (b == TD2); // expected-warning {{comparison of different enumeration types ('oneFoo' (aka 'name1::Foo') and 'TD')}}236 while (c == TD1); // expected-warning {{comparison of different enumeration types ('twoFoo' (aka 'name1::Foo') and 'TD')}}237 while (x == TD2); // expected-warning {{comparison of different enumeration types ('Foo' and 'TD')}}238 while (y == TD1); // expected-warning {{comparison of different enumeration types ('Bar' and 'TD')}}239 while (z == TD2); // expected-warning {{comparison of different enumeration types ('Baz' and 'TD')}}240 241 switch (a) {242 case name1::F1: break;243 case name1::F3: break;244 case name2::B2: break; // expected-warning {{comparison of different enumeration types in switch statement ('name1::Foo' and 'name2::Baz')}}245 }246 247 switch (x) {248 case FooB: break;249 case FooC: break;250 case BarD: break; // expected-warning {{comparison of different enumeration types in switch statement ('Foo' and 'Bar')}}251 }252 253 switch(getBar()) {254 case BarE: break;255 case BarF: break;256 case FooA: break; // expected-warning {{comparison of different enumeration types in switch statement ('Bar' and 'Foo')}}257 }258 259 switch(x) {260 case AnonAA: break; // expected-warning {{case value not in enumerated type 'Foo'}}261 case FooA: break;262 case FooB: break;263 case FooC: break;264 }265 266 switch (td) {267 case TD1: break;268 case FooB: break; // expected-warning {{comparison of different enumeration types in switch statement ('TD' and 'Foo')}}269 case BarF: break; // expected-warning {{comparison of different enumeration types in switch statement ('TD' and 'Bar')}}270 // expected-warning@-1 {{case value not in enumerated type 'TD'}}271 case AnonAA: break; // expected-warning {{case value not in enumerated type 'TD'}}272 }273 274 switch (td) {275 case Anon1: break;276 case TD2: break;277 }278 279 switch (a) {280 case TD1: break; // expected-warning {{comparison of different enumeration types in switch statement ('name1::Foo' and 'TD')}}281 case TD2: break; // expected-warning {{comparison of different enumeration types in switch statement ('name1::Foo' and 'TD')}}282 case name1::F3: break;283 }284}285