On 8 May 2014 09:54, agan Davis <[email protected]> wrote: > > Hi Dan > > The backtrace information below(simplify) > gdb$bt > #0 0x0000000000e63f2d in > std::vector<__gnu_cxx::_Hashtable_node<std::pair<BEEV::ASTNode const, > BEEV::ASTNode>>.... > #1 0x0000000000ebacfd in __gnu_cxx::hash_map... > #2 0x000000000055775c in _GLOBAL__sub_I__ZN7printer13NodeLetVarMapE()... > #3 0x0000000000fddb7d in __libc_csu_init () > #4 0x00007ffff6e099700 in __libc_start_main () from > /lib/x86_64-linux-gnu/libc.so.6 > #50x0000000000558969 in _start()
The location that the error is occurring is in the initialisation of data structures used by STP. This is happening even before you reach main() > The os klee run on is ubuntu12.04/64bit vmware machine. At beginning, the > ubuntu vmware machine on the host macbook pro( i7-2760QM), running nomally > but slowly, so I upload this vmware to server( E74830), building klee again, > building successful but coming across the problem above. I tried > klee/llvm3.1-3.3, getting the some problem, > I'm afraid that the same problem as llvm3.4. > > In E74830, > $gcc -c -Q --help=target|grep march > -march =x86_64 > > > In i7-2760QM > $gcc -c -Q --help=target|grep march$gcc -c -Q --help=target|grep march > -march=corei7-avx Oh cool I didn't know about the -Q option. Nice! And this shows a potential source of your problem On your i7-2760QM gcc is by default using a more specific architecture but on your E74830 it is using the generic x86_64 architecture. I think you mentioned earlier that your i7-2760QM has a larger instruction set than the E74830 so your issue looks like the code you built for LLVM/STP/KLEE contains instructions that i7-2760QM has but the E74830 does not. The way to fix depends on how you plan to do development. - If you need to run your VM both on i7-2760QM and E74830 you should rebuild everything* ensuring that -march=x86_64 is passed to your C/C++ compiler - If you only need to run on your E74830 then simply rebuild everything* on the E74830 machine. * i.e. LLVM, STP and then KLEE Hope that helps. Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
