[llvm-branch-commits] [clang] [analyzer][NFC] Determine object parameter constness for getExtraInvalidatedValues (PR #223272)

Gábor Horváth via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Mon Sep 14 07:02:28 PDT 2026


================
@@ -758,14 +758,26 @@ const FunctionDecl *CXXInstanceCall::getDecl() const {
   return getSVal(CE->getCallee()).getAsFunctionDecl();
 }
 
+static bool hasConstObjectParameter(const CXXMethodDecl *MD) {
----------------
Xazax-hun wrote:

I agree that we should have this helper available more globally and all checks would need to be audited. But I am also fine doing that as a follow-up PR.  

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


More information about the llvm-branch-commits mailing list