[Bug optimization/15242] pessimization of "goto *"

["anton at a0 dot complang dot tuwien dot ac dot at" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From anton at a0 dot complang dot tuwien dot ac dot at  2004-05-02 07:24 -------
Subject: Re:  pessimization of "goto *"

pinskia at gcc dot gnu dot org wrote:
> 
> 
> ------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-01 15:13 -------
> The reason why I say this is because of on the tree-ssa, it does warn about using about void statements 
> as the end, and on the tree-ssa right now ICEs on the tree-ssa, see PR 15243.  Also this is not 
> documented there is another bug for that, PR 772.

And that refers to a discussion in the mailing list, and the only
mention of a problem with jumping out that I found there was in
<http://gcc.gnu.org/ml/gcc/2000-07/msg00721.html>.  For this example
the semantics seem pretty obvious and well-defined to me (in contrast
to the jump-into example), and this was just a compiler bug.

If you find this bug hard to fix, it's ok with me if you document that
jumping out does not work and give a warning (and eventually an error)
on compiling it, and I will work around this restriction.

If you want, I can also prepare a version of the test file that uses
do...while(0) instead of statement expressions in some places.

- anton


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15242