[Bug other/102605] address instruction from -fdump-tree-*-gimple doesn't work with -fgimple

[rguenther at suse dot de]

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.