P2680 Contracts for C++: Prioritizing Safety

[wg21bot]

P2680R0 Contracts for C++: Prioritizing Safety (Gabriel Dos Reis)

[wg21bot]

P2680R1 Contracts for C++: Prioritizing Safety (Gabriel Dos Reis)

[timuraudio]

2022-11-12, Kona

POLL Given our limited resources, we encourage the author of P2680 to come back with a revision addressing the currently open questions, to be addressed in an SG21 telecon before the end of 2022.
SF F N A SA
9 5 1 3 7
Result: No consensus

2022-12-14, Telecon

SG21 should attempt to design a model for safe programming in C++ as part of the contracts MVP, despite the existence of SG23, and considering that this would be a diversion from the current SG21 roadmap (P2695R0).
SF F N A SA
5 2 0 7 4
Result: Not consensus

Notwithstanding the previous poll, the contracts MVP should contain contracts-checking predicates that are free of certain types of UB and free of side effects outside of their cone of evaluation, as proposed in D2680R1, and SG21 should spend further time reviewing this design, considering that this would be a diversion from the current SG21 roadmap (P2695R0).
SF F N A SA
6 2 1 5 4
Result: Not consensus

[jfbastien]

See poll here regarding stricter contracts #2022