diff --git a/clang/test/Sema/warn-uninitialized-statement-expression.c b/clang/test/Sema/warn-uninitialized-statement-expression.c new file mode 100644 --- /dev/null +++ b/clang/test/Sema/warn-uninitialized-statement-expression.c @@ -0,0 +1,41 @@ +// RUN: %clang_cc1 -fsyntax-only -Wuninitialized -verify %s + +void init(int*); + +void foo(void) { + int i = ({ + int z = i; // expected-warning{{variable 'i' is uninitialized when used within its own initialization}} + init(&i); + i; + }); +} + +struct widget { + int x, y; +}; +void init2(struct widget*); + +void bar(void) { + struct widget my_widget = ({ + struct widget z = my_widget; // expected-warning{{variable 'my_widget' is uninitialized when used within its own initialization}} + int x = my_widget.x; + init2(&my_widget); + my_widget; + }); +} + +void baz(void) { + struct widget a = ({ + struct widget b = ({ + b = a; // expected-warning{{variable 'a' is uninitialized when used within its own initialization}} + }); + a; + }); +} + +void f(void) { + struct widget* a = ({ + init2(a); // expected-warning{{variable 'a' is uninitialized when used within its own initialization}} + a; + }); +}