[Bug c++/110064] New: spurious missing initializer for member for anonymous

[Bug c++/110064] New: spurious missing initializer for member for anonymous

[barry.revzin at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110064

            Bug ID: 110064
           Summary: spurious missing initializer for member for anonymous
           Product: gcc
           Version: 13.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: barry.revzin at gmail dot com
  Target Milestone: ---

This program (reduced from StackOverflow:
https://stackoverflow.com/q/76375145/2069064):

struct B { };
struct D : B {
    int x;
    int y;
};

int main(int, char**) {
    D d = {.x=1, .y=2};
    (void)d;
}

with -Wall -Wextra gives a warning on:

<source>:8:22: warning: missing initializer for member 'D::<anonymous>'
[-Wmissing-field-initializers]
    8 |     D d = {.x=1, .y=2};
      |      

But there's... no member here that isn't initialized.

[Bug c++/110064] spurious missing initializer for member for anonymous

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110064

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
   Last reconfirmed|                            |2023-06-02
      Known to fail|                            |11.3.0, 12.3.0, 13.1.0,
                   |                            |14.0
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I suppose it's the field for the B base (which is empty).  Confirmed.

[Bug c++/110064] spurious missing initializer for member for anonymous

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110064

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
             Status|NEW                         |ASSIGNED
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> I suppose it's the field for the B base (which is empty).  Confirmed.

Right.  I'll have a look.

[Bug c++/110064] spurious missing initializer for member for anonymous

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110064

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:b1ae46bdd19fc2aaea41bc894168bdaf4799be80

commit r14-2657-gb1ae46bdd19fc2aaea41bc894168bdaf4799be80
Author: Marek Polacek <polacek@redhat.com>
Date:   Wed Jul 19 13:31:52 2023 -0400

    c++: -Wmissing-field-initializers and empty class [PR110064]

    Let's suppress -Wmissing-field-initializers for empty classes.

    Here I don't think I need the usual COMPLETE_TYPE_P/dependent_type_p
    checks.

            PR c++/110064

    gcc/cp/ChangeLog:

            * typeck2.cc (process_init_constructor_record): Don't emit
            -Wmissing-field-initializers for empty classes.

    gcc/testsuite/ChangeLog:

            * g++.dg/warn/Wmissing-field-initializers-3.C: New test.

[Bug c++/110064] spurious missing initializer for member for anonymous

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110064

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed for GCC 14.