gcc/testsuite/gcc.dg/c2x-attr-syntax-7.c

   1 /* Test C23 attribute syntax: use of __extension__ in C11 mode.  */
   2 /* { dg-do compile } */
   3 /* { dg-options "-std=c2x -pedantic-errors -Wc11-c2x-compat" } */
   4
   5 #define FOO ::
   6 #define BAR :
   7 #define JOIN(A, B) A/**/B
   8 #define JOIN2(A, B) A##B
   9
  10 typedef int [[__extension__ gnu::vector_size (4)]] g1;
  11 typedef int [[__extension__ gnu :: vector_size (4)]] g2;
  12 typedef int [[__extension__ gnu : : vector_size (4)]] g3;
  13 typedef int [[__extension__ gnu: :vector_size (4)]] g4;
  14 typedef int [[__extension__ gnu FOO vector_size (4)]] g5;
  15 typedef int [[__extension__ gnu BAR BAR vector_size (4)]] g6;
  16 typedef int [[__extension__ gnu :/**/: vector_size (4)]] g7;
  17 typedef int [[__extension__ gnu JOIN(:,:) vector_size (4)]] g8;
  18 typedef int [[__extension__ gnu :: vector_size (sizeof (void (*)(...)))]] g10;
  19 typedef int [[__extension__]] g11;
  20 typedef int [[__extension__,]] g12;
  21 typedef int [[__extension__, ,,,, ,, ,]] g13;
  22 [[__extension__ deprecated]] int g14 ();
  23 [[__extension__ nodiscard]] int g15 ();
  24 [[__extension__ noreturn]] void g16 ();
  25
  26 int
  27 cases (int x)
  28 {
  29   switch (x)
  30     {
  31     case 1:
  32     case 2:
  33     case 4:
  34       x += 1;
  35       [[__extension__ fallthrough]];
  36     case 19:
  37     case 33:
  38       x *= 2;
  39       [[fallthrough]];  /* { dg-warning {attributes before C23} } */
  40     case 99:
  41       return x;
  42
  43     default:
  44       return 0;
  45     }
  46 }
  47
  48 typedef int [[__extension__ vector_size (4)]] b1; /* { dg-error {'vector_size' attribute ignored} } */
  49 typedef int [[__extension__ __extension__]] b2; /* { dg-error {'extension' attribute ignored} } */
  50 typedef int [[__extension__ unknown_attribute]] b3; /* { dg-error {'unknown_attribute' attribute ignored} } */
  51 typedef int [[__extension__ gnu:vector_size(4)]] b4; /* { dg-error {expected '\]' before ':'} } */
  52 /* { dg-error {'gnu' attribute ignored} "" { target *-*-* } .-1 } */
  53 typedef int [[__extension__ gnu JOIN2(:,:) vector_size (4)]] b5;
  54 typedef int [[gnu::vector_size(4)]] b6; /* { dg-warning {attributes before C23} } */
  55 typedef int [[gnu : : vector_size(4)]] b7; /* { dg-error {expected '\]' before ':'} } */
  56 /* { dg-error {'gnu' attribute ignored} "" { target *-*-* } .-1 } */
  57 /* { dg-warning {attributes before C23} "" { target *-*-* } .-2 } */
  58 typedef int [[gnu : vector_size(4)]] b8; /* { dg-error {expected '\]' before ':'} } */
  59 /* { dg-error {'gnu' attribute ignored} "" { target *-*-* } .-1 } */
  60 /* { dg-warning {attributes before C23} "" { target *-*-* } .-2 } */