[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