------- Comment #3 from dnovillo at gcc dot gnu dot org 2006-07-18 13:25 -------
Testing patch. The bug was in the alias pruning code. We need to handle .GLOBAL_VAR in access_can_touch_variable. A memory reference that uses a call-clobbered memory tag should always be considered to touch .GLOBAL_VAR. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28410