test_formats ()
{
  gchar * D.4967;
  char buffer[1024];
  gsize a;

  try
    {
      a = 1;
      sprintf (&buffer, "%lu", a);
      D.4967 = 0B;
      return D.4967;
    }
  finally
    {
      buffer = {CLOBBER};
    }
}


sprintf (char * restrict __s, const char * restrict __fmt)
{
  int D.4970;
  long unsigned int D.4971;

  D.4971 = __builtin_object_size (__s, 1);
  D.4970 = __builtin___sprintf_chk (__s, 1, D.4971, __fmt, __builtin_va_arg_pack ());
  return D.4970;
}


test_ptrconv ()
{
  long int D.4973;
  long int ptr.0;
  gchar * D.4977;
  long unsigned int D.4986;
  int iv;
  int iv2;
  unsigned int uv;
  unsigned int uv2;
  void * ptr;

  iv = 2147483647;
  D.4973 = (long int) iv;
  ptr = (void *) D.4973;
  ptr.0 = (long int) ptr;
  iv2 = (int) ptr.0;
  if (iv != iv2) goto <D.4975>; else goto <D.4976>;
  <D.4975>:
  D.4977 = FAILED ("int to pointer and back conversions fail %d != %d", iv, iv2);
  return D.4977;
  <D.4976>:
  iv = -2147483648;
  D.4973 = (long int) iv;
  ptr = (void *) D.4973;
  ptr.0 = (long int) ptr;
  iv2 = (int) ptr.0;
  if (iv != iv2) goto <D.4978>; else goto <D.4979>;
  <D.4978>:
  D.4977 = FAILED ("int to pointer and back conversions fail %d != %d", iv, iv2);
  return D.4977;
  <D.4979>:
  iv = 1;
  D.4973 = (long int) iv;
  ptr = (void *) D.4973;
  ptr.0 = (long int) ptr;
  iv2 = (int) ptr.0;
  if (iv != iv2) goto <D.4980>; else goto <D.4981>;
  <D.4980>:
  D.4977 = FAILED ("int to pointer and back conversions fail %d != %d", iv, iv2);
  return D.4977;
  <D.4981>:
  iv = -1;
  D.4973 = (long int) iv;
  ptr = (void *) D.4973;
  ptr.0 = (long int) ptr;
  iv2 = (int) ptr.0;
  if (iv != iv2) goto <D.4982>; else goto <D.4983>;
  <D.4982>:
  D.4977 = FAILED ("int to pointer and back conversions fail %d != %d", iv, iv2);
  return D.4977;
  <D.4983>:
  iv = 0;
  D.4973 = (long int) iv;
  ptr = (void *) D.4973;
  ptr.0 = (long int) ptr;
  iv2 = (int) ptr.0;
  if (iv != iv2) goto <D.4984>; else goto <D.4985>;
  <D.4984>:
  D.4977 = FAILED ("int to pointer and back conversions fail %d != %d", iv, iv2);
  return D.4977;
  <D.4985>:
  uv = 0;
  D.4986 = (long unsigned int) uv;
  ptr = (void *) D.4986;
  ptr.0 = (long int) ptr;
  uv2 = (unsigned int) ptr.0;
  if (uv != uv2) goto <D.4987>; else goto <D.4988>;
  <D.4987>:
  D.4977 = FAILED ("uint to pointer and back conversions fail %u != %d", uv, uv2);
  return D.4977;
  <D.4988>:
  uv = 1;
  D.4986 = (long unsigned int) uv;
  ptr = (void *) D.4986;
  ptr.0 = (long int) ptr;
  uv2 = (unsigned int) ptr.0;
  if (uv != uv2) goto <D.4989>; else goto <D.4990>;
  <D.4989>:
  D.4977 = FAILED ("uint to pointer and back conversions fail %u != %d", uv, uv2);
  return D.4977;
  <D.4990>:
  uv = 4294967295;
  D.4986 = (long unsigned int) uv;
  ptr = (void *) D.4986;
  ptr.0 = (long int) ptr;
  uv2 = (unsigned int) ptr.0;
  if (uv != uv2) goto <D.4991>; else goto <D.4992>;
  <D.4991>:
  D.4977 = FAILED ("uint to pointer and back conversions fail %u != %d", uv, uv2);
  return D.4977;
  <D.4992>:
  D.4977 = 0B;
  return D.4977;
}


test_offset ()
{
  gchar * D.4996;

  if (0 != 0) goto <D.4994>; else goto <D.4995>;
  <D.4994>:
  D.4996 = FAILED ("offset of a is not zero");
  return D.4996;
  <D.4995>:
  if (0 != 0) goto <D.4997>; else goto <D.4998>;
  <D.4997>:
  D.4996 = FAILED ("offset of b is 4 or 8, macro might be busted");
  return D.4996;
  <D.4998>:
  D.4996 = 0B;
  return D.4996;
}


size_tests_init ()
{
  struct Test * D.5000;

  D.5000 = &size_tests;
  return D.5000;
}