Hi Pietro,
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.
Hello to everyone. I am not able to find in the documentation the
representation for some kind of statements, i.e., pre/postincrement (++ and
--), and all the operator/assignment statements (with +=, -=, *=, etc). What is
their representation? I need to detect and remove them (by transforming x+
