Re: [CIL users] Representation for some operators

[Gabriel K. <ga...@ke...>]

On Wed, Jan 23, 2013 at 11:41:02AM +0100, Pietro Braione wrote:
> Il giorno 23/gen/2013, alle ore 08.54, Gabriel Kerneis ha scritto:
> > On Wed, Jan 23, 2013 at 02:38:53AM +0100, Pietro Braione wrote:
> >> by transforming x++ in x = x + 1, etc.
> > 
> > CIL already does that for you automatically.
> > 
> >    17. One of the most significant transformations is that expressions that
> >    contain side-effects are separated into statements.
> > 
> >       int x, f(int);
> >       return (x ++ + f(x));
> > 
> >    See the CIL output for this code fragment
> 
> The problem is, I do not need to transform only *expressions*, but also
> *statements* - e.g., the above example […] still has an x++ statement.

No, it doesn't.  Please the re-read the part of the manual that you did *not*
quote above (hint: it starts with "internally").  And try --printCilAsIs as
suggested.

Best,
-- 
Gabriel