search

Draco-lang / Compiler

The compiler repository for the Draco programming language.
Apache License 2.0
86 stars 8 forks source link

Bug in flow analysis #276

Open LPeter1997 opened 1 year ago

LPeter1997 commented 1 year ago

This isn't flagged by flow-analysis as referencing uninitialized:

    val x = if (???) 1 else goto end;
end:
    val y = x;