[klee-dev] Error when using LLVM Gold plugin with KLEE

[Sang Phan]

Hi everyone,

I got some errors when using the llvm gold plugin to compile a single
bitcode file.

clang -I ~/Path/to/klee-src/include -flto -fuse-ld=gold
-Wl,-plugin-opt=save-temps foo.c get_sign.c -o main

The path is correct, but for some reason, clang couldn't find KLEE's APIs,
and this only occurs when using LLVM gold.

main.o:ld-temp.o:function main: error: undefined reference to
'klee_make_symbolic'
clang: error: linker command failed with exit code 1 (use -v to see
invocation)

Do you have an idea how to fix this?

Thanks,
Sang
-------------- next part --------------
HTML attachment scrubbed and removed