[llvm-bugs] [Bug 38513] New: Assertion `*PtrListEnd == nullptr && "End of list is not null?"' failed. with "opt -disable-basicaa -alias-set-saturation-threshold=2 -licm"

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=38513

            Bug ID: 38513
           Summary: Assertion `*PtrListEnd == nullptr && "End of list is
                    not null?"' failed. with "opt -disable-basicaa
                    -alias-set-saturation-threshold=2 -licm"
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: mikael.holmen at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Running
 opt -disable-basicaa -alias-set-saturation-threshold=2 -licm -S -o -
bbi-16767.ll

yields
opt: ../lib/Analysis/AliasSetTracker.cpp:156: void
llvm::AliasSet::addPointer(llvm::AliasSetTracker &, llvm::AliasSet::PointerRec
&, LocationSize, const llvm::AAMDNodes &, bool): Assertion `*PtrListEnd ==
nullptr && "End of list is not null?"' failed.
Stack dump:
0.      Program arguments: /data/repo/llvm-patch/build-all/bin/opt
-disable-basicaa -alias-set-saturation-threshold=2 -licm -S -o - bbi-16767.ll 
1.      Running pass 'Function Pass Manager' on module 'bbi-16767.ll'.
2.      Running pass 'Loop Pass Manager' on function '@f1'
3.      Running pass 'Loop Invariant Code Motion' on basic block '%bb1'
#0 0x0000000002087e54 PrintStackTraceSignalHandler(void*)
(/data/repo/llvm-patch/build-all/bin/opt+0x2087e54)
#1 0x0000000002085fb0 llvm::sys::RunSignalHandlers()
(/data/repo/llvm-patch/build-all/bin/opt+0x2085fb0)
#2 0x00000000020881b8 SignalHandler(int)
(/data/repo/llvm-patch/build-all/bin/opt+0x20881b8)
#3 0x00007efee9415330 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x10330)
#4 0x00007efee8004c37 gsignal
/build/eglibc-ripdx6/eglibc-2.19/signal/../nptl/sysdeps/unix/sysv/linux/raise.c:56:0
#5 0x00007efee8008028 abort
/build/eglibc-ripdx6/eglibc-2.19/stdlib/abort.c:91:0
#6 0x00007efee7ffdbf6 __assert_fail_base
/build/eglibc-ripdx6/eglibc-2.19/assert/assert.c:92:0
#7 0x00007efee7ffdca2 (/lib/x86_64-linux-gnu/libc.so.6+0x2fca2)
#8 0x000000000148c16e llvm::AliasSet::addPointer(llvm::AliasSetTracker&,
llvm::AliasSet::PointerRec&, unsigned long, llvm::AAMDNodes const&, bool)
(/data/repo/llvm-patch/build-all/bin/opt+0x148c16e)
#9 0x000000000148d0ef
llvm::AliasSetTracker::getAliasSetForPointer(llvm::Value*, unsigned long,
llvm::AAMDNodes const&) (/data/repo/llvm-patch/build-all/bin/opt+0x148d0ef)
#10 0x000000000148d8e7 llvm::AliasSetTracker::add(llvm::StoreInst*)
(/data/repo/llvm-patch/build-all/bin/opt+0x148d8e7)
#11 0x000000000148e018 llvm::AliasSetTracker::add(llvm::BasicBlock&)
(/data/repo/llvm-patch/build-all/bin/opt+0x148e018)
#12 0x0000000001e98a6b (anonymous
namespace)::LoopInvariantCodeMotion::runOnLoop(llvm::Loop*, llvm::AAResults*,
llvm::LoopInfo*, llvm::DominatorTree*, llvm::TargetLibraryInfo*,
llvm::TargetTransformInfo*, llvm::ScalarEvolution*, llvm::MemorySSA*,
llvm::OptimizationRemarkEmitter*, bool)
(/data/repo/llvm-patch/build-all/bin/opt+0x1e98a6b)
#13 0x0000000001ea2139 (anonymous
namespace)::LegacyLICMPass::runOnLoop(llvm::Loop*, llvm::LPPassManager&)
(/data/repo/llvm-patch/build-all/bin/opt+0x1ea2139)
#14 0x0000000001592f84 llvm::LPPassManager::runOnFunction(llvm::Function&)
(/data/repo/llvm-patch/build-all/bin/opt+0x1592f84)
#15 0x0000000001af9383 llvm::FPPassManager::runOnFunction(llvm::Function&)
(/data/repo/llvm-patch/build-all/bin/opt+0x1af9383)
#16 0x0000000001af9598 llvm::FPPassManager::runOnModule(llvm::Module&)
(/data/repo/llvm-patch/build-all/bin/opt+0x1af9598)
#17 0x0000000001af9a4a llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/data/repo/llvm-patch/build-all/bin/opt+0x1af9a4a)
#18 0x00000000007556e4 main (/data/repo/llvm-patch/build-all/bin/opt+0x7556e4)
#19 0x00007efee7feff45 __libc_start_main
/build/eglibc-ripdx6/eglibc-2.19/csu/libc-start.c:321:0
#20 0x000000000073de2d _start
(/data/repo/llvm-patch/build-all/bin/opt+0x73de2d)
Abort

We're not using -disable-basicaa -alias-set-saturation-threshold=2 normally,
found this running random flags on random input.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180810/cbae36a0/attachment.html>