C++20 Designated Initializers - Nested initialization

[llvmbot]

Bugzilla Link	47694
Version	trunk
OS	All
Reporter	LLVM Bugzilla Contributor
CC	@pogo59,@zygoloid

Extended Description

Hi,

This code snippet is taken from P0329R4.

struct A
{
    int x;
};

struct B
{
    A a;
};

int main()
{
    B b{.a.x = 0};
    return 0;
}

GCC fails to compile this example, which should be invalid according to the C++20 standard.

GCC error:

error: expected primary-expression before '.' token
   13 |     B b{.a.x = 0};

[pogo59]

Does C allow these? It's been too long, I can't remember the details.

[llvmbot]

I believe C does allow these.

[zygoloid]

Clang intentionally accepts the full C99 designated initializer syntax in C++ as a longstanding language extension (predating C++20 designated initialization).

If you want this extension to be disabled, you can use -Werror=c99-designator.
If you want all such extensions disabled, you can use -pedantic-errors.

[zygoloid]

(But see also bug 47693 comment 1: -Werror=c99-designator isn't enough at the moment to turn off all the C99-but-not-C++20 cases.)

[AaronBallman]

Closing this issue because -Werror=c99-designator has disabled this particular part of the extension since Clang 10.0: https://gcc.godbolt.org/z/cjMEcadde

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: None (llvmbot)

| | | | --- | --- | | Bugzilla Link | [47694](https://llvm.org/bz47694) | | Version | trunk | | OS | All | | Reporter | LLVM Bugzilla Contributor | | CC | @pogo59,@zygoloid |

Extended Description

Hi,

This code snippet is taken from P0329R4.

struct A
{
    int x;
};

struct B
{
    A a;
};

int main()
{
    B b{.a.x = 0};
    return 0;
}

GCC fails to compile this example, which should be invalid according to the C++20 standard.

GCC error:

error: expected primary-expression before '.' token
   13 |     B b{.a.x = 0};