gazer/build/tools/gazer-theta/gazer-theta --inline all --search ERR --domain PRED_CART --refinement BW_BIN_ITP --initprec EMPTY --no-optimize --trace -test-harness=s3_clnt.blast.01.i.cil-2.c.ll sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c /home/solarowl/Egyetem/ftsrg/ftsrg_tools/sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c:4:14: warning: incompatible redeclaration of library function 'malloc' [-Wincompatible-library-redeclaration] extern void *malloc(unsigned int sz ); ^ /home/solarowl/Egyetem/ftsrg/ftsrg_tools/sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c:4:14: note: 'malloc' is a builtin with type 'void *(unsigned long)' /home/solarowl/Egyetem/ftsrg/ftsrg_tools/sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c:1023:14: warning: incompatible redeclaration of library function 'memcpy' [-Wincompatible-library-redeclaration] extern void *memcpy(void * __restrict __dest , void const * __restrict __src , ^ /home/solarowl/Egyetem/ftsrg/ftsrg_tools/sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c:1023:14: note: 'memcpy' is a builtin with type 'void *(void *, const void *, unsigned long)' /home/solarowl/Egyetem/ftsrg/ftsrg_tools/sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c:1649:14: warning: incompatible redeclaration of library function 'calloc' [-Wincompatible-library-redeclaration] extern void *calloc(size_t, size_t); ^ /home/solarowl/Egyetem/ftsrg/ftsrg_tools/sv-benchmarks/c/ssh/s3_clnt.blast.01.i.cil-2.c:1649:14: note: 'calloc' is a builtin with type 'void *(unsigned long, unsigned long)' 3 warnings generated. warning: -math-int mode forces havoc memory model, analysis may be unsound Invalid integer cast type! UNREACHABLE executed at /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/InstToExpr.cpp:628! #0 0x00007f8655fdfe9b llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/build/src/Core/libGazerCore.so+0x1a8e9b) #1 0x00007f8655fddd44 llvm::sys::RunSignalHandlers() (/home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/build/src/Core/libGazerCore.so+0x1a6d44) #2 0x00007f8655fdde93 SignalHandler(int) (/home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/build/src/Core/libGazerCore.so+0x1a6e93) #3 0x00007f8655d410f0 __restore_rt (/usr/lib/libpthread.so.0+0x140f0) #4 0x00007f8655864615 raise (/usr/lib/libc.so.6+0x3d615) #5 0x00007f865584d862 abort (/usr/lib/libc.so.6+0x26862) #6 0x00007f8655fc4fe0 LLVMInstallFatalErrorHandler (/home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/build/src/Core/libGazerCore.so+0x18dfe0) #7 0x00007f8657df3c8a gazer::InstToExpr::boolToIntCast(llvm::CastInst const&, boost::intrusive_ptr const&, gazer::Type&) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/InstToExpr.cpp:629:1 #8 0x00007f8657df2756 gazer::InstToExpr::visitCastInst(llvm::CastInst const&, gazer::Type&) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/InstToExpr.cpp:424:56 #9 0x00007f8657df030d gazer::InstToExpr::doTransform(llvm::Instruction const&, gazer::Type&) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/InstToExpr.cpp:46:49 #10 0x00007f8657df01a3 gazer::InstToExpr::transform(llvm::Instruction const&, gazer::Type&) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/InstToExpr.cpp:32:5 #11 0x00007f8657dd2256 gazer::llvm2cfa::BlocksToCfa::encode() /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/ModuleToAutomata.cpp:534:65 #12 0x00007f8657dcfe47 gazer::llvm2cfa::ModuleToCfa::generate(llvm::DenseMap, llvm::detail::DenseMapPair >&, gazer::CfaToLLVMTrace&) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/ModuleToAutomata.cpp:254:64 #13 0x00007f8657e5ea41 gazer::translateModuleToAutomata(llvm::Module&, gazer::LLVMFrontendSettings const&, std::function, gazer::GazerContext&, gazer::MemoryModel&, llvm::DenseMap, llvm::detail::DenseMapPair >&, gazer::CfaToLLVMTrace&, gazer::SpecialFunctions const*) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/AutomatonPasses.cpp:48:115 #14 0x00007f8657e5ed35 gazer::ModuleToAutomataPass::runOnModule(llvm::Module&) /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/Automaton/AutomatonPasses.cpp:89:104 #15 0x00007f8657f39240 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/build/src/LLVM/libGazerLLVM.so+0x548240) #16 0x00007f8657e1de10 gazer::LLVMFrontend::run() /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/src/LLVM/LLVMFrontend.cpp:310:1 #17 0x00005569ebacb0bc main /home/solarowl/Egyetem/ftsrg/ftsrg_tools/gazer/tools/gazer-theta/gazer-theta.cpp:134:22 #18 0x00007f865584f152 __libc_start_main (/usr/lib/libc.so.6+0x28152) #19 0x00005569ebacac9e _start (gazer/build/tools/gazer-theta/gazer-theta+0x53c9e) Stack dump: 0. Running pass 'Module to automata transformation' on module '/tmp/gazer_workdir_-d5763f/gazer_llvm_output.bc'. Aborted (core dumped)