Re: [CIL users] Misleading example in CIL documentation at http://www.eecs.berkeley.edu/~necula/cil/

2010-10-14 Thread George Necula
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 (

Re: [CIL users] Using CIL to cross-compile MIPS(el) programs

2010-10-14 Thread Gabriel Kerneis
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

[CIL users] Using CIL to cross-compile MIPS(el) programs

2010-10-14 Thread Gabriel Kerneis
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]

Re: [CIL users] Strange comment in test/small1/array-size-trick.c

2010-10-14 Thread Gabriel Kerneis
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

Re: [CIL users] Misleading example in CIL documentation at http://www.eecs.berkeley.edu/~necula/cil/

2010-10-14 Thread Gabriel Kerneis
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