Open pedagand opened 2 years ago
This is a backward live variable analysis: present it as such, in a functional manner.
We ought to compute sets of live variables for each program point, then List.map to only extract the size of these sets.
List.map
Concerning loops: for the time being, do an early failure to -1, to replicate the current behavior.
-1
This is a backward live variable analysis: present it as such, in a functional manner.
We ought to compute sets of live variables for each program point, then
List.mapto only extract the size of these sets.Concerning loops: for the time being, do an early failure to
-1, to replicate the current behavior.