[flang-commits] [clang] [flang] [llvm] See AAAlias for OpenMP Attributor to fix changes since dereferenceable at-point semantics (PR #218453)

[via flang-commits]

github-actions[bot] wrote:

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

* 144971 tests passed
* 3992 tests skipped
* 1 test failed

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

### Clang
<details>
<summary>Clang.OpenMP/callback_capture_lifetime.cpp</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 5
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -O2 -ffast-math -fopenmp -x c++ -emit-llvm -o - C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --allow-unused-prefixes C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -O2 -ffast-math -fopenmp -x c++ -emit-llvm -o - 'C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --allow-unused-prefixes 'C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp:29:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: define internal void @_Z6sum_ifPdPKbi.omp_outlined(
# |                 ^
# | <stdin>:1:1: note: scanning from here
# | ; ModuleID = 'C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp'
# | ^
# | <stdin>:35:1: note: possible intended match here
# | define internal void @"?sum_if@@YANPEANPEB_NH at Z.omp_outlined"(ptr noalias nofree noundef readonly captures(none) %.global_tid., ptr noalias nofree readnone captures(none) %.bound_tid., ptr noalias noundef nonnull readonly align 4 captures(none) dereferenceable(4) %count, ptr noalias noundef nonnull readonly align 8 captures(none) dereferenceable(8) %enabled, ptr nofree noundef nonnull align 8 captures(none) dereferenceable(8) %sum, ptr noalias noundef nonnull readonly align 8 captures(none) dereferenceable(8) %values) #2 {
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             1: ; ModuleID = 'C:\_work\llvm-project\llvm-project\clang\test\OpenMP\callback_capture_lifetime.cpp' 
# | label:29'0    {                                                                                                    search range start (exclusive)
# | label:29'1                                                                                                         error: no match found in search range
# |             2: source_filename = "C:\\_work\\llvm-project\\llvm-project\\clang\\test\\OpenMP\\callback_capture_lifetime.cpp" 
# |             3: target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128" 
# |             4: target triple = "x86_64-pc-windows-msvc" 
# |             5:  
# |             6: %struct.ident_t = type { i32, i32, i32, i32, ptr } 
# |             .
# |             .
# |             .
# |            30:  
# |            31: ; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) 
# |            32: declare void @llvm.lifetime.start.p0(ptr captures(none)) #1 
# |            33:  
# |            34: ; Function Attrs: alwaysinline norecurse nounwind 
# |            35: define internal void @"?sum_if@@YANPEANPEB_NH at Z.omp_outlined"(ptr noalias nofree noundef readonly captures(none) %.global_tid., ptr noalias nofree readnone captures(none) %.bound_tid., ptr noalias noundef nonnull readonly align 4 captures(none) dereferenceable(4) %count, ptr noalias noundef nonnull readonly align 8 captures(none) dereferenceable(8) %enabled, ptr nofree noundef nonnull align 8 captures(none) dereferenceable(8) %sum, ptr noalias noundef nonnull readonly align 8 captures(none) dereferenceable(8) %values) #2 { 
# | label:29'2     ?                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  possible intended match
# |            36: entry: 
# |            37:  %sum1 = alloca double, align 8 
# |            38:  %.omp.reduction.red_list = alloca [1 x ptr], align 8 
# |            39:  call void @llvm.lifetime.start.p0(ptr nonnull %sum1) #8 
# |            40:  store double 0.000000e+00, ptr %sum1, align 8, !tbaa !17 
# |             .
# |             .
# |             .
# |           176: !21 = !{i8 0, i8 2} 
# |           177: !22 = !{} 
# |           178: !23 = distinct !{!23, !24} 
# |           179: !24 = !{!"llvm.loop.mustprogress"} 
# |           180: !25 = !{!26} 
# |           181: !26 = !{i64 2, i64 -1, i64 -1, i1 true} 
# | label:29'3                                             } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# 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/218453