[splint.git] / test / tests2.4 / duffs.c

void send (int *to, int *from, int count)
{
  int n= (count + 7) / 8;

  switch (count % 8) {
  case 0: do {*to = *from++;
  case 7: *to = *from++;
  case 6: *to = *from++;
  case 5: *to = *from++;
  case 4: *to = *from++;
  case 3: *to = *from++;
  case 2: *to = *from++;
  case 1: *to = *from++;
  } while (--n>0);
  }
}
Commit	Line	Data
885824d3	1	void send (int to, int from, int count)
	2	{
	3	int n= (count + 7) / 8;
	4
	5	switch (count % 8) {
	6	case 0: do {to = from++;
	7	case 7: to = from++;
	8	case 6: to = from++;
	9	case 5: to = from++;
	10	case 4: to = from++;
	11	case 3: to = from++;
	12	case 2: to = from++;
	13	case 1: to = from++;
	14	} while (--n>0);
	15	}
	16	}