Compiler hangs up when template uses function with potentially infinite loop

[3sGgpQ8H]

When I try to compile the following circuit:

function foo (x) {
  var y = 0;
  while (1) {
    if (x == 0) return y;
    x = x - 1;
    y = y + 1;
  }
}

template Bar () {
  signal input x;
  signal output y;

  y <-- foo (x);
  y === x;
}

component main = Bar ();

the compiler hangs up. Expected behavior is to compile it without errors and hang ups.

Function foo basically just returns its argument.