diff options
| -rw-r--r-- | lib/Sema/SemaDecl.cpp | 2 | ||||
| -rw-r--r-- | test/Sema/uninit-variables.c | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp index d98ce6b0a6..63385ccd19 100644 --- a/lib/Sema/SemaDecl.cpp +++ b/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<MemberExpr>(E->getSubExpr())) return; + isa<MemberExpr>(E->getSubExpr()->IgnoreParens())) return; Inherited::VisitUnaryOperator(E); } diff --git a/test/Sema/uninit-variables.c b/test/Sema/uninit-variables.c index 180d60cbce..59577b9585 100644 --- a/test/Sema/uninit-variables.c +++ b/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); |