gcc/testsuite/gcc.dg/attr-unavailable-1.c

   1 /* Test __attribute__ ((unavailable)) */
   2 /* { dg-do compile } */
   3 /* { dg-options "" } */
   4
   5 typedef int INT1 __attribute__((unavailable));
   6 typedef INT1 INT2 __attribute__ ((__unavailable__));
   7
   8 typedef INT1 INT1a;                     /* { dg-error "'INT1' is unavailable" "" } */
   9 typedef INT1 INT1b __attribute__ ((unavailable));
  10
  11 INT1 should_be_unavailable;             /* { dg-error "'INT1' is unavailable" "" } */
  12 INT1a should_not_be_unavailable;
  13
  14 INT1 f1(void) __attribute__ ((unavailable));
  15 INT1 f2(void) { return 0; }             /* { dg-error "'INT1' is unavailable" "" } */
  16
  17 INT2 f3(void) __attribute__ ((__unavailable__));
  18 INT2 f4(void) { return 0; }             /* { dg-error "'INT2' is unavailable" "" } */
  19 int f5(INT2 x);                         /* { dg-error "'INT2' is unavailable" "" } */
  20 int f6(INT2 x) __attribute__ ((__unavailable__)); /* { dg-error "'INT2' is unavailable" "" } */
  21
  22 typedef enum {red, green, blue} Color __attribute__((unavailable));
  23
  24 int g1;
  25 int g2 __attribute__ ((unavailable));
  26 int g3 __attribute__ ((__unavailable__));
  27 Color k;                                /* { dg-error "'Color' is unavailable" "" } */
  28
  29 typedef struct {
  30   int field1;
  31   int field2 __attribute__ ((unavailable));
  32   int field3;
  33   int field4 __attribute__ ((__unavailable__));
  34   union {
  35     int field5;
  36     int field6 __attribute__ ((unavailable));
  37   } u1;
  38   int field7:1;
  39   int field8:1 __attribute__ ((unavailable));
  40   union {
  41     int field9;
  42     int field10;
  43   } u2 __attribute__ ((unavailable));
  44 } S1;
  45
  46 int func1()
  47 {
  48    INT1 w;                              /* { dg-error "'INT1' is unavailable" "" } */
  49    int x __attribute__ ((unavailable));
  50    int y __attribute__ ((__unavailable__));
  51    int z;
  52    int (*pf)() = f1;                    /* { dg-error "'f1' is unavailable" "" } */
  53
  54    z = w + x + y + g1 + g2 + g3;        /* { dg-error "'x' is unavailable" "" } */
  55                                         /* { dg-error "'y' is unavailable" "y" { target *-*-* } .-1 } */
  56                                         /* { dg-error "'g2' is unavailable" "g2" { target *-*-* } .-2 } */
  57                                         /* { dg-error "'g3' is unavailable" "g3" { target *-*-* } .-3 } */
  58    return f1();                         /* { dg-error "'f1' is unavailable" "f1" } */
  59 }
  60
  61 int func2(S1 *p)
  62 {
  63   S1 lp;
  64
  65   if (p->field1)
  66      return p->field2;                  /* { dg-error "'field2' is unavailable" "" } */
  67   else if (lp.field4)                   /* { dg-error "'field4' is unavailable" "" } */
  68      return p->field3;
  69
  70   p->u1.field5 = g1 + p->field7;
  71   p->u2.field9;                         /* { dg-error "'u2' is unavailable" "" } */
  72   return p->u1.field6 + p->field8;      /* { dg-error "'field6' is unavailable" "" } */
  73                                         /* { dg-error "'field8' is unavailable" "field8" { target *-*-* } .-1 } */
  74 }
  75
  76 struct SS1 {
  77   int x;
  78   INT1 y;                               /* { dg-error "'INT1' is unavailable" "" } */
  79 } __attribute__ ((unavailable));
  80
  81 struct SS1 *p1;                         /* { dg-error "'SS1' is unavailable" "" } */
  82
  83 struct __attribute__ ((__unavailable__)) SS2 {
  84   int x;
  85   INT1 y;                               /* { dg-error "'INT1' is unavailable" "" } */
  86 };
  87
  88 struct SS2 *p2;                         /* { dg-error "'SS2' is unavailable" "" } */