Gabriel Kerneis wrote:
> This is definitely a bug in CIL. I just stumbled upon the relevant part
> of the code and noticed that things are handled correctly in the case of
> simple assignments, but not for compound assignements (as you noticed).
>
> You will find a patch attached. Please, test it and tell me if anything
> looks wrong in it. It fixes the above (snipped) example at least, and
> should not break anything, but still…
Hi Gabriel,
yes, this is something similar to what we do in our own simplifier.
Cheers,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
