P2973 R0 Erroneous behaviour for missing return from assignment

[wg21bot]

P2973R0 Erroneous behaviour for missing return from assignment (Thomas Köppe, Jonathan Wakely)

[jensmaurer]

Depends on #1460 (P2795 Erroneous behaviour for uninitialized reads).

[jfbastien]

EWG reviewed this on Kona on Monday.

Poll: we encourage more work along the direction presented in P2973r0 “Erroneous behaviour for missing return from assignment”.	SF	F	N	A	SA
15	11	6	2	1

Consensus.

[rogerorr]

SG23 polls taken 2023-11-08

POLL: We consider the issue in P2973 is an appropriate use of erroneous behaviour.

Strongly Favor	Favor	Neutral	Against	Strongly Against
7	7	4	3	0

Consensus in favor

MULTIWAY POLL: The issue in P2973 can be resolved by:	EB for op=	op= return *this (not an error)	Widening to all functions	Ill-formed	Terminate	This is not a problem	Do nothing
13	3	8	11	2	1	3

Sorted by votes:

• 13 EB for op=
• 11 Ill-formed
• 8 Widening to all functions
• 3 op= return *this (not an error)
• 3 Do nothing
• 2 Terminate
• 1 This is not a problem

POLL: We should promise more committee time to pursuing this paper, knowing that our time is scarce and this will leave less time for other work.	Favor	Neutral	Against
17	1	5

Consensus in favor