Test source: git
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -loop-idiom -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LoopIdiom/basic.ll free(): invalid pointer PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace. Stack dump: 0. Program arguments: /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/tv.so -load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so -tv-exit-on-error -tv -loop-idiom -S -tv -tv-smt-to=20000 -tv-report-dir=/home/nlopes/alive2/build/logs -tv-smt-stats #0 0x00007f6f5a9f42e1 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0 #1 0x00007f6f5a9f1424 SignalHandler(int) Signals.cpp:0:0 #2 0x00007f6f5d60dcf0 __restore_rt (/lib64/libpthread.so.0+0x12cf0) #3 0x00007f6f59b2faff raise (/lib64/libc.so.6+0x4eaff) #4 0x00007f6f59b02ea5 abort (/lib64/libc.so.6+0x21ea5) #5 0x00007f6f59b72097 __libc_message (/lib64/libc.so.6+0x91097) #6 0x00007f6f59b794ec (/lib64/libc.so.6+0x984ec) #7 0x00007f6f59b7adec _int_free (/lib64/libc.so.6+0x99dec) #8 0x00007f6f5738bb50 rewriter_core::del_cache_stack() (/lib/libz3.so+0xfb9b50) #9 0x00007f6f5738bbf6 rewriter_core::~rewriter_core() (/lib/libz3.so+0xfb9bf6) #10 0x00007f6f57341e7a th_rewriter::~th_rewriter() (/lib/libz3.so+0xf6fe7a) #11 0x00007f6f565de1b2 simplify api_ast.cpp:0:0 #12 0x00007f6f565de307 Z3_simplify_ex (/lib/libz3.so+0x20c307) #13 0x00007f6f57e0e6ce smt::expr::simplifyNoTimeout() const /home/nlopes/alive2/build/../smt/expr.cpp:1989:62 #14 0x00007f6f57e0e6e4 simplify_const(smt::expr&&) /home/nlopes/alive2/build/../smt/expr.cpp:47:70 #15 0x00007f6f57e0e72c smt::expr simplify_const<>(smt::expr&&, smt::expr const&) /home/nlopes/alive2/build/../smt/expr.cpp:53:50 #16 0x00007f6f57e11e32 smt::expr::extract(unsigned int, unsigned int, unsigned int) const /home/nlopes/alive2/build/../smt/expr.cpp:1788:70 #17 0x00007f6f57dc33da IR::Byte::nonptrValue() const /home/nlopes/alive2/build/../ir/memory.cpp:286:48 #18 0x00007f6f57dc33f7 IR::Byte::isZero() const /home/nlopes/alive2/build/../ir/memory.cpp:299:60 #19 0x00007f6f57dc659f IR::Memory::data_type(std::vector<std::pair<unsigned int, smt::expr>, std::allocator<std::pair<unsigned int, smt::expr>>> const&, bool) const /home/nlopes/alive2/build/../ir/memory.cpp:945:46 #20 0x00007f6f57dd1867 IR::Memory::storeLambda(IR::Pointer const&, smt::expr const&, smt::expr const&, std::vector<std::pair<unsigned int, smt::expr>, std::allocator<std::pair<unsigned int, smt::expr>>> const&, std::set<smt::expr, std::less<smt::expr>, std::allocator<smt::expr>> const&, unsigned long) /home/nlopes/alive2/build/../ir/memory.cpp:1022:29 #21 0x00007f6f57dd5aff IR::Memory::memset_pattern(smt::expr const&, smt::expr const&, smt::expr const&, unsigned int) /home/nlopes/alive2/build/../ir/memory.cpp:1900:16 #22 0x00007f6f57da7176 smt::expr::expr() /home/nlopes/alive2/build/../smt/expr.h:64:12 #23 0x00007f6f57da7176 IR::StateValue::StateValue() /home/nlopes/alive2/build/../ir/state_value.h:16:16 #24 0x00007f6f57da7176 IR::MemsetPattern::toSMT(IR::State&) const /home/nlopes/alive2/build/../ir/instr.cpp:3633:11 #25 0x00007f6f57de7e83 IR::State::exec(IR::Value const&) /home/nlopes/alive2/build/../ir/state.cpp:161:3 #26 0x00007f6f57e43db6 util::sym_exec(IR::State&) /home/nlopes/alive2/build/../util/symexec.cpp:57:25 #27 0x00007f6f57e276fa tools::TransformVerify::exec() const /home/nlopes/alive2/build/../tools/transform.cpp:1121:22 #28 0x00007f6f57e28b0b tools::TransformVerify::verify() const /home/nlopes/alive2/build/../tools/transform.cpp:1200:5 #29 0x00007f6f57d43abb (anonymous namespace)::TVLegacyPass::verify(tools::Transform&, int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) /home/nlopes/alive2/build/../tv/tv.cpp:319:39 #30 0x00007f6f57d44b81 (anonymous namespace)::TVLegacyPass::runOnFunction(llvm::Function&) /home/nlopes/alive2/build/../tv/tv.cpp:228:20 #31 0x00007f6f57d47256 runOnModule /home/nlopes/alive2/build/../tv/tv.cpp:167:20 #32 0x00007f6f57d47256 (anonymous namespace)::TVPass::run(llvm::Module&, std::function<llvm::TargetLibraryInfo* (llvm::Function&)> const&) /home/nlopes/alive2/build/../tv/tv.cpp:580:21 #33 0x00007f6f57d4739a run /home/nlopes/alive2/build/../tv/tv.cpp:526:8 #34 0x00007f6f57d4739a llvm::detail::PassModel<llvm::Module, (anonymous namespace)::TVPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /home/nlopes/llvm/llvm/include/llvm/IR/PassManagerInternal.h:88:41 #35 0x00007f6f5ade4952 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.16git+0x2c3952) #36 0x000000000042d3fc llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::StringRef>, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool) (/home/nlopes/llvm/build/bin/opt+0x42d3fc) #37 0x000000000041f0c8 main (/home/nlopes/llvm/build/bin/opt+0x41f0c8) #38 0x00007f6f59b1bd85 __libc_start_main (/lib64/libc.so.6+0x3ad85) #39 0x000000000041fade _start (/home/nlopes/llvm/build/bin/opt+0x41fade) timeout: the monitored command dumped core /home/nlopes/alive2/build/opt-alive.sh: line 106: 1390429 Aborted $TIMEOUT /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/$TV_SHAREDLIB $NPM_PLUGIN -tv-exit-on-error $TV $@ $TV $TV_SMT_TO $TV_REPORT_DIR $TV_SMT_STATS FileCheck error: '<stdin>' is empty. FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LoopIdiom/basic.ll