For a theoretical study I have implemented Meet over all path for constant propagation. Since the lattice of constant propagation is non distributive, it is expected that Maximum Fixed Point calculation and Meet Over all Path may give different results. Can anyone give such an example program
I’ve seen an example in “Monotone Data Flow Analysis Framework” by Kam and Ullman (available at
https://www.cs.indiana.edu/~achauhan/Teaching/B629/2006-Fall/CourseMaterial/1977-acta-kam-monotone.pdf)
Please see the 5th page.