path: root/test/monniaux/cse2/loopaccess.c

double toto(double x, int count) {
  double r = 5*x + 3;
  while (count > r) {
    count --;
  }
  return 5*x + 3;
}