clang/test/Sema/attr-mode-enums.c

   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(void) {
  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 }