P2723 Zero-initialize objects of automatic storage duration

[wg21bot]

P2723R0 Zero-initialize objects of automatic storage duration (JF Bastien)

[wg21bot]

P2723R1 Zero-initialize objects of automatic storage duration (JF Bastien)

[ben-craig]

P2723R1

SG23 (Safety and Security) saw this

Chairs: Roger Orr, Ben Craig
Champion: JF Bastien
Minutes: Mungo Gill

POLL: We are interested in pursuing some form of automatic stack variable initialization.

Strongly Favor	Weakly Favor	Neutral	Weakly Against	Strongly Against
40	13	2	1	1

Outcome: Consensus in favor

SA: Would like to see forced manual initialization

WA: Same

Next Steps:

EWG should see this next.

[erichkeane]

This paper was discussed in EWG during the February 10th, 2023 morning session in Issaquah. The following polls were taken:

EWG is interested in some form of automatic stack variable initialization.

SF	F	N	A	SA
39	10	4	0	0

Result: Consensus

EWG believes zero initialization, as presented in P2723R1, is the approach we wish to take to automatic stack variable initialization (with opt out).

SF	F	N	A	SA
22	14	10	4	5

Result: Consensus

As a syntax for opting-out of automatic stack variable initialization, EWG prefers the [[uninitialized]] attribute.

SF	F	N	A	SA
8	20	13	10	5

Result: Not Consensus

As a syntax for opting-out of automatic stack variable initialization, EWG prefers assignment from void.

SF	F	N	A	SA
3	11	10	18	11

Result: Not Consensus

As a syntax for opting-out of automatic stack variable initialization, EWG prefers a magic std::uninitialized library type.

SF	F	N	A	SA
20	11	10	11	5

Result: Weak Consensus

[jfbastien]

This paper has been blocked on progress for #1460.