[llvm] [polly] [IR] Don't allow successors() over block without terminators (PR #186646)

via llvm-commits llvm-commits at lists.llvm.org
Sun Mar 15 03:24:07 PDT 2026


github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 132305 tests passed
* 3009 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### MLIR
<details>
<summary>MLIR.Target/LLVMIR/openmp-private.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe -mlir-to-llvmir -split-input-file C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\openmp-private.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\openmp-private.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe' -mlir-to-llvmir -split-input-file 'C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\openmp-private.mlir'
# .---command stderr------------
# | Assertion failed: !NodePtr->isKnownSentinel(), file C:\_work\llvm-project\llvm-project\llvm\include\llvm/ADT/ilist_iterator.h, line 322
# | PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
# | Stack dump:
# | 0.	Program arguments: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\mlir-translate.exe -mlir-to-llvmir -split-input-file C:\\_work\\llvm-project\\llvm-project\\mlir\\test\\Target\\LLVMIR\\openmp-private.mlir
# | Exception Code: 0xC000001D
# |  #0 0x00007ff772618996 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0xa78996)
# |  #1 0x00007ffc4427bb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04)
# |  #2 0x00007ffc4427cad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1)
# |  #3 0x00007ffc4427e4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1)
# |  #4 0x00007ffc4427e6e1 (C:\Windows\System32\ucrtbase.dll+0x7e6e1)
# |  #5 0x00007ff7732ceab6 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x172eab6)
# |  #6 0x00007ff7732cffd7 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x172ffd7)
# |  #7 0x00007ff7732c65d4 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x17265d4)
# |  #8 0x00007ff7732c954a mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x172954a)
# |  #9 0x00007ff7729a3143 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0xe03143)
# | #10 0x00007ff7732e6401 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x1746401)
# | #11 0x00007ff7735f43af mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x1a543af)
# | #12 0x00007ff772989c74 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0xde9c74)
# | #13 0x00007ff77214748b mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x5a748b)
# | #14 0x00007ff77211f370 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x57f370)
# | #15 0x00007ff772055b92 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x4b5b92)
# | #16 0x00007ff772056376 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x4b6376)
# | #17 0x00007ff77205c1db mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x4bc1db)
# | #18 0x00007ff7720605e2 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x4c05e2)
# | #19 0x00007ff772064dd5 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x4c4dd5)
# | #20 0x00007ff771ba934d (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x934d)
# | #21 0x00007ff771bf7f32 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x57f32)
# | #22 0x00007ff771ba57ee (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x57ee)
# | #23 0x00007ff771c147b4 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x747b4)
# | #24 0x00007ff771c146b0 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x746b0)
# | #25 0x00007ff771c14239 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x74239)
# | #26 0x00007ff771c14471 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x74471)
# | #27 0x00007ff771ba17c6 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x17c6)
# | #28 0x00007ff771ba1078 (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x1078)
# | #29 0x00007ff773c6f304 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-translate.exe+0x20cf304)
# | #30 0x00007ffc4b704cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #31 0x00007ffc56bbedcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc000001d
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\openmp-private.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\openmp-private.mlir:296:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: define void @_QPprivate_alloc_with_switch() {
# |                 ^
# | <stdin>:296:54: note: scanning from here
# | define internal void @private_and_reduction_..omp_par(ptr noalias %tid.addr, ptr noalias %zero.addr) #2 {
# |                                                      ^
# | <stdin>:400:1: note: possible intended match here
# | define void @_QPequivalence() {
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Target\LLVMIR\openmp-private.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            291: omp.par.exit: ; preds = %omp_parallel 
# |            292:  ret void 
# |            293: } 
# |            294:  
# |            295: ; Function Attrs: nounwind 
# |            296: define internal void @private_and_reduction_..omp_par(ptr noalias %tid.addr, ptr noalias %zero.addr) #2 { 
# | label:296'0                                                          X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |            297: omp.par.entry: 
# | label:296'0     ~~~~~~~~~~~~~~~
# |            298:  %tid.addr.local = alloca i32, align 4 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            299:  %0 = load i32, ptr %tid.addr, align 4 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            300:  store i32 %0, ptr %tid.addr.local, align 4 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            301:  %tid = load i32, ptr %tid.addr.local, align 4 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            395: %struct.ident_t = type { i32, i32, i32, i32, ptr } 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            396:  
# | label:296'0     ~
# |            397: @0 = private unnamed_addr constant [23 x i8] c";unknown;unknown;0;0;;\00", align 1 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            398: @1 = private unnamed_addr constant %struct.ident_t { i32 0, i32 2, i32 0, i32 22, ptr @0 }, align 8 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            399:  
# | label:296'0     ~
# |            400: define void @_QPequivalence() { 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:296'1     ?                                possible intended match
# |            401:  %structArg = alloca { ptr }, align 8 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            402:  %1 = alloca [4 x i8], i64 1, align 1 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            403:  %2 = getelementptr [4 x i8], ptr %1, i32 0, i64 0 
# | label:296'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            404:  br label %entry 
# | label:296'0     ~~~~~~~~~~~~~~~~~
# |            405:  
# | label:296'0     ~
# |              .
# |              .
# |              .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

https://github.com/llvm/llvm-project/pull/186646


More information about the llvm-commits mailing list