------- Additional Comments From giovannibajo at libero dot it 2004-07-30 17:28 ------- If the patch is right, it could contain also an update to verify_alias to make it catch such situations earlier, in the future. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16225