1  /* Verify __builtin_has_attribute error handling.
       2     { dg-do compile }
       3     { dg-options "-Wall -ftrack-macro-expansion=0" }  */
       4  
       5  #define ATTR(list) __attribute__ (list)
       6  
       7  void fnone (void);
       8  
       9  ATTR ((aligned)) void faligned (void);
      10  ATTR ((aligned (8))) void faligned_8 (void);
      11  
      12  #define has_attr(x, attr)   __builtin_has_attribute (x, attr)
      13  
      14  #define A(expect, sym, attr)						\
      15    typedef int Assert [1 - 2 * !(has_attr (sym, attr) == expect)]
      16  
      17  
      18  int b;
      19  
      20  /* Exercise syntactically invalid arguments.  */
      21  
      22  void test_bad_arguments (void)
      23  {
      24    b = __builtin_has_attribute ();            /* { dg-error "expected \(primary-\)?expression|expected .,." } */
      25    b = __builtin_has_attribute (1);           /* { dg-error "expected .,." } */
      26    b = __builtin_has_attribute (void);        /* { dg-error "expected .,." } */
      27    b = __builtin_has_attribute (foo);         /* { dg-error ".foo. \(undeclared|was not declared\)" } */
      28    /* { dg-error "expected .,." "missing comma" { target *-*-* } .-1 } */
      29  
      30    /* Verify the implementationm doesn't ICE.  */
      31    b = __builtin_has_attribute (foobar, aligned);  /* { dg-error ".foobar. \(undeclared|was not declared\)" } */
      32  
      33    b = __builtin_has_attribute (1, 2, 3);     /* { dg-error "expected identifier" } */
      34    b = __builtin_has_attribute (int, 1 + 2);  /* { dg-error "expected identifier" } */
      35    b = __builtin_has_attribute (2, "aligned"); /* { dg-error "expected identifier" } */
      36  }
      37  
      38  /* Exercise syntactically valid arguments applied in invalid ways.  */
      39  
      40  void test_invalid_arguments (void)
      41  {
      42    b = has_attr (fnone, align);        /* { dg-error "unknown attribute .align." } */
      43    b = has_attr (b, aligned__);        /* { dg-error "unknown attribute .aligned__." } */
      44    b = has_attr (fnone, aligned (3));  /* { dg-error "alignment .3. is not a positive power of 2" } */
      45  
      46    /* Verify the out-of-bounds arguments are diagnosed and the result
      47       of the built-in is false.  */
      48    A (0, fnone, alloc_size (1));       /* { dg-warning "\\\[-Wattributes]" } */
      49    A (0, fnone, alloc_size (2));       /* { dg-warning "\\\[-Wattributes]" } */
      50  
      51    A (0, int, alloc_size (1));         /* { dg-warning ".alloc_size. attribute only applies to function types" } */
      52  
      53    int i = 1;
      54    A (0, i, alloc_size (1));           /* { dg-warning ".alloc_size. attribute only applies to function types" } */
      55  
      56    A (0, faligned_8, aligned (i));     /* { dg-error "alignment is not an integer constant" } */
      57  
      58    typedef ATTR ((aligned (2))) char CA2;
      59    b = has_attr (CA2[2], aligned);     /* { dg-error "alignment of array elements is greater than element size" } */
      60  }