On Fri, 29 Dec 2006 15:03:51 -0500
Robert Dewar <[EMAIL PROTECTED]> wrote:
> > There is no support for dumping actual valid source code, though,
> > and it is unlikely that there ever will be.
>
> And indeed it is not in general possible, there are many optimizations
> that cannot be expressed in
> > 1) For the function foo10:
> > The if-block following "if( i == 15 )" will be never executed since
> > 'i' will never become 15 here. So, this entire block could be
> > removed without changing the semantics. This would improve the
> > program execution since the if-condition does not need to b