On 05/20/2010 10:40 PM, Heinz Riener wrote: [...] > The only serious change in my > system (that I'm aware of) is a distribution related update to GCC 4.5.0.
I have compiled GCC 4.4.4 from source and used it to compile the head SVN revisions of LLVM and Klee. Now everything works again. Stefan, thanks for your assistance. Heinz
