1  /* { dg-do compile } */
       2  /* { dg-options "-march=bonnell -Os -fPIC -fschedule-insns -w" } */
       3  
       4  void
       5  serialize_collection (char *ptr, int a, int need_owner)
       6  {
       7    if (need_owner)
       8      __builtin_sprintf(ptr, "%d:%d", 0, a);
       9    else
      10      {
      11        static char buff[32];
      12  
      13        __builtin_sprintf(buff, "%d:%d", a >> 32, a);
      14        __builtin_sprintf(ptr, "%d:%d:\"%s\"", 0, 0, buff);
      15      }
      16  }