================
@@ -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
+
+// Self assignment initialization in C code will be treated as nop.
+// We will report the VarDecl only if it was left uninitialized by the time of
+// a subsequent DeclRefExpr.
+
+// NOTE: No warnings from the deadcode.DeadStores checker.
+
+void clang_analyzer_warnIfReached();
+
+struct S { int x; };
+union U { int x; };
+enum T { TT };
+
+// No need to test VarDecl of multiple variables, as they will be split into
+// single ones when constructing the CFG.
+
+int warnvar() {
+ int x = x; // no-warnings for C/C++, binding is skipped via the
+ // self-assignment filter.
+ return x; // expected-warning{{Undefined or garbage value returned to
caller}}
+}
+
+int *warnptr() {
+ int *p = p; // Same as warnvar.
+ return p; // expected-warning{{Undefined or garbage value returned to
caller}}
+}
+
+enum T warnenum() {
+ enum T t = t; // Same as warnvar.
+ return t; // expected-warning{{Undefined or garbage value returned to
caller}}
+}
+
+int warnstruct() {
+ struct S s = s; // no-warnings for C/C++
+ // In C, same as warnvar.
+ // In C++, binding is handled in the ctor call and s.x is
+ // bound to an Undefined.
----------------
steakhal wrote:
```suggestion
// no-warnings for C/C++:
// In C, same as warnvar.
// In C++, binding is handled in the ctor call and s.x is bound to an
Undefined.
struct S s = s; // no-warnings
```
https://github.com/llvm/llvm-project/pull/187530
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
