On Fri, Sep 13, 2013 at 08:38:58AM +0100, Gabriel Kerneis wrote: > But I'm nonetheless hitting a bug in CIL simplifications and I have a hard > time tracking it down.
Fixed! https://github.com/kerneis/cil/commit/640994197bed274c373d585decbe9ebe2073f014 Thanks to everybody who helped, -- Gabriel