Fran Baena wrote:
The issue i dont understand is why alias analysis is done before the SSA pass
It isn't. You are reading very stale documentation. That was the status when we were only doing type-based alias analysis. You should read the current implementation and documents. See http://gcc.gnu.org/wiki/GettingStarted.
Diego.