gcc/testsuite/gcc.dg/pr77520.c

   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 }