This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] live analysis on local static functions
- From: Andrew MacLeod <amacleod at redhat dot com>
- To: Andrew MacLeod <amacleod at redhat dot com>
- Cc: Jeff Law <law at redhat dot com>, Jan Hubicka <jh at suse dot cz>, gcc mailing list <gcc at gcc dot gnu dot org>, Diego Novillo <dnovillo at redhat dot com>, Richard Henderson <rth at redhat dot com>
- Date: 14 Oct 2003 13:14:50 -0400
- Subject: Re: [tree-ssa] live analysis on local static functions
- References: <200310141703.h9EH3f5Z012612@speedy.slc.redhat.com> <1066151119.2629.2001.camel@p4>
On Tue, 2003-10-14 at 13:05, Andrew MacLeod wrote:
> On Tue, 2003-10-14 at 13:03, law@redhat.com wrote:
> > In message <1066149766.10504.1982.camel@p4>, Andrew MacLeod writes:
>
> > >
> > >I get out of ssa producing:
> > >
> > >q ()
> > >{
> > > char * <U1244>;
> > > char * retval.2;
> > > char * T.1;
> > >
> > >
> > > # BLOCK 0. PRED: -1. SUCC: 1.
> > > {
> > > {
> > > static char * a = (char *)"";
> > >
> > >
> > > # VUSE <a_1>;
> > > <U1244> = a;
> > > goto <U11d0>;;
> > > };
> > >
> > > # BLOCK 1. PRED: 0. SUCC: 2.
> > > <U11d0>:;;
> > > (void)0;
> > > };
> > >
> > > # BLOCK 2. PRED: 1. SUCC: -2.
> > > (void)0;
> > > return <U1244>;;
> > >}
> > >
>
> > But it still seems to me that something is missing the fact that "a"
> > is actually used. If "a" is marked as used, then everything ought to
> > work as expected.
>
> I am currently looking at why the VUSE <a_1> didnt mark 'a' as used.
>
INterestingly, the 'a' in the BIND has address
$7 = (union tree_node *) 0x400b12b8
and the 'a' used as a base for 'a_1' is:
$9 = (union tree_node *) 0x400adbc8
so used is set on the one in $9, but never set on the one in $7.
Diego, any idea why we're using a different VAR_DECL?
Andrew