struct defs

typedefs

global vars

void sum(Point_st0 *c, Point_st0 *d);
void flip(Point_st0 *a, Point_st0 *b);
void tricky_flip(Point_st0 *a, Point_st0 *b);
int main();

void sum(
Point_st0 *c, 
Point_st0 *d)
{
  local vars

  temp_141 = (*c1).x;
  temp_151 = (*d1).y;
  (*c1).x = (temp_141 + temp_151);
  temp_161 = (*c1).y;
  temp_171 = (*d1).x;
  (*c1).y = (temp_161 + temp_171);
}

void flip(
Point_st0 *a, 
Point_st0 *b)
{
  (*a1).x = (*b1).y;
  (*a1).y = (*b1).x;
}

void tricky_flip(
Point_st0 *a, 
Point_st0 *b)
{
  local vars

  (*a1).x = (*b1).y;
  tmp1 = a1;
  a2 = b1;
  b2 = tmp1;
  (*a2).y = (*b2).x;
}

int main()
{
  local vars

  temp_182 = malloc(24);
  p2 = (struct point *) temp_182;
  pointB1.x = 1.00000000000000e+00;
  pointA1.x = pointB1.x;
  pointB1.y = 1.00000000000000e+01;
  pointA1.y = pointB1.y;
  a1 = (&pointA);
  b1 = (&pointB);
  temp_191 = "a->x: %lf a->y: %lf  b->x: %lf  b->y: %lf\n";
  temp_201 = (*a1).x;
  temp_211 = (*a1).y;
  temp_221 = (*b1).x;
  temp_231 = (*b1).y;
  printf(temp_191, temp_201, temp_211, temp_221, temp_231);
  sum1(a1, b1);
  temp_241 = "a->x: %lf a->y: %lf  b->x: %lf  b->y: %lf\n";
  temp_251 = (*a1).x;
  temp_261 = (*a1).y;
  temp_271 = (*b1).x;
  temp_281 = (*b1).y;
  printf(temp_241, temp_251, temp_261, temp_271, temp_281);
  temp_292 = malloc(24);
  a2 = (struct point *) temp_292;
  temp_302 = malloc(24);
  b2 = (struct point *) temp_302;
  (*a2).y = 1.00000000000000e+00;
  (*a2).x = (*a2).y;
  (*b2).y = 1.00000000000000e+01;
  (*b2).x = (*b2).y;
  temp_311 = "a->x: %lf a->y: %lf  b->x: %lf  b->y: %lf\n";
  temp_321 = (*a2).x;
  temp_331 = (*a2).y;
  temp_341 = (*b2).x;
  temp_351 = (*b2).y;
  printf(temp_311, temp_321, temp_331, temp_341, temp_351);
  flip2(a2, b2);
  temp_361 = "a->x: %lf a->y: %lf  b->x: %lf  b->y: %lf\n";
  temp_371 = (*a2).x;
  temp_381 = (*a2).y;
  temp_391 = (*b2).x;
  temp_401 = (*b2).y;
  printf(temp_361, temp_371, temp_381, temp_391, temp_401);
  (*a2).y = 1.00000000000000e+00;
  (*a2).x = (*a2).y;
  (*b2).y = 1.00000000000000e+01;
  (*b2).x = (*b2).y;
  temp_411 = "a->x: %lf a->y: %lf  b->x: %lf  b->y: %lf\n";
  temp_421 = (*a2).x;
  temp_431 = (*a2).y;
  temp_441 = (*b2).x;
  temp_451 = (*b2).y;
  printf(temp_411, temp_421, temp_431, temp_441, temp_451);
  tricky_flip3(a2, b2);
  temp_461 = "a->x: %lf a->y: %lf  b->x: %lf  b->y: %lf\n";
  temp_471 = (*a3).x;
  temp_481 = (*a3).y;
  temp_491 = (*b3).x;
  temp_501 = (*b3).y;
  printf(temp_461, temp_471, temp_481, temp_491, temp_501);
}