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: Jeff Law <law at redhat dot com>
- Cc: 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:05:17 -0400
- Subject: Re: [tree-ssa] live analysis on local static functions
- References: <200310141703.h9EH3f5Z012612@speedy.slc.redhat.com>
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.
Andrew