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_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
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
