[clang] [analyzer] Ignoring `T v=v; ` idiom for uninitialized variable checker and dead store checker (PR #187530)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 19 05:12:44 PDT 2026


================
@@ -0,0 +1,65 @@
+// RUN: %clang_analyze_cc1 -xc %s \
+// RUN:   -analyzer-checker=core,debug.ExprInspection,deadcode.DeadStores \
+// RUN:   -verify
+// RUN: %clang_analyze_cc1 -xc++ %s \
+// RUN:   -analyzer-checker=core,debug.ExprInspection,deadcode.DeadStores \
+// RUN:   -verify -w
----------------
steakhal wrote:

You can use separate verify prefixes to differentiate the two expectations.
`-verify=c,common` and `-verify=cxx,common`, and have `// c-warning {{...}}` and `// cxx-warning {{...}}` and when both RUN lines match, use `// common-warning {{...}}`

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


More information about the cfe-commits mailing list