https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103040
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |hubicka at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Just a wild guess, maybe r12-4814-gca84f39399fda80c770306465276ffd66d3766ed ? esra dump is still identical, while ealias: diff -up /home/jakub/src/gcc/obj{46,48}/gcc/testsuite/gcc/pr101273.d.036t.ealias | grep '^[+-]' --- /home/jakub/src/gcc/obj46/gcc/testsuite/gcc/pr101273.d.036t.ealias 2021-11-02 11:10:56.857782057 +0100 +++ /home/jakub/src/gcc/obj48/gcc/testsuite/gcc/pr101273.d.036t.ealias 2021-11-02 11:06:24.211654521 +0100 -ESCAPED = ret -ESCAPED = D.1562 -ESCAPED = &nrvo -ESCAPED = &rvo -ESCAPED = { NULL STRING ESCAPED NONLOCAL nrvo rvo } +ESCAPED = { STRING ESCAPED NONLOCAL } -nrvo = { NULL ESCAPED NONLOCAL } same as D.1567 -rvo = { NULL ESCAPED NONLOCAL } same as D.1570 +nrvo = { NULL NONLOCAL } same as D.1567 +rvo = { NULL NONLOCAL } same as D.1570 -D.1567 = { NULL ESCAPED NONLOCAL } -_1 = { NULL ESCAPED NONLOCAL } same as D.1567 +D.1567 = { NULL NONLOCAL } +_1 = { NULL NONLOCAL } same as D.1567 -D.1570 = { NULL ESCAPED NONLOCAL } -_5 = { NULL ESCAPED NONLOCAL } same as D.1570 +D.1570 = { NULL NONLOCAL } +_5 = { NULL NONLOCAL } same as D.1570 -ESCAPED, points-to non-local, points-to NULL, points-to vars: { D.1566 D.1569 } (escaped) +ESCAPED, points-to non-local, points-to vars: { } -_1, points-to non-local, points-to escaped, points-to NULL, points-to vars: { } -_5, points-to non-local, points-to escaped, points-to NULL, points-to vars: { } +_1, points-to non-local, points-to NULL, points-to vars: { } +_5, points-to non-local, points-to NULL, points-to vars: { } and fre1 right after that results in unconditional _d_assertp where it wasn't unconditional Oct 29th.