diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp index d98ce6b0a6cd..63385ccd196a 100644 --- a/clang/lib/Sema/SemaDecl.cpp +++ b/clang/lib/Sema/SemaDecl.cpp @@ -6232,7 +6232,7 @@ namespace { void VisitUnaryOperator(UnaryOperator *E) { // For POD record types, addresses of its own members are well-defined. if (E->getOpcode() == UO_AddrOf && isRecordType && isPODType && - isa(E->getSubExpr())) return; + isa(E->getSubExpr()->IgnoreParens())) return; Inherited::VisitUnaryOperator(E); } diff --git a/clang/test/Sema/uninit-variables.c b/clang/test/Sema/uninit-variables.c index 180d60cbce76..59577b958537 100644 --- a/clang/test/Sema/uninit-variables.c +++ b/clang/test/Sema/uninit-variables.c @@ -438,6 +438,10 @@ void test54() { ASSIGN(int, c, d); // expected-warning {{variable 'c' is uninitialized when used here}} } +// Taking the address is fine +struct { struct { void *p; } a; } test55 = { { &test55.a }}; // no-warning +struct { struct { void *p; } a; } test56 = { { &(test56.a) }}; // no-warning + void uninit_in_loop() { int produce(void); void consume(int);