Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic |
Chris Lattner | ac60968 | 2007-08-28 06:15:15 +0000 | [diff] [blame] | 2 | enum e {A, |
| 3 | B = 42LL << 32, // expected-warning {{ISO C restricts enumerator values to range of 'int'}} |
| 4 | C = -4, D = 12456 }; |
| 5 | |
| 6 | enum f { a = -2147483648, b = 2147483647 }; // ok. |
| 7 | |
| 8 | enum g { // too negative |
| 9 | c = -2147483649, // expected-warning {{ISO C restricts enumerator values to range of 'int'}} |
| 10 | d = 2147483647 }; |
| 11 | enum h { e = -2147483648, // too pos |
Douglas Gregor | 19c1525 | 2010-02-17 22:40:11 +0000 | [diff] [blame] | 12 | f = 2147483648, // expected-warning {{ISO C restricts enumerator values to range of 'int'}} |
| 13 | i = 0xFFFF0000 // expected-warning {{too large}} |
Chris Lattner | ac60968 | 2007-08-28 06:15:15 +0000 | [diff] [blame] | 14 | }; |
| 15 | |
| 16 | // minll maxull |
| 17 | enum x // expected-warning {{enumeration values exceed range of largest integer}} |
| 18 | { y = -9223372036854775807LL-1, // expected-warning {{ISO C restricts enumerator values to range of 'int'}} |
| 19 | z = 9223372036854775808ULL }; // expected-warning {{ISO C restricts enumerator values to range of 'int'}} |
| 20 | |
| 21 | int test() { |
| 22 | return sizeof(enum e) ; |
| 23 | } |
| 24 | |
Douglas Gregor | 275a369 | 2009-03-10 23:43:53 +0000 | [diff] [blame] | 25 | enum gccForwardEnumExtension ve; // expected-warning{{ISO C forbids forward references to 'enum' types}} \ |
| 26 | // expected-error{{tentative definition has type 'enum gccForwardEnumExtension' that is never completed}} \ |
| 27 | // expected-note{{forward declaration of 'enum gccForwardEnumExtension'}} |
Steve Naroff | 67c49e8 | 2008-01-16 23:54:22 +0000 | [diff] [blame] | 28 | |
| 29 | int test2(int i) |
| 30 | { |
Douglas Gregor | a03aca8 | 2009-03-10 21:58:27 +0000 | [diff] [blame] | 31 | ve + i; // expected-error{{invalid operands to binary expression}} |
Steve Naroff | 67c49e8 | 2008-01-16 23:54:22 +0000 | [diff] [blame] | 32 | } |
Chris Lattner | 14943b9 | 2008-07-03 03:30:58 +0000 | [diff] [blame] | 33 | |
| 34 | // PR2020 |
Chris Lattner | 5f4a682 | 2008-11-23 23:12:31 +0000 | [diff] [blame] | 35 | union u0; // expected-note {{previous use is here}} |
| 36 | enum u0 { U0A }; // expected-error {{use of 'u0' with tag type that does not match previous declaration}} |
Chris Lattner | 14943b9 | 2008-07-03 03:30:58 +0000 | [diff] [blame] | 37 | |
Chris Lattner | 834a72a | 2008-07-25 23:18:17 +0000 | [diff] [blame] | 38 | |
| 39 | // rdar://6095136 |
| 40 | extern enum some_undefined_enum ve2; // expected-warning {{ISO C forbids forward references to 'enum' types}} |
| 41 | |
| 42 | void test4() { |
| 43 | for (; ve2;) // expected-error {{statement requires expression of scalar type}} |
| 44 | ; |
Chris Lattner | d67cd9e | 2008-07-25 23:41:08 +0000 | [diff] [blame] | 45 | (_Bool)ve2; // expected-error {{arithmetic or pointer type is required}} |
Chris Lattner | 834a72a | 2008-07-25 23:18:17 +0000 | [diff] [blame] | 46 | |
Daniel Dunbar | 4dabe96 | 2009-08-01 06:07:15 +0000 | [diff] [blame] | 47 | for (; ;ve2) // expected-warning {{expression result unused}} |
Chris Lattner | 834a72a | 2008-07-25 23:18:17 +0000 | [diff] [blame] | 48 | ; |
| 49 | (void)ve2; |
Chris Lattner | d67cd9e | 2008-07-25 23:41:08 +0000 | [diff] [blame] | 50 | ve2; // expected-warning {{expression result unused}} |
Chris Lattner | 834a72a | 2008-07-25 23:18:17 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Chris Lattner | be89909 | 2008-07-26 19:15:11 +0000 | [diff] [blame] | 53 | // PR2416 |
| 54 | enum someenum {}; // expected-warning {{use of empty enum extension}} |
| 55 | |
Daniel Dunbar | 45e52e1 | 2008-08-07 16:22:45 +0000 | [diff] [blame] | 56 | // <rdar://problem/6093889> |
Chris Lattner | 5f4a682 | 2008-11-23 23:12:31 +0000 | [diff] [blame] | 57 | enum e0 { // expected-note {{previous definition is here}} |
Douglas Gregor | 4ec339f | 2009-01-19 19:26:10 +0000 | [diff] [blame] | 58 | E0 = sizeof(enum e0 { E1 }), // expected-error {{nested redefinition}} |
Daniel Dunbar | 45e52e1 | 2008-08-07 16:22:45 +0000 | [diff] [blame] | 59 | }; |
Eli Friedman | e9a0f43 | 2008-12-08 02:21:03 +0000 | [diff] [blame] | 60 | |
| 61 | // PR3173 |
| 62 | enum { PR3173A, PR3173B = PR3173A+50 }; |
Douglas Gregor | 7df7b6b | 2008-12-15 16:32:14 +0000 | [diff] [blame] | 63 | |
| 64 | // PR2753 |
| 65 | void foo() { |
| 66 | enum xpto; // expected-warning{{ISO C forbids forward references to 'enum' types}} |
| 67 | enum xpto; // expected-warning{{ISO C forbids forward references to 'enum' types}} |
| 68 | } |
Douglas Gregor | 8158f69 | 2009-01-17 02:55:50 +0000 | [diff] [blame] | 69 | |
| 70 | // <rdar://problem/6503878> |
| 71 | typedef enum { X = 0 }; // expected-warning{{typedef requires a name}} |
Douglas Gregor | 4ec339f | 2009-01-19 19:26:10 +0000 | [diff] [blame] | 72 | |
| 73 | |
| 74 | enum NotYetComplete { // expected-note{{definition of 'enum NotYetComplete' is not complete until the closing '}'}} |
| 75 | NYC1 = sizeof(enum NotYetComplete) // expected-error{{invalid application of 'sizeof' to an incomplete type 'enum NotYetComplete'}} |
| 76 | }; |
Douglas Gregor | 80711a2 | 2009-03-06 18:34:03 +0000 | [diff] [blame] | 77 | |
| 78 | /// PR3688 |
| 79 | struct s1 { |
| 80 | enum e1 (*bar)(void); // expected-warning{{ISO C forbids forward references to 'enum' types}} |
| 81 | }; |
| 82 | |
| 83 | enum e1 { YES, NO }; |
| 84 | |
| 85 | static enum e1 badfunc(struct s1 *q) { |
| 86 | return q->bar(); |
| 87 | } |
John McCall | 64f7e25 | 2010-01-13 22:07:44 +0000 | [diff] [blame] | 88 | |
| 89 | |
| 90 | // Make sure we don't a.k.a. anonymous enums. |
| 91 | typedef enum { |
| 92 | an_enumerator = 20 |
| 93 | } an_enum; |
Douglas Gregor | 08a4190 | 2010-04-09 17:53:29 +0000 | [diff] [blame] | 94 | char * s = (an_enum) an_enumerator; // expected-warning {{incompatible integer to pointer conversion initializing 'char *' with an expression of type 'an_enum'}} |
Douglas Gregor | 677e4fe | 2010-02-01 23:36:03 +0000 | [diff] [blame] | 95 | |
| 96 | // PR4515 |
| 97 | enum PR4515 {PR4515a=1u,PR4515b=(PR4515a-2)/2}; |
| 98 | int CheckPR4515[PR4515b==0?1:-1]; |