Test source: git
+ : 'RUN: at line 2' + /home/nlopes//alive2/build/scripts/opt-alive.sh -basic-aa -dse -S + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll opt: ../ir/memory.cpp:644: smt::expr IR::Pointer::isBlockAligned(unsigned int, bool) const: Assertion `align >= bits_byte / 8' failed. PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace. Stack dump: 0. Program arguments: /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/tv.so -tv-exit-on-error -tv -basic-aa -dse -S -tv -tv-smt-to=10000 -tv-report-dir=/home/nlopes/alive2/build/logs -tv-smt-stats -tv-io-nobuiltin 1. Running pass 'Function Pass Manager' on module '<stdin>'. 2. Running pass 'Translation Validator' on function '@test19' #0 0x00007f7d275f4e41 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.12git+0x1ede41) #1 0x00007f7d275f2804 llvm::sys::RunSignalHandlers() (/home/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.12git+0x1eb804) #2 0x00007f7d275f2970 SignalHandler(int) (/home/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.12git+0x1eb970) #3 0x00007f7d27031950 (/lib/x86_64-linux-gnu/libc.so.6+0x41950) #4 0x00007f7d270318cb raise ./signal/../sysdeps/unix/sysv/linux/raise.c:50:1 #5 0x00007f7d27016864 abort ./stdlib/abort.c:81:7 #6 0x00007f7d27016749 get_sysdep_segment_value ./intl/loadmsgcat.c:509:8 #7 0x00007f7d27016749 _nl_load_domain ./intl/loadmsgcat.c:970:34 #8 0x00007f7d27028a96 (/lib/x86_64-linux-gnu/libc.so.6+0x38a96) #9 0x00007f7d246cfb1a IR::Pointer::isBlockAligned(unsigned int, bool) const /home/nlopes/alive2/build/../ir/memory.cpp:648:20 #10 0x00007f7d246d2eda IR::State::addAxiom(smt::expr&&) /home/nlopes/alive2/build/../ir/state.h:172:48 #11 0x00007f7d246d2eda IR::Memory::alloc(smt::expr const&, unsigned int, IR::Memory::BlockKind, smt::expr const&, smt::expr const&, std::optional<unsigned int>, unsigned int*) /home/nlopes/alive2/build/../ir/memory.cpp:1862:20 #12 0x00007f7d24710080 IR::get_global(IR::State&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, smt::expr const&, unsigned int, bool, unsigned int&) /home/nlopes/alive2/build/../ir/value.cpp:105:35 #13 0x00007f7d24711968 IR::Input::mkInput(IR::State&, IR::Type const&, unsigned int) const (.localalias) /home/nlopes/alive2/build/../ir/value.cpp:206:65 #14 0x00007f7d24712023 IR::Input::toSMT(IR::State&) const /home/nlopes/alive2/build/../ir/value.cpp:243:1 #15 0x00007f7d246f1b61 IR::State::exec(IR::Value const&) /home/nlopes/alive2/build/../ir/state.cpp:99:3 #16 0x00007f7d24731eb3 util::sym_exec(IR::State&) /home/nlopes/alive2/build/../util/symexec.cpp:34:17 #17 0x00007f7d2472d073 tools::TransformVerify::exec() const /home/nlopes/alive2/build/../tools/transform.cpp:908:11 #18 0x00007f7d2472e1e7 tools::TransformVerify::verify() const /home/nlopes/alive2/build/../tools/transform.cpp:961:5 #19 0x00007f7d24660d79 (anonymous namespace)::TVPass::runOnFunction(llvm::Function&) /home/nlopes/alive2/build/../tv/tv.cpp:280:39 #20 0x00007f7d278db829 llvm::FPPassManager::runOnFunction(llvm::Function&) (/home/nlopes/llvm/build/bin/../lib/libLLVMCore.so.12git+0x250829) #21 0x00007f7d278dc869 llvm::FPPassManager::runOnModule(llvm::Module&) (/home/nlopes/llvm/build/bin/../lib/libLLVMCore.so.12git+0x251869) #22 0x00007f7d278da8c7 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/nlopes/llvm/build/bin/../lib/libLLVMCore.so.12git+0x24f8c7) #23 0x00007f7d2a977369 main (/home/nlopes/llvm/build/bin/opt+0x23369) #24 0x00007f7d27018cb2 __libc_start_main ./csu/../csu/libc-start.c:314:16 #25 0x00007f7d2a97813e _start (/home/nlopes/llvm/build/bin/opt+0x2413e) timeout: the monitored command dumped core /home/nlopes//alive2/build/scripts/opt-alive.sh: line 40: 20817 Aborted (core dumped) timeout 1000 /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/$TV_SHAREDLIB -tv-exit-on-error $TV $@ $TV -tv-smt-to=10000 -tv-report-dir=/home/nlopes/alive2/build/logs -tv-smt-stats $IO_NOBUILTIN FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll