search for: 000766

Hi, 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