### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/optimizer] [dataflow-unreachable.hlt:14:5-14:25] statement::Declaration "local uint<64> c = a;" -> null (statement result unused)
[debug/optimizer] [dataflow-unreachable.hlt:12:9-12:9] expression::Name "a" -> propagating constant value in a
[debug/optimizer] [dataflow-unreachable.hlt:12:9-12:9] expression::Name "a" -> expression::Ctor "1"
[debug/optimizer] [dataflow-unreachable.hlt:13:9-13:9] expression::Name "b" -> propagating constant value in b
[debug/optimizer] [dataflow-unreachable.hlt:13:9-13:9] expression::Name "b" -> expression::Ctor "1"
[debug/optimizer] [dataflow-unreachable.hlt:15:16-15:16] expression::Name "b" -> propagating constant value in b
[debug/optimizer] [dataflow-unreachable.hlt:15:16-15:16] expression::Name "b" -> expression::Ctor "1"
[debug/optimizer] [dataflow-unreachable.hlt:8:31-16:1] statement::Block "{ local uint<64> a = 0; a = 1; local uint<64> b = 1; b = 1; a = 1 + 1; return a + 1; }" -> constant propagation
[debug/optimizer] [dataflow-unreachable.hlt:10:5-10:9] statement::Expression "a = 1;" -> null (statement result unused)
[debug/optimizer] [dataflow-unreachable.hlt:12:5-12:9] statement::Expression "b = 1;" -> null (statement result unused)
[debug/optimizer] [dataflow-unreachable.hlt:11:5-11:25] statement::Declaration "local uint<64> b = 1;" -> null (statement result unused)
