[clang] [LifetimeSafety] Track dereference operators for GSL pointers in STL (PR #176643)

[via cfe-commits]

github-actions[bot] wrote:

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

* 51858 tests passed
* 908 tests skipped
* 1 test failed

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

### Clang
<details>
<summary>Clang.SemaCXX/attr-gsl-owner-pointer-std.cpp</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\23\include -nostdsysteminc -ast-dump C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\attr-gsl-owner-pointer-std.cpp |  c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --implicit-check-not OwnerAttr --implicit-check-not PointerAttr C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\attr-gsl-owner-pointer-std.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\23\include' -nostdsysteminc -ast-dump 'C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\attr-gsl-owner-pointer-std.cpp'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --implicit-check-not OwnerAttr --implicit-check-not PointerAttr 'C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\attr-gsl-owner-pointer-std.cpp'
# .---command stderr------------
# | command line:1:22: error: IMPLICIT-CHECK-NOT: excluded string found in input
# | -implicit-check-not='PointerAttr'
# |                      ^
# | <stdin>:317:9: note: found here
# | | | | |-PointerAttr 0x1e2f4a2cf38 <<invalid sloc>> Implicit
# |         ^~~~~~~~~~~
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\attr-gsl-owner-pointer-std.cpp
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |           .
# |           .
# |           .
# |         312: | | | | |-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param 
# |         313: | | | | |-MoveConstructor exists simple trivial needs_implicit 
# |         314: | | | | |-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param 
# |         315: | | | | |-MoveAssignment exists simple trivial needs_implicit 
# |         316: | | | | `-Destructor simple irrelevant trivial needs_implicit 
# |         317: | | | |-PointerAttr 0x1e2f4a2cf38 <<invalid sloc>> Implicit 
# | not:imp2             !~~~~~~~~~~                                          error: no match expected
# |         318: | | | `-CXXRecordDecl 0x1e2f4a2c8a0 <col:1, col:7> col:7 implicit class __unordered_multimap_iterator 
# |         319: | | `-ClassTemplateSpecializationDecl 0x1e2f4a2ad20 <line:101:1, line:102:38> col:7 class __unordered_multimap_iterator definition instantiated_from 0x1e2f4a2c750 implicit_instantiation 
# |         320: | | |-DefinitionData pass_in_registers empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init 
# |         321: | | | |-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr 
# |         322: | | | |-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param 
# |           .
# |           .
# |           .
# | >>>>>>
# `-----------------------------
# 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/176643