Flow graph
There are many alternative criteria
all-defs
all-p-uses
all-uses
Could require O(N2) in 2-way branches, but empirically it’s linear
Need to find test cases
Previous slide
Next slide
Back to first slide
View graphic version