How can I link two object files using llvm-ld?
(too old to reply)
2014-05-22 16:54:33 UTC
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Daniel Liew
2014-05-22 17:08:05 UTC
I tried to make .o files using llvm-g++.
KLEE operates on bitcode files not native object files. In the image I
can't see the --emit-llvm flag being used did you forget to add it?
it finished like this. (showing "'main' function not found in module." message when I just run the output file)
check your bitcode file with

$ llvm-dis your_file.bc

it will output "your_file.ll". This will show you the LLVM assembly,
check if main is present.