### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/optimizer] [dead-write-shadowed.hlt:15:9-15:13] statement::Expression "x = 2;" -> null (statement result unused)
[debug/optimizer] [dead-write-shadowed.hlt:14:9-14:30] statement::Declaration "local uint<64> x = 10;" -> null (statement result unused)
[debug/cfg-final] Module 'Test'
digraph {
    0 [label="f();" xlabel="in: [] out: [] keep"];
    1 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    2 [label="end <...>/dead-write-shadowed.hlt:6:1-22:1" shape=triangle xlabel="in: [] out: []"];
    3 [label="end <...>/dead-write-shadowed.hlt:6:1-22:1" shape=triangle xlabel="in: [] out: []"];
    1 -> 0 [label="0"];
    0 -> 3 [label="1"];
    3 -> 2 [label="2"];
}
[debug/cfg-final] Function 'f'
digraph {
    0 [label="local uint<64> x = 1" xlabel="gen: [x: local uint<64> x = 1] in: [] out: [x: local uint<64> x = 1]"];
    1 [label="x = 5;" xlabel="write: [x] gen: [x: x = 5;] kill: [x: local uint<64> x = 1] in: [x: local uint<64> x = 1] out: [x: x = 5;]"];
    2 [label="hilti::print(x, True);" xlabel="read: [x] write: [x] in: [x: x = 5;] out: [x: x = 5;] keep"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/dead-write-shadowed.hlt:10:19-18:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/dead-write-shadowed.hlt:10:19-18:1" shape=triangle xlabel="kill: [x: x = 5;] in: [x: x = 5;] out: []"];
    6 [label="end <...>/dead-write-shadowed.hlt:12:5-16:5" shape=triangle xlabel="in: [x: x = 5;] out: [x: x = 5;]"];
    3 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 6 [label="2"];
    6 -> 2 [label="3"];
    2 -> 5 [label="4"];
    5 -> 4 [label="5"];
}
[debug/cfg-final] Module 'hilti'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
