search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Wc and chroot fails to load with LLVM 3.0 #98

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago 
/home/tomas/projekty/canal/lib/Constructors.cpp:153(create) assert failed: It is expected that variable used in constant expressions is available. [variable]
[bt]: (1) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Constructors::create(llvm::Constant const&, llvm::Value const&, Canal::State const*) const+0x2e5 [0x653e1d]
[bt]: (2) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Constructors::create(llvm::Constant const&, llvm::Value const&, Canal::State const*) const+0x5d2 [0x65410a]
[bt]: (3) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Constructors::create(llvm::Constant const&, llvm::Value const&, Canal::State const*) const+0x7d0 [0x654308]
[bt]: (4) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Interpreter::Module::Module(llvm::Module const&, Canal::Constructors const&)+0x145 [0x671b0b]
[bt]: (5) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Interpreter::Interpreter::Interpreter(llvm::Module*)+0x74 [0x670248]
[bt]: (6) tool/canal : State::State(llvm::Module*)+0x19 [0x80856e9]
[bt]: (7) tool/canal : Commands::createState(llvm::Module*)+0xfb [0x8083439]
[bt]: (8) tool/canal : CommandFile::run(std::vector<std::string, std::allocator<std::string> > const&)+0x198 [0x80785a8]
[bt]: (9) tool/canal : Commands::executeLine(std::string const&)+0x1c2 [0x80830c0]
[bt]: (10) tool/canal : main+0x122 [0x8074bd2]
[bt]: (11) /lib/i386-linux-gnu/libc.so.6 : __libc_start_main+0xf3 [0x1ae4d3]
[bt]: (12) tool/canal() [0x8074671]
karelklic commented 11 years ago

I cannot reproduce it on Fedora 17 with llvm-3.0-14.fc17.x86_64 and clang-3.0-14.fc17.x86_64.

Can you send me the .s files, please? Maybe they differ across operating systems due to llvm/clang compile-time configuration.