[flang-commits] [flang] [flang][OpenMP] Add type-param-inquiry checks for non-list clauses (PR #203059)

[via flang-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 4368 tests passed
* 206 tests skipped
* 1 test failed

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

### Flang
<details>
<summary>Flang.Semantics/OpenMP/declare-target-flags.f90 (Likely Already Failing)</summary>
This test is already failing at the base commit.

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/flang -fc1 -fintrinsic-modules-path=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/finclude/flang/x86_64-unknown-linux-gnu -fdebug-dump-symbols -fopenmp -fopenmp-version=60 /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Semantics/OpenMP/declare-target-flags.f90 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Semantics/OpenMP/declare-target-flags.f90
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/flang -fc1 -fintrinsic-modules-path=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/finclude/flang/x86_64-unknown-linux-gnu -fdebug-dump-symbols -fopenmp -fopenmp-version=60 /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Semantics/OpenMP/declare-target-flags.f90
# .---command stderr------------
# | warning: OpenMP support for version 60 in flang is still incomplete [-Wexperimental-option]
# `-----------------------------
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Semantics/OpenMP/declare-target-flags.f90
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Semantics/OpenMP/declare-target-flags.f90:32:9: error: CHECK: expected string not found in input
# | !CHECK: u, PUBLIC (InCommonBlock, OmpDeclareTarget) size=40 offset=40: ObjectEntity type: REAL(4) shape: 1_8:10_8
# |         ^
# | <stdin>:288:69: note: scanning from here
# |  h, PUBLIC (Subroutine): Subprogram () OmpDeclareTargetFlags:(enter)
# |                                                                     ^
# | <stdin>:289:2: note: possible intended match here
# |  u, PUBLIC (InCommonBlock) size=40 offset=40: ObjectEntity type: REAL(4) shape: 1_8:10_8
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Semantics/OpenMP/declare-target-flags.f90
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |           283:  specialcaseflag size=1 offset=3: ObjectEntity type: INTEGER(1) 
# |           284:  which size=1 offset=0: ObjectEntity type: INTEGER(1) 
# |           285:  Module scope: m size=4 alignment=4 sourceRange=383 bytes 
# |           286:  f, PUBLIC (Subroutine): Subprogram () OmpDeclareTargetFlags:(enter) 
# |           287:  g, EXTERNAL, PUBLIC (Function, OmpDeclareTarget): Subprogram isInterface result:REAL(4) g (REAL(4) v) OmpDeclareTargetFlags:(enter) 
# |           288:  h, PUBLIC (Subroutine): Subprogram () OmpDeclareTargetFlags:(enter) 
# | check:32'0                                                                         X error: no match found
# |           289:  u, PUBLIC (InCommonBlock) size=40 offset=40: ObjectEntity type: REAL(4) shape: 1_8:10_8 
# | check:32'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:32'1      ?                                                                                        possible intended match
# |           290:  w, PUBLIC (InCommonBlock) size=40 offset=0: ObjectEntity type: REAL(4) shape: 1_8:10_8 
# | check:32'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           291:  x, PUBLIC (OmpDeclareTarget) size=4 offset=0: ObjectEntity type: INTEGER(4) OmpDeclareTargetFlags:(device_type(nohost) link) 
# | check:32'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           292:  named_block size=80 offset=0: CommonBlockDetails alignment=4: w u OmpDeclareTargetFlags:(link) 
# | check:32'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           293:  Subprogram scope: g size=44 alignment=4 sourceRange=57 bytes 
# | check:32'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           294:  g size=4 offset=0: ObjectEntity funcResult type: REAL(4) 
# | check:32'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/203059