You are correct, this is a bug.
George.
On Thu, Oct 14, 2010 at 5:57 AM, Gabriel Kerneis wrote:
> Hello Pascal,
>
> On Wed, Sep 29, 2010 at 03:38:05PM +0200, Pascal Cuoq wrote:
>> I just noticed a bug in
>> http://www.eecs.berkeley.edu/~necula/cil/cil016.html#toc32
>
> This is now fixed in svn (
On Thu, 14 Oct 2010 15:34:31 +0200, Gabriel Kerneis
wrote:
> I just commited in the svn a few changes to allow using CIL in a
> cross-compilation setup.
I've been warned off-list that this patch breaks compilation on MacOS
(because the -static flag is forbidden). I shall fix this issue
tomorrow
Dear CIL users,
I just commited in the svn a few changes to allow using CIL in a
cross-compilation setup.
This was already possible manually, using the --env flag and the
CIL_MACHINE environment variable. Autoconf scripts are now
cross-compilation-aware: they use qemu (in user emulation mode [1]
On Fri, Oct 08, 2010 at 09:07:27AM +0200, Roberto Bagnara wrote:
> In test/small1/array-size-trick.c
>
> // This should be allowed !
> extern struct foo udp_stats_in6[2 * 2];
>
> These lines were added by George Necula in r6563.
> I am curious about the meaning of that comment
> because
Hello Pascal,
On Wed, Sep 29, 2010 at 03:38:05PM +0200, Pascal Cuoq wrote:
> I just noticed a bug in
> http://www.eecs.berkeley.edu/~necula/cil/cil016.html#toc32
This is now fixed in svn (r11941). I cannot tell you when George will
update his copy, though.
Thanks for reporting it.
--
Gabriel