Hello, I got some question about this page http://cs.swan.ac.uk/~csoliver/ok-sat-library/internet_html/doc/doc/Gcc/4.6.4/html/gccint/Alias-analysis.html I use tree lhs, which from gimple_assign_lhs, to test pointer variables are alias. I try most function of this page to test, but it seems not work. Is that the alias analysis cannot work with gimple? If so, can you give some advice about that page Thank you.