> -Original Message-
> From: Gabriel Kerneis [mailto:kern...@pps.jussieu.fr]
> Sent: dinsdag 15 mei 2012 15:16
> To: Smets, Jan (Jan)
> Cc: cil-users@lists.sourceforge.net
> Subject: Re: [CIL users] Unused __Cont label
>
> On Tue, May 15, 2012 at 02:39:52PM +0200, Smets, Jan (Jan) wrote:
I had the same problem. Meanwhile you can add 'enum=2,1 alignof_enum=1' , at
least, that worked for me.
- Jan
From: Lipeng Wan [mailto:lipengwa...@gmail.com]
Sent: dinsdag 15 mei 2012 21:03
To: cil-users@lists.sourceforge.net
Subject: [CIL users] Error: CIL_MACH
Hi guys,
I am trying to insert execution counters into each basic block of a simple
sensor network application source code (Blink2.c) using CIL.
The idea is original from PowerTossim. I added the feature counter.ml in
PowerTossim to CIL and run the following command:
cilly --gcc=avr-gcc --envmach
On Tue, May 15, 2012 at 02:39:52PM +0200, Smets, Jan (Jan) wrote:
> How can I hack in the unused attribute?
Currently, CIL does not support attributes for labels. Do you have some
evidence that it is supported by the C standard / gcc / whatever?
> Or is there another way to fix this?
We could m
On Mon, May 07, 2012 at 02:37:21PM +0200, Smets, Jan (Jan) wrote:
> I noticed that CIL removes some parentheses and GCC's -Wall produces a
> warning.
> if (! var & 1)
> GCC's warning message: suggest parentheses around operand of '!' or change
> '&' to '&&' or '!' to '~' [-Werror=parentheses]
>
Hi
I'm upgrading from CIL 1.3.6 to CIL 1.4.0 and we use -Wall -Werror to compile.
GCC complains about unused labels, take this illustrative example:
int main()
{
int i;
for(i = 0; i < 4; i++)
{
char * pTest;
if(!pTest) continue;
else break;
}
return 0;
}
/* Generated by
