Dead Assignments Detection¶

This pass performs a backward dataflow analysis, commonly referred to as live variable analysis, to detect dead assignments:

function foo($foo) {
    $a = 'foo'; // $a is never used, it's assignment is "dead".

    echo $foo;
}

It also detects dead assignments in list() assignments.