On Tue, Dec 15, 2009 at 09:26:24PM -0500, Elnatan Reisner wrote:
> I'm attaching a patch representing my more complete and simpler
> solution. (It is against the current svn revision, 11508.)
> I tested this out on a few small examples that triggered the bug; if
> anyone wants to see those examples
On Tue, Dec 15, 2009 at 09:26:24PM -0500, Elnatan Reisner wrote:
> I tested this out on a few small examples that triggered the bug; if
> anyone wants to see those examples, let me know.
It would be nice if you could include them in the test suite.
Regards,
--
Gabriel Kerneis
--
I posted something a while back (http://www.mail-archive.com/cil-users@lists.sourceforge.net/msg00141.html
) fixing a problem regarding labels that CIL creates. CIL wasn't
checking that the names it generated weren't used in the source code,
so it could create duplicate labels. This is unlikel
