1 /* PR tree-optimization/78586 */
2 
3 void
foo(unsigned long x)4 foo (unsigned long x)
5 {
6   char a[30];
7   unsigned long b = __builtin_sprintf (a, "%lu", x);
8   if (b != 4)
9     __builtin_abort ();
10 }
11 
12 int
main()13 main ()
14 {
15   foo (1000);
16   return 0;
17 }
18