[clang] [analyzer] Ignoring `T v=v; ` idiom for uninitialized variable checker and dead store checker (PR #187530)
Ella Ma via cfe-commits
cfe-commits at lists.llvm.org
Fri Jun 19 05:08:24 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
----------------
Snape3058 wrote:
The use of -w for C++ only is because the C++ frontend (`-Wuninitialized`) will warn self-assignment initialization for structs and references, but there are no frontend warnings in the C execution. Should I add a comment here or below in the code to indicate this?
https://github.com/llvm/llvm-project/pull/187530
More information about the cfe-commits
mailing list