Re: Code transformation and optimization

[Dave Korn <dave dot korn dot cygwin at googlemail dot com>]

Vincent R. wrote:

> To make things clear let's say that I would like to declare a new keyword
> called special_else for instance.

  This is about SEH __try/__except/__finally really, isn't it? ;-)

> For now we manage to do some transformation, the problem is with
> optimization because the code
> just after goto shouldn't be discarded even if it appears to be stupid
> because it cannot be executed.

  You'll need to have an abnormal/EH edge coming into it, if I understand
things correctly, for dataflow to realise it can be invoked by some
non-standard path.  Take a look in tree-eh.c; seems what you're doing is
pretty similar to how C++ try/except is implemented.

    cheers,
      DaveK