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