1  /* PR middle-end/84725 - enable attribute nonstring for all narrow character
       2     types
       3     Verify that using attribute nonstring with all three narrow character
       4     types is accepted and using arrays and pointers to characters of all
       5     three types (including their qualified forms) declared with the
       6     attributes doesn't trigger -Wstringop-truncation warnings.
       7     { dg-do compile }
       8     { dg-options "-O -Wall -Wstringop-truncation" } */
       9  
      10  #if __cplusplus
      11  extern "C"
      12  #endif
      13  char* strncpy (char*, const char*, __SIZE_TYPE__);
      14  
      15  #define NONSTR __attribute__ ((nonstring))
      16  
      17  #define S "1234"
      18  
      19  struct Arrays
      20  {
      21    char NONSTR a[4];
      22    signed char NONSTR b[4];
      23    unsigned char NONSTR c[4];
      24  };
      25  
      26  void test_arrays (struct Arrays *p, const char *s)
      27  {
      28    strncpy (p->a, s, sizeof p->a);
      29    strncpy ((char*)p->b, s, sizeof p->b);
      30    strncpy ((char*)p->c, s, sizeof p->c);
      31  }
      32  
      33  struct Pointers
      34  {
      35    char NONSTR *p;
      36    signed char NONSTR *q;
      37    unsigned char NONSTR *r;
      38  };
      39  
      40  void test_pointers (struct Pointers *p)
      41  {
      42    strncpy (p->p, S, sizeof S - 1);
      43    strncpy ((char*)p->q, S, sizeof S - 1);
      44    strncpy ((char*)p->r, S, sizeof S - 1);
      45  }
      46  
      47  struct ConstArrays
      48  {
      49    const char NONSTR a[4];
      50    const signed char NONSTR b[4];
      51    const unsigned char NONSTR c[4];
      52  };
      53  
      54  void test_const_arrays (struct ConstArrays *p, const char *s)
      55  {
      56    strncpy ((char*)p->a, s, sizeof p->a);
      57    strncpy ((char*)p->b, s, sizeof p->b);
      58    strncpy ((char*)p->c, s, sizeof p->c);
      59  }
      60  
      61  struct ConstPointers
      62  {
      63    const char NONSTR *p;
      64    const signed char NONSTR *q;
      65    const unsigned char NONSTR *r;
      66  };
      67  
      68  void test_const_pointers (struct ConstPointers *p)
      69  {
      70    strncpy ((char*)p->p, S, sizeof S - 1);
      71    strncpy ((char*)p->q, S, sizeof S - 1);
      72    strncpy ((char*)p->r, S, sizeof S - 1);
      73  }
      74  
      75  struct VolatileArrays
      76  {
      77    volatile char NONSTR a[4];
      78    volatile signed char NONSTR b[4];
      79    volatile unsigned char NONSTR c[4];
      80  };
      81  
      82  void test_volatile_arrays (struct VolatileArrays *p, const char *s)
      83  {
      84    strncpy ((char*)p->a, s, sizeof p->a);
      85    strncpy ((char*)p->b, s, sizeof p->b);
      86    strncpy ((char*)p->c, s, sizeof p->c);
      87  }
      88  
      89  struct VolatilePointers
      90  {
      91    volatile char NONSTR *p;
      92    volatile signed char NONSTR *q;
      93    volatile unsigned char NONSTR *r;
      94  };
      95  
      96  void test_volatile_pointers (struct VolatilePointers *p)
      97  {
      98    strncpy ((char*)p->p, S, sizeof S - 1);
      99    strncpy ((char*)p->q, S, sizeof S - 1);
     100    strncpy ((char*)p->r, S, sizeof S - 1);
     101  }
     102  
     103  struct ConstVolatileArrays
     104  {
     105    const volatile char NONSTR a[4];
     106    const volatile signed char NONSTR b[4];
     107    const volatile unsigned char NONSTR c[4];
     108  };
     109  
     110  void test_const_volatile_arrays (struct ConstVolatileArrays *p, const char *s)
     111  {
     112    strncpy ((char*)p->a, s, sizeof p->a);
     113    strncpy ((char*)p->b, s, sizeof p->b);
     114    strncpy ((char*)p->c, s, sizeof p->c);
     115  }
     116  
     117  struct ConstVolatilePointers
     118  {
     119    const volatile char NONSTR *p;
     120    const volatile signed char NONSTR *q;
     121    const volatile unsigned char NONSTR *r;
     122  };
     123  
     124  void test_const_volatile_pointers (struct ConstVolatilePointers *p)
     125  {
     126    strncpy ((char*)p->p, S, sizeof S - 1);
     127    strncpy ((char*)p->q, S, sizeof S - 1);
     128    strncpy ((char*)p->r, S, sizeof S - 1);
     129  }
     130  
     131  /* { dg-prune-output "-Wdiscarded-qualifiers" } */