### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/optimizer] pass: feature-requirements (round 1, pass iteration 1)
[debug/optimizer] pass: dead-code-static (round 1, pass iteration 1)
[debug/optimizer] pass: peephole (round 1, pass iteration 1)
[debug/optimizer] pass: flatten-blocks (round 1, pass iteration 1)
[debug/optimizer]     * function changed: f
[debug/optimizer]   [unreachable-return.hlt:11:19-18:1] statement::Block "{ { hilti::print("hey", True); return; } hilti::print("bad!", True); return; }" -> inlining child block
[debug/optimizer]   [unreachable-return.hlt:12:5-15:5] statement::Block "{ hilti::print("hey", True); return; }" -> inlining block
[debug/optimizer]     -> modified
[debug/optimizer]   re-resolving AST assuming guarantees <constants-folded>
[debug/optimizer]   re-processing AST, round 1
[debug/optimizer]     * resolver
[debug/optimizer]       - updating function: f
[debug/optimizer]     * computed CFGs
[debug/optimizer]       - deleting function state: f
[debug/optimizer] pass: dead-code-cfg (round 1, pass iteration 1)
[debug/optimizer]     * function changed: f
[debug/optimizer]   [unreachable-return.hlt:16:5-16:24] statement::Expression "hilti::print("bad!", True);" -> null (unreachable code)
[debug/optimizer]     -> modified
[debug/optimizer]   re-resolving AST assuming guarantees <constants-folded,resolved>
[debug/optimizer]   re-processing AST, round 1
[debug/optimizer]     * computed CFGs
[debug/optimizer]       - deleting function state: f
[debug/optimizer] pass: constant-propagation (round 1, pass iteration 1)
[debug/optimizer] pass: remove-unused-parameters (round 1, pass iteration 1)
[debug/optimizer] pass: dead-code-static (round 2, pass iteration 1)
[debug/optimizer] pass: peephole (round 2, pass iteration 1)
[debug/optimizer] pass: flatten-blocks (round 2, pass iteration 1)
[debug/optimizer] pass: dead-code-cfg (round 2, pass iteration 1)
[debug/optimizer]     * function changed: f
[debug/optimizer]   [unreachable-return.hlt:17:5-17:11] statement::Return "return;" -> null (unreachable code)
[debug/optimizer]     -> modified
[debug/optimizer]   re-resolving AST assuming guarantees <constants-folded,resolved>
[debug/optimizer]   re-processing AST, round 1
[debug/optimizer]     * computed CFGs
[debug/optimizer]       - deleting function state: f
[debug/optimizer] pass: constant-propagation (round 2, pass iteration 1)
[debug/optimizer] pass: remove-unused-parameters (round 2, pass iteration 1)
[debug/optimizer] pass: dead-code-static (round 3, pass iteration 1)
[debug/optimizer] pass: peephole (round 3, pass iteration 1)
[debug/optimizer] pass: flatten-blocks (round 3, pass iteration 1)
[debug/optimizer] pass: dead-code-cfg (round 3, pass iteration 1)
[debug/optimizer] pass: constant-propagation (round 3, pass iteration 1)
[debug/optimizer] pass: remove-unused-parameters (round 3, pass iteration 1)
[debug/cfg-final] Module 'Test'
digraph {
    0 [label="f();" xlabel="in: [] out: [] keep"];
    1 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    2 [label="end <...>/unreachable-return.hlt:6:1-22:1" shape=triangle xlabel="in: [] out: []"];
    3 [label="end <...>/unreachable-return.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="hilti::print(\"hey\", True);" xlabel="in: [] out: [] keep"];
    1 [label="return;" xlabel="in: [] out: [] keep"];
    2 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    3 [label="end <...>/unreachable-return.hlt:11:19-18:1" shape=triangle xlabel="in: [] out: []"];
    2 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 3 [label="2"];
}
[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"];
}
