[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