1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  typedef __SIZE_TYPE__ size_t;
       5  
       6  char dst[1024];
       7  
       8  void
       9  safe1 (size_t len)
      10  {
      11    len = len > sizeof (dst) ? sizeof (dst) : len;
      12    len = len < sizeof (dst) / 2 ? sizeof (dst) / 2 : len;
      13  
      14    __builtin_snprintf (dst, len, "hello");
      15    __builtin_snprintf (dst + 5, len, "%s", " world");
      16  }
      17  
      18  /* { dg-final { scan-assembler-not "snprintf" } } */