1  /* PR c/78666 - conflicting attribute alloc_size accepted
       2     { dg-do compile }
       3     { dg-options "-Wall" } */
       4  
       5  #define A(...) __attribute__ ((alloc_size (__VA_ARGS__)))
       6  
       7  A (1) char* f2_1 (int, int);
       8  A (1) A (1) char* f2_1 (int, int);
       9  
      10  A (1) char* f2_1 (int, int);            // { dg-message "previous declaration here" }
      11  
      12  A (2) char* f2_1 (int, int);            // { dg-warning "ignoring attribute 'alloc_size \\\(2\\\)' because it conflicts with previous 'alloc_size \\\(1\\\)'" }
      13  
      14  
      15  A (2) char* f2_2 (int, int);
      16  A (2) char* f2_2 (int, int);            // { dg-message "previous declaration here" }
      17  
      18  A (1) char* f2_2 (int, int);            // { dg-warning "ignoring attribute 'alloc_size \\\(1\\\)' because it conflicts with previous 'alloc_size \\\(2\\\)'" }
      19  
      20  
      21  A (1) char* f3_1 (int, int, int);
      22  A (1) char* f3_1 (int, int, int);       // { dg-message "previous declaration here" }
      23  
      24  A (2) char* f3_1 (int, int, int);       // { dg-warning "ignoring attribute 'alloc_size \\\(2\\\)' because it conflicts with previous 'alloc_size \\\(1\\\)'" }
      25  A (3) char* f3_1 (int, int, int);       // { dg-warning "ignoring attribute 'alloc_size \\\(3\\\)' because it conflicts with previous 'alloc_size \\\(1\\\)'" }
      26  A (1, 2) char* f3_1 (int, int, int);    // { dg-warning "ignoring attribute 'alloc_size \\\(1, 2\\\)' because it conflicts with previous 'alloc_size \\\(1\\\)'" }
      27  A (1, 3) char* f3_1 (int, int, int);    // { dg-warning "ignoring attribute 'alloc_size \\\(1, 3\\\)' because it conflicts with previous 'alloc_size \\\(1\\\)'" }
      28  
      29  
      30  typedef A (2, 3) char* F3_2_3 (int, int, int);
      31  typedef A (2, 3) char* F3_2_3 (int, int, int);
      32  typedef A (2, 3) A (2, 3) char* F3_2_3 (int, int, int);
      33  
      34  typedef A (1) char* F3_2_3 (int, int, int);   // { dg-warning "ignoring attribute 'alloc_size \\\(1\\\)' because it conflicts with previous 'alloc_size \\\(2, 3\\\)'" }