Home | History | Annotate | Download | only in Sema
      1 // RUN: %clang_cc1 -fsyntax-only -verify %s
      2 
      3 // Test checks that 'mode' attribute is handled correctly with enums, i. e. code
      4 //   1. "typedef enum { A } __attribute__((mode(HI))) T;" is accepted,
      5 //   2. "enum X __attribute__((mode(QI))) var;" forms a complete integer type.
      6 //   3. "enum { A } __attribute__((mode(V4SI))) var;" is not accepted (vector mode).
      7 
      8 typedef enum { E4 } EnumType;
      9 
     10 int main() {
     11   // Vector mode are not allowed with enums.
     12   typedef enum { E1 } __attribute__((mode(V4QI))) RejectedType1; // expected-error{{mode 'V4QI' is not supported for enumeration types}}
     13   // expected-warning@-1{{specifying vector types with the 'mode' attribute is deprecated}}
     14   typedef enum __attribute__((mode(V8HI))) { E2 } RejectedType2; // expected-error{{mode 'V8HI' is not supported for enumeration types}}
     15                                                                  // expected-warning@-1{{deprecated}}
     16   typedef enum E3 __attribute__((mode(V2SI))) RejectedType3; // expected-error{{mode 'V2SI' is not supported for enumeration types}}
     17                                                              // expected-warning@-1{{deprecated}}
     18   typedef EnumType __attribute__((mode(V4DI))) RejectedType4; // expected-error{{mode 'V4DI' is not supported for enumeration types}}
     19                                                               // expected-warning@-1{{deprecated}}
     20   EnumType v1 __attribute__((mode(V4QI))); // expected-error{{mode 'V4QI' is not supported for enumeration types}}
     21                                            // expected-warning@-1{{deprecated}}
     22   enum __attribute__((mode(V8HI))) { E5 } v2; // expected-error{{mode 'V8HI' is not supported for enumeration types}}
     23                                               // expected-warning@-1{{deprecated}}
     24 
     25   // Incomplete enums without mode attribute are not allowed.
     26   typedef enum Y IncompleteYType; // expected-note{{forward declaration of 'enum Y'}}
     27 
     28   enum X a1; // expected-error{{variable has incomplete type 'enum X'}}
     29              // expected-note@-1{{forward declaration of 'enum X'}}
     30   IncompleteYType a2; // expected-error{{variable has incomplete type 'IncompleteYType' (aka 'enum Y')}}
     31 
     32   // OK with 'mode' attribute.
     33   typedef enum Y __attribute__((mode(QI))) CompleteYType1;
     34   typedef enum Y CompleteYType2 __attribute__((mode(HI)));
     35   typedef enum { A1, B1 } __attribute__((mode(QI))) CompleteType3;
     36   typedef enum { A2, B2 } CompleteType4 __attribute__((mode(QI)));
     37   typedef enum __attribute__((mode(QI))) { A3, B3 } CompleteType5;
     38 
     39   enum X __attribute__((mode(QI))) a3;
     40   enum X a4 __attribute__((mode(HI)));
     41   IncompleteYType __attribute__((mode(QI))) a5;
     42   IncompleteYType a6 __attribute__((mode(HI)));
     43   CompleteYType1 a7;
     44   CompleteYType2 a8;
     45   CompleteType3 a9;
     46   CompleteType4 a10;
     47   CompleteType5 a11;
     48   enum __attribute__((mode(QI))) { A4, B4 } a12;
     49 
     50   return 0;
     51 }
     52