Svadev mailing list

[kobe James <god.son2046 AT yahoo.com.cn>]

I tried to install the SAFECode in LLVM 2.6 following the instruction in Install.html. But when I do the step:
# cd projects/poolalloc
# make

I get the errore below:
llvm[2]: Compiling qsort.c for Release build (bytecode)
llvm[2]: Compiling strdup.c for Release build (bytecode)
llvm[2]: Compiling qsort.c for Release build
llvm[2]: Compiling strdup.c for Release build
llvm[2]: Compiling qsort.ll to qsort.bc for Release build (bytecode)
llvm[2]: Compiling strdup.ll to strdup.bc for Release build (bytecode)
/home/chenliu/llvm-2.6/llvm/Release/bin/llvm-as: assembly parsed, but does not verify as correct!
Intrinsic prototype has incorrect number of arguments!
void (i8*, i8*, i64, i32, i1)* @llvm.memcpy.p0i8.p0i8.i64
Broken module found, compilation terminated.
Broken module found, compilation terminated.
/home/chenliu/llvm-2.6/llvm/Release/bin/opt: Invalid bitcode signature
make[2]: *** [/home/chenliu/llvm-2.6/llvm/projects/poolalloc/runtime/PreRT/Release/strdup.bc] Error 1
make[2]: *** Waiting for unfinished jobs....
make[2]: Leaving directory `/home/chenliu/llvm-2.6/llvm/projects/poolalloc/runtime/PreRT'
make[1]: *** [all] Error 1
make[1]: Leaving directory `/home/chenliu/llvm-2.6/llvm/projects/poolalloc/runtime'
make: *** [all] Error 1

I both configured LLVM and SAFEcode in this way:
export CC="llvm-gcc"
export CXX="llvm-g++"
./configure --with-poolalloc-srcdir=/home/chenliu/llvm-2.7/llvm/projects/poolalloc --with-poolalloc-objdir=/home/chenliu/llvm-2.7/llvm/projects/poolalloc --with-llvmsrc=/home/chenliu/llvm-2.7/llvm --with-llvmobj=/home/chenliu/llvm-2.7/llvm

================
Also if I set CXX to g++, during the compilation it will emit an error saying "g++|icc required but not found".
Do you know what the problem is here?

Thanks in advance,

Chen