Hi,
I am trying to implement a optimization pipeline for alias analysis
a = 15;
b = &a;
c = &a;
*b = 11;
*c = 10;
In above example though b and c must alias, the AAevaluator returns only may alias results. Is there a proper order to apply optimizations to detect this correctly?