From: Roberto B. <ba...@cs...> - 2009-10-22 08:08:19
|
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:ba...@cs... |