examples/symbolic/return-from-loop-1-35.c

Rama main · réplica de lectura del repositorio original.

uint64_t main() {
  uint64_t  a;
  uint64_t* x;

  x = malloc(sizeof(uint64_t));

  *x = 0; // touch memory

  read(0, x, 1);

  a = 0;

  while (a < 10) {

    // non-zero exit code if the input is a digit
    if (*x - 48 == a)
      return 1;

    a = a + 1;
  }

  return 0;
}