------- Comment #13 from aoliva at gcc dot gnu dot org 2010-09-03 08:59 ------- The different types arise when, say, we copyprop a const-unqualified variable into a MEM_REF that used to reference a const-qualified temp. The top-level const qualifications are irrelevant at that point, for we're dealing with rvalues of pointer types. I'm experimenting with simply dropping the TYPE_QUALS test from tree-pretty-print. This fixed the pt.c -fcompare-debug problem. Richard, is there any reason for top-level qualifiers to be relevant in MEM_REF operands?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45419
