I'm using KLEE which supports only LLVM-2.9. In order to compile some
c++ file which requires gcc 4.5, I built Dragonegg 2.9 with LLVM-2.9
and gcc 4.5.1 on a Linux x86_64 machine. It was sucessfully built.
When I try to compile a c++ file using this plugin as below
gcc test.cpp -fplugin=path/dragonegg.so
I got this error:
cc1plus: error: Cannot load plugin path/dragonegg.so
path/dragonegg.so: undefined symbol: type_natural_mode
In the release note of LLVM2.9, it says "Currently it requires a
patched version of gcc-4.5" but I don't know which patch I should
apply. Can anyone suggest what I should do to make dragonegg2.9 work?