This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: [JAVA PATCH] SAVE_EXPR evaluate-once semantics in jcf-write.c
On Mon, 29 Sep 2003 11:02:12 +0100, Andrew Haley <aph@redhat.com> wrote:
> Roger Sayle writes:
> > > What we should do is use a "let expression":
> > >
> > > LET tmp := expression IN f(use tmp, use tmp)
> > >
> > > This provides an explicit well-defined scope for the temporary.
> >
> > As mentioned above, this may be a good idea.
>
> Yes, indeed. This does seem to be more civilized than SAVE_EXPR.
>
> > I'll let the GIMPLE folks argue of the merits of allowing a form of
> > SCOPE_EXPR within expressions.
>
> I would have thought that expanding an inline function generates
> something similar.
Sounds like you want BIND_EXPR.
Jason