[clang] [clang][analyzer] Make CallAndMessage:ArgPointeeInitializedness released (NFC) (PR #199184)

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Fri May 22 01:33:23 PDT 2026


https://github.com/balazske created https://github.com/llvm/llvm-project/pull/199184

The option was in `InAlpha` state but should be `Released` instead. It was improved in changes #164600 and #173854.

>From c053dbd5a2b6ee6206239f47deca37775d5c52bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bal=C3=A1zs=20K=C3=A9ri?= <balazs.keri at ericsson.com>
Date: Fri, 22 May 2026 10:25:32 +0200
Subject: [PATCH] [clang][analyzer] Make
 CallAndMessage:ArgPointeeInitializedness released (NFC)

The option was in 'InAlpha' state but should be 'Released' instead.
It was improved in changes #164600 and #173854.
---
 clang/include/clang/StaticAnalyzer/Checkers/Checkers.td | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td b/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
index 6b9e0b50e1f59..eca2afbe340a9 100644
--- a/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
+++ b/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
@@ -169,7 +169,7 @@ def CallAndMessageChecker
            CmdLineOption<Boolean, "ArgPointeeInitializedness",
                          "Check whether the pointee of a pass-by-reference or "
                          "pass-by-pointer is undefined",
-                         "false", InAlpha>,
+                         "false", Released>,
            CmdLineOption<
                Boolean, "NilReceiver",
                "Check whether the receiver in the message expression is nil",



More information about the cfe-commits mailing list