Agenda for 30 March
– 3 April,
2020
MEETING OF ISO/IEC JTC 1/SC 22/WG 14 AND INCITS PL22.11
WG 14/N 2504
30 March, 2019 | 11:30 – 15:00 UTC |
31 March, 2019 | 11:30 – 15:00 UTC |
1 April, 2019 | 11:30 – 15:00 UTC |
2 April, 2019 | 11:30 – 15:00 UTC |
3 April, 2019 | 11:30 – 15:00 UTC |
Please note: Due to the global health emergency, this is no longer a face-to-face meeting.
This meeting is virtual via Zoom.
Please see the ISO Meetings platform or contact the convenor for the URL and password.
David Keaton <dmk@dmk.com>
1.1 Opening Comments (Keaton)
1.2 Introduction of Participants/Roll Call
1.3 Procedures for this Meeting (Keaton)
1.4 JTC 1 Required Reading
1.4.1 ISO Code of Conduct1.5 Approval of Previous Minutes [N 2451] (PL22.11 motion, WG 14 motion)
1.4.2 IEC Code of Conduct
1.4.3 Key points
1.6 Review of Action Items and Resolutions
1.7 Approval of Agenda [N 2504] (PL22.11 motion, WG 14 motion)
1.8 Identify National Bodies Sending Experts
1.9 INCITS Antitrust Guidelines and Patent Policy
1.10 INCITS official designated member/alternate information
2.1 SC 22
2.2 PL22.11/WG 142.2.1 Document system2.3 PL22.16/WG 21
2.4 PL22
2.5 WG 23
2.6 MISRA C2.6.1 Banks, MISRA C Liaison Report [N 2445]2.7 Other Liaison Activities
3.1 C Floating Point activity report
3.2 C Safety and Security Rules Study Group
3.3 C Memory Object Model Study Group
4.1 Report on any teleconference meetings held
5.1 Future Meeting Schedule
Please note that in-person meetings may be converted to virtual meetings due to coronavirus considerations.5.2 Future Mailings
- 3-7 August, 2020 – Freiburg im Breisgau, Germany (tentative)
(Freiburg in-person or virtual latest decision date: 25 May, 2020)- 12-16 October, 2020 – Minneapolis, Minnesota, US (tentative)
(Minneapolis in-person or virtual latest decision date: 3 August, 2020)- Spring, 2021 – Strasbourg, France (tentative)
- Fall, 2021 – TBD
- 31 January - 4 February, 2022 – Portland, Oregon, US (tentative)
- Post-Virtual-202003 – 27 April 2020
- Pre-Freiburg – 6 July 2020
- Post-Freibrug/Pre-Minneapolis – 14 September 2020
- Post-Minneapolis – 9 November 2020
Monday
6.1 Weimer, More optionally per-thread state for the library implementation [N 2444]
6.2 Tydeman, printf of NaN() [N 2446]
6.3 Tydeman, Missing example in 6.5.6 [N 2447]
6.4 Meneide, nodiscard("should have a reason") [N 2448]
Tuesday
6.5 Follow-up from earlier meetings on C Memory Object Model Study Group discussions The Memory Object Model Study Group requested time to follow up on the previous meeting's discussions. For reference, the papers from the previous meeting are shown here:
Sewell, Exploring C Semantics and Pointer Provenance [N 2311]
Sewell, Moving to a provenance-aware memory model for C: proposal for C2x [N 2362]
Sewell, C provenance semantics: examples [N 2363]
Sewell, C provenance semantics: detailed semantics [N 2364]Wednesday
6.6 Gustedt, Revise spelling of keywords v4 [N 2457]
6.7 Gustedt, Make false and true first-class language features v2 [N 2450]
6.8 Working draft updates Gustedt, ISO/IEC 9899 working drafts November 2019 [N 2454] / February 2020 [N 2478] 6.9 Gustedt, Make false and true first-class language features v3 [N 2458]
Gustedt, ISO/IEC 9899 working draft w/diffmarks November 2019 [N 2455] / February 2020 [N 2479]
Gustedt, ISO/IEC 9899 editor report November 2019 [N 2456]
6.19 Gustedt, Add an interface to query resolution of time bases v3 [N 2459]
6.11 Gustedt, Add new optional time bases v3 [N 2460]
Thursday
6.12 Gustedt, Synchronization at thread and execution termination v3 [N 2461]
6.13 Seacord, Zero-size Reallocations are Undefined Behavior [N 2464]
6.14 Seacord, intmax_t, a way forward [N 2465]
6.15 Uecker, intmax_t, again [N 2498]
6.16 Svoboda, Towards Integer Safety [N 2466]
6.17 Thomas, C2X proposal - NaN and infinity macros [N 2469]
Friday
6.18 Meneide, Preprocessor embed - Binary Resource Inclusion [N 2470]
6.19 Douglas, Stackable, thread local, signal guards [N 2471]
6.20 Blower, Adding Fundamental Type for N-bit Integers [N 2472] (Note: An updated version [N 2501] is expected)
6.21 Thomas, C2X proposal - why no wide string strfrom functions - updates n2475 [N 2490]
All clarification requests have been processed.
The following papers will be deferred to the next meeting unless there is unexpected time available this meeting
8.1 Thomas, C2X proposal - Names and locations [N 2476]
8.2 Alepins, Const functions [N 2477]
8.3 Ballman, Allowing unnamed parameters in a function definition (updates N2381) [N 2480]
8.4 Ballman, Querying attribute support (updates N2411) [N 2481]
8.5 Ballman, Minor attribute wording cleanups [N 2482]
8.6 Ballman, Unclear type relationship between a format specifier and its argument (updates N2420) [N 2483]
8.7 Bachmann, Make pointer type casting useful without negatively impacting performance [N 2484]
8.8 Bachmann, Add explicit_memset() as non-optional part of to C2X [N 2485]
8.9 Krause, register at file scope [N 2486]
8.10 Krause, short float [N 2487]
8.11 Thomas, C support for IEEE 754-2019 [N 2488]
8.12 Thomas, C2X proposal - min-max functions [N 2489]
8.13 Thomas, C2X proposal - powr justification, wording [N 2491]
8.14 Thomas, C2X proposal - note about preserving math function properties [N 2492]
8.15 Ballman, What we think we reserve (updates N2409) [N 2493]
8.16 Gustedt, a common C/C++ core specification [N 2494]
8.17 Tydeman, snprintf [N 2495]
8.18 Uecker, Compatibility of Pointers to Arrays with Qualifiers [N 2496]
8.19 Uecker, Free Positioning of Labels Inside Compound Statements [N 2497]
8.20 Meneide, Preprocessor embed - Binary Resource Inclusion, r2 [N 2499]
8.21 Meneide, Restartable and Non-Restartable Functions for Efficient Character Conversions, r2 [N 2500]
8.22 Tydeman, Range errors and math functions [N 2506]
9.1 Review of Decisions Reached
9.2 Review of Action Items
10.1 Identification of PL22.11 Voting Members
10.1.1 Members Attaining initial Voting Rights at this Meeting10.2 PL22.11 Voting Members in Jeopardy
10.1.2 Members who regained voting rights
10.2.1 Members in jeopardy due to failure to vote on Letter Ballots10.3 PL22.11 Non-voting Members
10.2.2 Members in jeopardy due to failure to attend Meetings
10.2.2.1 Members who retained voting rights by attending this meeting
10.2.2.2 Members who lost voting rights for failure to attend this meeting
10.3.1 Prospective PL22.11 Members Attending their First Meeting10.4 PL22.11 Systematic Review ballots
10.3.2 Advisory members who are attending this meeting
10.4.1 2020 National Maintenance Review, INCITS/ISO/IEC 24747:2009[R2015], Extensions to the C Library to support mathematical special functions.
10.4.2 Other systematic reviews if needed
11.1 Thanks and apologies to Philipp Krause, the originally intended host
11.2 Thanks to ISO for supplying Zoom capabilities