https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102605
--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 5 Oct 2021, aldyh at gcc dot gnu.org wrote: > 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. Yeah, I have posted a patch but that has some testsuite fallout (meh). > BTW, the __MEM_REF output from the dumps does not work in -fgimple either. > More errors. Can you share an example? Thanks, Richard.