search

cplusplus / papers

ISO/IEC JTC1 SC22 WG21 paper scheduling and management
636 stars 18 forks source link

P3311 R0 An opt-in approach for integration of traditional assert facilities in C++ contracts #1962

Closed wg21bot closed 1 month ago

wg21bot commented 4 months ago

P3311R0 An opt-in approach for integration of traditional assert facilities in C++ contracts (Tom Honermann)

timuraudio commented 3 months ago

Discussed by SG21 during telecon 2024-06-20. Design direction given, revision needed:

Poll 1 We are interested in adding a standard library API to directly and unconditionally trigger the contract-violation handling process. SF F N A SA 5 8 0 0 1 Result: Consensus

Poll 2 We are interested in providing an extension to the existing C assert macro that allows it to trigger the contract-violation handling process. SF F N A SA 3 8 1 1 0 Result: Consensus

Poll 3 We are interested in a new assertion kind which more closely reproduces the semantics of the C assert macro (such as, not featuring elision, duplication, or constification) while still being part of the Contracts facility. SF F N A SA 4 3 3 2 1 Result: Weak Consensus

timuraudio commented 1 month ago

Paper withdrawn by author as it is subsumed by P3290R1.