[klee-dev] KLEE with gcc 4.5

[Nga Dang]

 Hi,

I'm trying to compile some C++ file which requires gcc 4.5 or newer.
KLEE only supports LLVM 2.9 whose llvm-gcc works with gcc 4.2. Is
there a version of llvm-gcc that works like gcc 4.5?

I'm trying to install Dragonegg which is a plugin for gcc 4.5 and it
generates code in LLVM format. Does KLEE accept code generated by
Dragonegg?

Thank you,
Nga