Test source: git
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -basic-aa -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 -basic-aa -loop-idiom -S -tv -tv-smt-to=20000 -tv-report-dir=/home/nlopes/alive2/build/logs -tv-smt-stats #0 0x00007ff17455dd11 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0 #1 0x00007ff17455ae54 SignalHandler(int) Signals.cpp:0:0 #2 0x00007ff177143cf0 __restore_rt (/lib64/libpthread.so.0+0x12cf0) #3 0x00007ff17369caff raise (/lib64/libc.so.6+0x4eaff) #4 0x00007ff17366fea5 abort (/lib64/libc.so.6+0x21ea5) #5 0x00007ff1736df097 __libc_message (/lib64/libc.so.6+0x91097) #6 0x00007ff1736e64ec (/lib64/libc.so.6+0x984ec) #7 0x00007ff1736e7dec _int_free (/lib64/libc.so.6+0x99dec) #8 0x00007ff1711e4109 rewriter_core::~rewriter_core() (/lib/libz3.so+0xf8f109) #9 0x00007ff17119a4ba th_rewriter::~th_rewriter() (/lib/libz3.so+0xf454ba) #10 0x00007ff17045bc52 simplify api_ast.cpp:0:0 #11 0x00007ff17045bda7 Z3_simplify_ex (/lib/libz3.so+0x206da7) #12 0x00007ff171c2a501 smt::expr::simplifyNoTimeout() const (/home/nlopes/alive2/build/tv/tv.so+0x13d501) #13 0x00007ff171c2dfa3 smt::expr::extract(unsigned int, unsigned int, unsigned int) const (/home/nlopes/alive2/build/tv/tv.so+0x140fa3) #14 0x00007ff171bd92ac IR::Byte::nonptrValue() const (/home/nlopes/alive2/build/tv/tv.so+0xec2ac) #15 0x00007ff171bd9c56 IR::Byte::isZero() const (/home/nlopes/alive2/build/tv/tv.so+0xecc56) #16 0x00007ff171bdc8f2 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/tv/tv.so+0xef8f2) #17 0x00007ff171be3ab6 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/tv/tv.so+0xf6ab6) #18 0x00007ff171be8a7a IR::Memory::memset_pattern(smt::expr const&, smt::expr const&, smt::expr const&, unsigned int) (/home/nlopes/alive2/build/tv/tv.so+0xfba7a) #19 0x00007ff171bc5d6c IR::MemsetPattern::toSMT(IR::State&) const (/home/nlopes/alive2/build/tv/tv.so+0xd8d6c) #20 0x00007ff171c03739 IR::State::exec(IR::Value const&) (/home/nlopes/alive2/build/tv/tv.so+0x116739) #21 0x00007ff171c4f314 util::sym_exec(IR::State&) (/home/nlopes/alive2/build/tv/tv.so+0x162314) #22 0x00007ff171c45af2 tools::TransformVerify::exec() const (/home/nlopes/alive2/build/tv/tv.so+0x158af2) #23 0x00007ff171c46b92 tools::TransformVerify::verify() const (/home/nlopes/alive2/build/tv/tv.so+0x159b92) #24 0x00007ff171b72b94 (anonymous namespace)::TVLegacyPass::runOnFunction(llvm::Function&) tv.cpp:0:0 #25 0x00007ff171b74a45 (anonymous namespace)::TVPass::run(llvm::Module&, std::function<llvm::TargetLibraryInfo* (llvm::Function&)> const&) tv.cpp:0:0 #26 0x00007ff171b74c16 llvm::detail::PassModel<llvm::Module, (anonymous namespace)::TVPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) tv.cpp:0:0 #27 0x00007ff17494b502 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.16git+0x2c2502) #28 0x000000000042f65d 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+0x42f65d) #29 0x000000000042070b main (/home/nlopes/llvm/build/bin/opt+0x42070b) #30 0x00007ff173688d85 __libc_start_main (/lib64/libc.so.6+0x3ad85) #31 0x0000000000420fbe _start (/home/nlopes/llvm/build/bin/opt+0x420fbe) timeout: the monitored command dumped core /home/nlopes/alive2/build/opt-alive.sh: line 106: 3152624 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