1  /* PR c/77520 - wrong value for extended ASCII characters in -Wformat message
       2     Verify that characters in the extended ASCII range are quoted and not
       3     allowed to be printed raw.  */
       4  /* { dg-do compile } */
       5  /* { dg-options "-Wformat" } */
       6  
       7  void f (void)
       8  {
       9    __builtin_printf ("%\x80");   /* { dg-warning "unknown conversion type character .\\\\x80. in format" } */
      10  }