1  /* Test C11 _Generic.  Valid uses.  */
       2  /* { dg-do run } */
       3  /* { dg-options "-std=c11 -pedantic-errors" } */
       4  
       5  _Noreturn extern void exit (int);
       6  _Noreturn extern void abort (void);
       7  
       8  void
       9  check (int n)
      10  {
      11    if (n)
      12      abort ();
      13  }
      14  
      15  int
      16  main (void)
      17  {
      18    int n = 0;
      19  
      20    check (_Generic (n++, int: 0));
      21    /* _Generic should not evaluate its argument.  */
      22    check (n);
      23  
      24    check (_Generic (n, double: n++, default: 0));
      25    check (n);
      26  
      27    /* Qualifiers are removed for the purpose of type matching.  */
      28    const int cn = 0;
      29    check (_Generic (cn, int: 0, default: n++));
      30    check (n);
      31    check (_Generic ((const int) n, int: 0, default: n++));
      32    check (n);
      33  
      34    /* Arrays decay to pointers.  */
      35    int a[1];
      36    const int ca[1];
      37    check (_Generic (a, int *: 0, const int *: n++));
      38    check (n);
      39    check (_Generic (ca, const int *: 0, int *: n++));
      40    check (n);
      41  
      42    /* Functions decay to pointers.  */
      43    extern void f (void);
      44    check (_Generic (f, void (*) (void): 0, default: n++));
      45    check (n);
      46  
      47    /* _Noreturn is not part of the function type.  */
      48    check (_Generic (&abort, void (*) (void): 0, default: n++));
      49    check (n);
      50  
      51    /* Integer promotions do not occur.  */
      52    short s;
      53    check (_Generic (s, short: 0, int: n++));
      54    check (n);
      55  
      56    exit (0);
      57  }