examples/symbolic/three-level-nested-loop-fail-1-35.c

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

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

  a = 0;
  x = malloc(sizeof(uint64_t));

  *x = 0; // touch memory

  read(0, x, 1);

  *x = *x - 49;

  while (*x < 15) {
    while (*x < 10) {
      while (*x < 5) {
        a = a + 1;
        *x = *x + 1;
      }

      a = a + 1;
      *x = *x + 1;
    }

    a = a + 1;
    *x = *x + 1;
  }

  a = a + 27;

  if (a == 42)
    // non-zero exit code if the input is '1' (== 49 == b00110001)
    return 1;
  else
    return 0;
}