Unused stack variable “may not be initialized”

[vbgl]

Compilation of the program below fails with:

variable allocation: variable “s.159” (declared at "bug_680.jazz", line 3 (12-13)) may not be initialized

export
fn adc_stack(reg u64 x) {
  stack u64 s;
  s = 0;
  _, s += x;
}

[eponier]

I encountered the same bug. Here is another example

export fn main () -> reg u64 {
  reg u64 x;
  stack u64 y;

  x = 0;
  y = #MOV(x);
  return x;
}