1  /* PR middle-end/81824 - Warn for missing attributes with function aliases
       2     { dg-do compile }
       3     { dg-require-alias "" }
       4     { dg-options "-Wall" } */
       5  
       6  #define ATTR(list)   __attribute__ (list)
       7  
       8  
       9  int alias_no_const (void);
      10  
      11  ATTR ((const)) int
      12  target_const (void)             /* { dg-message ".alias_no_const. target declared here" } */
      13  { return 0; }
      14  
      15  ATTR ((alias ("target_const"))) int
      16  alias_no_const (void);          /* { dg-warning ".alias_no_const. specifies less restrictive attribute than its target .target_const.: .const." } */
      17  
      18  
      19  ATTR ((alloc_size (1), malloc)) void*
      20  target_malloc (int n)           /* { dg-message ".alias_no_malloc. target declared here" } */
      21  { return __builtin_malloc (n); }
      22  
      23  ATTR ((alias ("target_malloc"))) void*
      24  alias_no_malloc (int);          /* { dg-warning ".alias_no_malloc. specifies less restrictive attributes than its target .target_malloc.: .alloc_size., .malloc." } */
      25  
      26  
      27  ATTR ((leaf)) int
      28  target_leaf (void)              /* { dg-message ".alias_no_leaf. target declared here" } */
      29  { return 0; }
      30  
      31  ATTR ((alias ("target_leaf"))) int
      32  alias_no_leaf (void);           /* { dg-warning ".alias_no_leaf. specifies less restrictive attribute than its target .target_leaf.: .leaf." } */
      33  
      34  
      35  /* Verify that attributes noclone, noinline, and noipa on the target
      36     don't cause a warning for aliases without the attribute.  */
      37  
      38  ATTR ((noclone)) int
      39  target_noclone (void)
      40  { return 0; }
      41  
      42  ATTR ((alias ("target_noclone"))) int
      43  alias_no_noclone (void);
      44  
      45  
      46  ATTR ((noipa)) int
      47  target_noipa (void)
      48  { return 0; }
      49  
      50  ATTR ((alias ("target_noipa"))) int
      51  alias_no_noipa (void);
      52  
      53  
      54  ATTR ((noinline)) int
      55  target_noinline (void)
      56  { return 0; }
      57  
      58  ATTR ((alias ("target_noinline"))) int
      59  alias_no_noinline (void);
      60  
      61  
      62  ATTR ((nothrow)) int
      63  target_nothrow (void)           /* { dg-message ".alias_no_nothrow. target declared here" } */
      64  { return 0; }
      65  
      66  ATTR ((alias ("target_nothrow"))) int
      67  alias_no_nothrow (void);        /* { dg-warning ".alias_no_nothrow. specifies less restrictive attribute than its target .target_nothrow.: .nothrow." } */
      68  
      69  
      70  /* Verify that attribute weak on the target doesn't cause and isn't
      71     mentioned in a warning for aliases without the attribute.  */
      72  
      73  ATTR ((weak)) int
      74  target_weak (void)
      75  { return 0; }
      76  
      77  ATTR ((alias ("target_weak"))) int
      78  alias_no_weak (void);
      79  
      80  
      81  ATTR ((nothrow, weak)) int
      82  target_nothrow_weak (void)      /* { dg-message ".alias_nothrow_no_weak. target declared here" } */
      83  { return 0; }
      84  
      85  ATTR ((alias ("target_nothrow_weak"))) int
      86  alias_nothrow_no_weak (void);        /* { dg-warning ".alias_nothrow_no_weak. specifies less restrictive attribute than its target .target_nothrow_weak.: .nothrow." } */
      87  
      88  
      89  /* Verify that __typeof__ doesn't include attributes.  */
      90  
      91  ATTR ((cold)) int
      92  target_cold (void)
      93  { return 0; }
      94  
      95  __typeof__ (target_cold) ATTR ((alias ("target_cold")))
      96  alias_cold;                   /* { dg-warning ".alias_cold. specifies less restrictive attribute than its target .target_cold.: .cold." } */