<div dir="ltr"><div><div>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<br></div></div><br></div>