------- Additional Comments From dnovillo at gcc dot gnu dot org 2004-10-28 20:23 -------
The tree alias analyzer depends on the type information given to it by alias.c. In this case, the types of the pointers passed to the two routines have conflicting alias sets, so they are given the same memory tag. Without context sensitive information, we cannot tell where these arguments are really pointing to, so we have to base the analysis exclusively on types. Notice, however, that the analysis DTRT when the calls are inlined. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13146
