https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102605
--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > You need > > if (p_2(D) == _Literal (char *) &global[2]) > > and of course you need to provide the > > char global[10]; > > declaration. And then we still need to fix some sanity checking in the > frontend. Thanks for the patch. I'll need something like it in order to write some jump threading tests for missing MEM_REF cases. It would be nice if -fdump-tree-*-gimple would match what -fgimple expects, at the least with regards to this _Literal business. BTW, the __MEM_REF output from the dumps does not work in -fgimple either. More errors. Thanks.