[clang] [analyzer] Don't invalidate pointee of pointer-to-const on callback arguments (PR #225489)

[via cfe-commits]

github-actions[bot] wrote:

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

The build failed before running any tests. Click on a failure below to see the details.

<details>
<summary>[code=1] lib/Transforms/Vectorize/CMakeFiles/LLVMVectorize.dir/SLPVectorizer.cpp.o</summary>

```
FAILED: [code=1] lib/Transforms/Vectorize/CMakeFiles/LLVMVectorize.dir/SLPVectorizer.cpp.o
sccache /opt/llvm/bin/clang++ -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GLIBCXX_USE_CXX11_ABI=1 -D_GNU_SOURCE -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/Transforms/Vectorize -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include -gmlt -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -O3 -DNDEBUG -std=c++17 -UNDEBUG -fno-exceptions -funwind-tables -fno-rtti -MD -MT lib/Transforms/Vectorize/CMakeFiles/LLVMVectorize.dir/SLPVectorizer.cpp.o -MF lib/Transforms/Vectorize/CMakeFiles/LLVMVectorize.dir/SLPVectorizer.cpp.o.d -o lib/Transforms/Vectorize/CMakeFiles/LLVMVectorize.dir/SLPVectorizer.cpp.o -c /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30360:30: error: no template named 'map' in namespace 'std'; did you mean 'max'?
30360 |   using DistToInstMap = std::map<int64_t, unsigned>;
|                         ~~~~~^~~
|                              max
/usr/lib/gcc/x86_64-linux-gnu/15/../../../../include/c++/15/bits/algorithmfwd.h:414:5: note: 'max' declared here
414 |     max(const _Tp&, const _Tp&);
|     ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30360:25: error: expected a type
30360 |   using DistToInstMap = std::map<int64_t, unsigned>;
|                         ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30360:30: error: expected ';' after alias declaration
30360 |   using DistToInstMap = std::map<int64_t, unsigned>;
|                              ^
|                              ;
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30361:9: error: unknown type name 'DistToInstMap'
30361 |   const DistToInstMap &getStores() const { return Instrs; }
|         ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30395:3: error: unknown type name 'DistToInstMap'
30395 |   DistToInstMap Instrs;
|   ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30378:5: error: unknown type name 'DistToInstMap'
30378 |     DistToInstMap PrevSet = std::move(Instrs);
|     ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30414:54: error: no type named 'DistToInstMap' in '(anonymous namespace)::RelatedStoreInsts'
30414 |   auto ExtendContexts = [&](const RelatedStoreInsts::DistToInstMap &StoreSeq) {
|                                   ~~~~~~~~~~~~~~~~~~~^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:30395:17: error: private field 'Instrs' is not used [-Werror,-Wunused-private-field]
30395 |   DistToInstMap Instrs;
|                 ^
8 errors generated.
```
</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/225489