1  /* Test C11 _Generic.  Error cases.  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-std=c11 -pedantic-errors" } */
       4  
       5  struct incomplete;
       6  
       7  void
       8  f (int n)
       9  {
      10    /* Multiple 'default's.  */
      11    _Generic (n, default: 1, default: 2); /* { dg-error "duplicate .*default.* case" } */
      12  
      13    /* Variably-modified type not ok.  */
      14    _Generic (n, int[n]: 0, default: 1);	/* { dg-error "variable length type" } */
      15    /* Type must be complete.  */
      16    _Generic (n, struct incomplete: 0, default: 1); /* { dg-error "incomplete type" } */
      17    _Generic (n, void: 0, default: 1); /* { dg-error "incomplete type" } */
      18  
      19    /* Type must be object type.  */
      20    _Generic (n, void (void): 0, default: 1); /* { dg-error "function type" } */
      21  
      22    /* Two compatible types in association list.  */
      23    _Generic (&n, int: 5, signed int: 7, default: 23); /* { dg-error "two compatible types" } */
      24  
      25    /* No matching association.  */
      26    _Generic (n, void *: 5);	/* { dg-error "not compatible with any association" } */
      27  }