[clang] [Clang] Implement CWG2517 Useless restriction on use of parameter in constraint-expression (PR #132919)

Sat Jun 7 03:57:04 PDT 2025

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `sanitizer-aarch64-linux-bootstrap-msan` running on `sanitizer-buildbot10` while building `clang` at step 2 "annotate".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/94/builds/7826

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/main.py:73: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 84792 tests, 72 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70
FAIL: LLVM :: Other/spirv-sim/wave-get-lane-index.spv (62523 of 84792)
******************** TEST 'LLVM :: Other/spirv-sim/wave-get-lane-index.spv' FAILED ********************
Exit Code: 139

Command Output (stderr):
--
RUN: at line 1 has no command after substitutions
'/usr/bin/python3' /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/spirv-sim/spirv-sim.py --function=simple --wave=4 --expects=0,1,2,3 -i /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/test/Other/spirv-sim/wave-get-lane-index.spv # RUN: at line 2
+ /usr/bin/python3 /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/spirv-sim/spirv-sim.py --function=simple --wave=4 --expects=0,1,2,3 -i /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/test/Other/spirv-sim/wave-get-lane-index.spv
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/test/Other/spirv-sim/Output/wave-get-lane-index.spv.script: line 2: 966784 Segmentation fault      (core dumped) '/usr/bin/python3' /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/spirv-sim/spirv-sim.py --function=simple --wave=4 --expects=0,1,2,3 -i /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/test/Other/spirv-sim/wave-get-lane-index.spv

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
Slowest Tests:
--------------------------------------------------------------------------
24.27s: Clang :: Driver/fsanitize.c
23.48s: LLVM :: tools/llvm-reduce/parallel-workitem-kill.ll
16.53s: Clang :: Preprocessor/riscv-target-features.c
15.28s: Clang :: Driver/arm-cortex-cpus-2.c
14.93s: Clang :: Driver/arm-cortex-cpus-1.c
14.13s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
13.41s: Clang :: OpenMP/target_update_codegen.cpp
11.76s: Clang :: Preprocessor/aarch64-target-features.c
11.49s: Clang :: Preprocessor/arm-target-features.c
11.42s: LLVM :: CodeGen/AMDGPU/amdgcn.bitcast.1024bit.ll
10.07s: Clang :: Driver/linux-ld.c
10.01s: LLVM-Unit :: Support/./SupportTests/ProgramEnvTest/TestExecuteNoWaitDetached
9.87s: LLVM :: CodeGen/RISCV/attributes.ll
9.75s: Clang :: Preprocessor/predefined-arch-macros.c
9.38s: Clang :: Driver/clang_f_opts.c
9.02s: Clang :: Driver/cl-options.c
8.82s: LLVM :: CodeGen/ARM/build-attributes.ll
8.80s: Clang :: Driver/x86-target-features.c
8.19s: Clang :: Analysis/a_flaky_crash.cpp
7.32s: Clang :: Preprocessor/predefined-macros-no-warnings.c

Tests Times:
Step 14 (stage3/msan check) failure: stage3/msan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/lit/lit/main.py:73: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 84792 tests, 72 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70
FAIL: LLVM :: Other/spirv-sim/wave-get-lane-index.spv (62523 of 84792)
******************** TEST 'LLVM :: Other/spirv-sim/wave-get-lane-index.spv' FAILED ********************
Exit Code: 139

Command Output (stderr):
--
RUN: at line 1 has no command after substitutions
'/usr/bin/python3' /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/spirv-sim/spirv-sim.py --function=simple --wave=4 --expects=0,1,2,3 -i /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/test/Other/spirv-sim/wave-get-lane-index.spv # RUN: at line 2
+ /usr/bin/python3 /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/spirv-sim/spirv-sim.py --function=simple --wave=4 --expects=0,1,2,3 -i /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/test/Other/spirv-sim/wave-get-lane-index.spv
/home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm_build2_msan/test/Other/spirv-sim/Output/wave-get-lane-index.spv.script: line 2: 966784 Segmentation fault      (core dumped) '/usr/bin/python3' /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/utils/spirv-sim/spirv-sim.py --function=simple --wave=4 --expects=0,1,2,3 -i /home/b/sanitizer-aarch64-linux-bootstrap-msan/build/llvm-project/llvm/test/Other/spirv-sim/wave-get-lane-index.spv

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
Slowest Tests:
--------------------------------------------------------------------------
24.27s: Clang :: Driver/fsanitize.c
23.48s: LLVM :: tools/llvm-reduce/parallel-workitem-kill.ll
16.53s: Clang :: Preprocessor/riscv-target-features.c
15.28s: Clang :: Driver/arm-cortex-cpus-2.c
14.93s: Clang :: Driver/arm-cortex-cpus-1.c
14.13s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
13.41s: Clang :: OpenMP/target_update_codegen.cpp
11.76s: Clang :: Preprocessor/aarch64-target-features.c
11.49s: Clang :: Preprocessor/arm-target-features.c
11.42s: LLVM :: CodeGen/AMDGPU/amdgcn.bitcast.1024bit.ll
10.07s: Clang :: Driver/linux-ld.c
10.01s: LLVM-Unit :: Support/./SupportTests/ProgramEnvTest/TestExecuteNoWaitDetached
9.87s: LLVM :: CodeGen/RISCV/attributes.ll
9.75s: Clang :: Preprocessor/predefined-arch-macros.c
9.38s: Clang :: Driver/clang_f_opts.c
9.02s: Clang :: Driver/cl-options.c
8.82s: LLVM :: CodeGen/ARM/build-attributes.ll
8.80s: Clang :: Driver/x86-target-features.c
8.19s: Clang :: Analysis/a_flaky_crash.cpp
7.32s: Clang :: Preprocessor/predefined-macros-no-warnings.c

Tests Times:

```

</details>

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