test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul


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

// Unassigned variables are assumed to be zero.
{
    let c
    let d
    let y := add(d, add(c, 7))
}
// ----
// expressionSimplifier
// {
//     let c
//     let d
//     let y := 7
// }