1  /* PR tree-optimization/78586 */
       2  
       3  void
       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
      13  main ()
      14  {
      15    foo (1000);
      16    return 0;
      17  }