Re: [CIL users] Error: CIL_MACHINE machine model is invalid: alignof_enum not specified

[Smets, J. (Jan) <jan...@al...>]

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:lip...@gm...]
Sent: dinsdag 15 mei 2012 21:03
To: cil...@li...
Subject: [CIL users] Error: CIL_MACHINE machine model is invalid: alignof_enum not specified

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<http://counter.ml> in PowerTossim to CIL and run the following command:

cilly --gcc=avr-gcc --envmachine -mmcu=atmega128 -Os -Wall -Wshadow -v --save-temps --doCounter -o Blink2.elf Blink2.c

But I got the following error infomation:

avr-gcc -D_GNUCC -E -mmcu=atmega128 -Os -v -DCIL=1 Blink2.c -o ./Blink2.i
Using built-in specs.
COLLECT_GCC=avr-gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/avr/4.5.3/lto-wrapper
Target: avr
Configured with: ../src/configure -v --enable-languages=c,c++ --prefix=/usr/lib --infodir=/usr/share/info --mandir=/usr/share/man --bindir=/usr/bin --libexecdir=/usr/lib --libdir=/usr/lib --enable-shared --with-system-zlib --enable-long-long --enable-nls --without-included-gettext --disable-checking --disable-libssp --build=i686-linux-gnu --host=i686-linux-gnu --target=avr
Thread model: single
gcc version 4.5.3 (GCC)
COLLECT_GCC_OPTIONS='-D_GNUCC' '-E' '-mmcu=atmega128' '-Os' '-v' '-DCIL=1' '-o' './Blink2.i'
 /usr/lib/gcc/avr/4.5.3/cc1 -E -quiet -v -imultilib avr51 -D_GNUCC -DCIL=1 Blink2.c -o ./Blink2.i -mmcu=atmega128 -Os
ignoring nonexistent directory "/usr/lib/gcc/avr/4.5.3/../../../avr/sys-include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/avr/4.5.3/include
 /usr/lib/gcc/avr/4.5.3/include-fixed
 /usr/lib/gcc/avr/4.5.3/../../../avr/include
End of search list.
COMPILER_PATH=/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/:/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/:/usr/lib/gcc/avr/4.5.3/../../../avr/bin/
LIBRARY_PATH=/usr/lib/gcc/avr/4.5.3/avr51/:/usr/lib/gcc/avr/4.5.3/../../../avr/lib/avr51/:/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/4.5.3/../../../avr/lib/
COLLECT_GCC_OPTIONS='-D_GNUCC' '-E' '-mmcu=atmega128' '-Os' '-v' '-DCIL=1' '-o' './Blink2.i'
/home/lwan1/Downloads/cil-1.4.0/obj/x86_LINUX/cilly.asm.exe --out ./Blink2.cil.c --envmachine --warnall --doCounter ./Blink2.i
Error: CIL_MACHINE machine model is invalid: alignof_enum not specified
Error: There were parsing errors in ./Blink2.i
Fatal error: exception Errormsg.Error

The CIL_MACHINE variable I put into ~/.bashrc is:
CIL_MACHINE="bool=1,1 short=2,1 int=2,1 long=4,1 long_long=8,1 float=4,1 double=4,1 long_double=4,1 void=1 pointer=2,1 enum=2,1 fun=1,1 alignof_string=1 max_alignment=1 size_t=unsigned_int wchar_t=unsigned_int char_signed=true big_endian=false const_string_literals=true __thread_is_keyword=false __builtin_va_list=true underscore_name=true"

Can anyone tell me what's wrong with this?
Thanks.

Lipeng