[clang] [clang-tools-extra] [clang][Analysis] Handle const-qualified pointer refs in `ExprMutationAnalyzer` (PR #190421)
Baranov Victor via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 14 07:21:35 PDT 2026
================
@@ -227,6 +238,12 @@ const auto nonConstReferenceType = [] {
referenceType(pointee(unless(isConstQualified()))));
};
+const auto referenceToPointerWithNonConstPointeeType = [] {
+ return hasUnqualifiedDesugaredType(
+ referenceType(pointee(hasUnqualifiedDesugaredType(
----------------
vbvictor wrote:
Can we add `pointee(isConstQualified(), hasUnqual...)` since `nonConstReferenceType` already matches for `T* &` and we are targeting `T*const &` case
https://github.com/llvm/llvm-project/pull/190421
More information about the cfe-commits
mailing list