Java FUNCTION_DECL's have two bodies

Conway, Christopher L (Christopher)** CTR ** cconway@lucent.com
Thu Jun 24 13:26:00 GMT 2004


>  > I'm working with a tool that uses the Tree-SSA output from gcj
>  > (version 3.5.0 20040607) and I'm surprised to see that Java
>  > FUNCTION_DECL's have two "body" attributes. One uses BLOCK and
>  > COMPOUND_EXPR treecodes for its infrastructure and the other uses
>  > BIND_EXPR and STATEMENT_LIST. I wonder if this is a bug, if it's
>  > possible to suppress one of these bodies from being produced, and
>  > if this will go away in a future version?
> 
> This is a hangover from the way we used to do things.
> 
> One (the BLOCK and COMPOUND_EXPR form) is converted to the other when
> we gimplify: the "old" version shouldn't be present after then.

But the two versions seem to be equivalent. Is there semantic information that will be lost if we use the new version pre-gimplification?

Thanks,
Chris



More information about the Java mailing list