[clang] [clang] Lifetimebound in assignment operator should work for non-gsl annotated types. (PR #113180)

[LLVM Continuous Integration via cfe-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `sanitizer-x86_64-linux-fast` running on `sanitizer-buildbot3` while building `clang` at step 2 "annotate".

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

<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-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/main.py:72: 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: 86436 of 86437 tests, 88 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90
FAIL: Clang :: SemaCXX/attr-lifetimebound.cpp (50572 of 86436)
******************** TEST 'Clang :: SemaCXX/attr-lifetimebound.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/lib/clang/20/include -nostdsysteminc -std=c++23 -verify /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp
+ /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/lib/clang/20/include -nostdsysteminc -std=c++23 -verify /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp
error: 'expected-warning' diagnostics expected but not seen: 
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 333: object backing the foo1 will be destroyed at the end
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 335: object backing the foo2 will be destroyed at the end
error: 'expected-warning' diagnostics seen but not expected: 
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 333: object backing foo1 will be destroyed at the end of the full-expression
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 335: object backing foo2 will be destroyed at the end of the full-expression
4 errors generated.

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90..
Slowest Tests:
--------------------------------------------------------------------------
275.64s: LLVM :: CodeGen/AMDGPU/sched-group-barrier-pipeline-solver.mir
221.52s: Clang :: OpenMP/target_update_codegen.cpp
215.42s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
206.29s: Clang :: Driver/fsanitize.c
190.64s: Clang :: Preprocessor/riscv-target-features.c
150.87s: Clang :: Driver/arm-cortex-cpus-2.c
148.04s: Clang :: Driver/arm-cortex-cpus-1.c
134.31s: Clang :: Preprocessor/arm-target-features.c
133.70s: Clang :: Preprocessor/aarch64-target-features.c
120.33s: Clang :: Preprocessor/predefined-arch-macros.c
117.90s: Clang :: Analysis/a_flaky_crash.cpp
102.37s: Clang :: Driver/linux-ld.c
100.71s: LLVM :: CodeGen/RISCV/attributes.ll
95.68s: Clang :: OpenMP/target_data_codegen.cpp
95.55s: Clang :: Driver/clang_f_opts.c
95.49s: Clang :: Driver/cl-options.c
92.11s: Clang :: Driver/x86-target-features.c
Step 10 (stage2/asan_ubsan check) failure: stage2/asan_ubsan check (failure)
...
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/main.py:72: 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: 86436 of 86437 tests, 88 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90
FAIL: Clang :: SemaCXX/attr-lifetimebound.cpp (50572 of 86436)
******************** TEST 'Clang :: SemaCXX/attr-lifetimebound.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/lib/clang/20/include -nostdsysteminc -std=c++23 -verify /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp
+ /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/lib/clang/20/include -nostdsysteminc -std=c++23 -verify /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp
error: 'expected-warning' diagnostics expected but not seen: 
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 333: object backing the foo1 will be destroyed at the end
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 335: object backing the foo2 will be destroyed at the end
error: 'expected-warning' diagnostics seen but not expected: 
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 333: object backing foo1 will be destroyed at the end of the full-expression
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 335: object backing foo2 will be destroyed at the end of the full-expression
4 errors generated.

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90..
Slowest Tests:
--------------------------------------------------------------------------
275.64s: LLVM :: CodeGen/AMDGPU/sched-group-barrier-pipeline-solver.mir
221.52s: Clang :: OpenMP/target_update_codegen.cpp
215.42s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
206.29s: Clang :: Driver/fsanitize.c
190.64s: Clang :: Preprocessor/riscv-target-features.c
150.87s: Clang :: Driver/arm-cortex-cpus-2.c
148.04s: Clang :: Driver/arm-cortex-cpus-1.c
134.31s: Clang :: Preprocessor/arm-target-features.c
133.70s: Clang :: Preprocessor/aarch64-target-features.c
120.33s: Clang :: Preprocessor/predefined-arch-macros.c
117.90s: Clang :: Analysis/a_flaky_crash.cpp
102.37s: Clang :: Driver/linux-ld.c
100.71s: LLVM :: CodeGen/RISCV/attributes.ll
95.68s: Clang :: OpenMP/target_data_codegen.cpp
95.55s: Clang :: Driver/clang_f_opts.c
95.49s: Clang :: Driver/cl-options.c
92.11s: Clang :: Driver/x86-target-features.c
Step 13 (stage2/msan check) failure: stage2/msan check (failure)
...
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/ld.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/main.py:72: 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: 86435 tests, 88 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.
FAIL: Clang :: SemaCXX/attr-lifetimebound.cpp (53111 of 86435)
******************** TEST 'Clang :: SemaCXX/attr-lifetimebound.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/lib/clang/20/include -nostdsysteminc -std=c++23 -verify /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp
+ /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/lib/clang/20/include -nostdsysteminc -std=c++23 -verify /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp
error: 'expected-warning' diagnostics expected but not seen: 
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 333: object backing the foo1 will be destroyed at the end
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 335: object backing the foo2 will be destroyed at the end
error: 'expected-warning' diagnostics seen but not expected: 
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 333: object backing foo1 will be destroyed at the end of the full-expression
  File /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/clang/test/SemaCXX/attr-lifetimebound.cpp Line 335: object backing foo2 will be destroyed at the end of the full-expression
4 errors generated.

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
Slowest Tests:
--------------------------------------------------------------------------
210.25s: LLVM :: CodeGen/AMDGPU/sched-group-barrier-pipeline-solver.mir
146.78s: Clang :: Analysis/runtime-regression.c
84.45s: Clang :: CodeGen/aarch64-sve-intrinsics/acle_sve_reinterpret.c
74.57s: Clang :: CodeGen/aarch64-sve-intrinsics/acle_sve_st4.c
73.79s: Clang :: CodeGen/aarch64-sme2-intrinsics/acle_sme2_max.c
73.46s: Clang :: CodeGen/aarch64-sve-intrinsics/acle_sve_qdecp.c
71.69s: Clang :: CodeGen/aarch64_neon_sve_bridge_intrinsics/acle_neon_sve_bridge_get_neonq.c
70.72s: LLVM :: CodeGen/AArch64/atomic-ops-lse.ll
69.95s: Clang :: CodeGen/PowerPC/ppc-mmintrin.c
69.66s: Clang :: CodeGen/aarch64-sve-intrinsics/acle_sve_set3.c
69.02s: Clang :: CodeGen/aarch64-sve-intrinsics/acle_sve_asrd.c
68.36s: Clang :: CodeGen/x86_32-align-linux.c
67.82s: Clang :: CodeGen/aarch64-sve-intrinsics/acle_sve_ld1-bfloat.c
67.25s: LLVM :: CodeGen/AMDGPU/flat_atomics_i64_system_noprivate.ll
66.26s: Clang :: CodeGen/aarch64-sme2-intrinsics/acle_sme2_fmlas16.c
65.50s: Clang :: CodeGen/aarch64-sve2p1-intrinsics/acle_sve2p1_create4_bool.c
64.38s: Clang :: CodeGen/aarch64-sve2p1-intrinsics/acle_sve2p1_set4_bool.c

```

</details>

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