test/libyul/yulOptimizerTests/commonSubexpressionEliminator/unassigned_variables.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{
    // This does not replace b by a because there is no
    // explicit assignment, even though both hold the same value.
    let a
    let b
    mstore(sub(a, b), 7)
}
// ----
// commonSubexpressionEliminator
// {
//     let a
//     let b
//     mstore(sub(a, b), 7)
// }