Document ISO/IEC/JTC 1/SC 22/WG 23 N0877

Draft Minutes of Meeting #63
ISO/IEC JTC 1/SC 22/WG2

16-18 July 2019


Meeting Location :

Köln Maritim Hotel

Heumarkt 20, Cologne, Germant




Agenda

63.1 Opening activities

63.1.1 Opening Comments

The meeting is being held jointly with WG 21/SG 12.

Tuesday is an all-day meeting of WG 23.

Wednesday morning and Thursday morning will be a WG 23 meeting.

Wednesday and Thursday afternoon will be with SG 12.

63.1.2 Introduction of Participants/Roll Call

Erhard Ploedereder, WG 9
Clive Pygott, United Kingdom
Stephen Michell – convenor, Canada
Larry Wagoner, WG 23 - USA
Lisa Lippincott, WG 21 - USA
Peter Sommerlad, WG 21 - Germany
Paul Preney, WG 21 - Canada
Richard Corden, WG 21
John MacFarlane, WG 21
Matthew Butler, WG 21
Andrew Weis, WG 21
Gabriel Dos Reis, WG 21 - France
Michael Wong, WG 21 - Canada

63.1.3 Procedures for this Meeting

63.1.4 Approval of previous Minutes of meeting

63.1.5 Review of actions items and resolutions, Action Item and Decision Logs (N/A)

63.1.6 Approval of Agenda

63.1.7 Future Meeting Schedule


2020





#73

Nov 2020

TBD with WG 21


#72

TBD Sep 2020

With SC 22


#71

TBD June 2020

With WG 21, WG 9 or WG 5


#70

11 May 2020

Zoom, 2000-2200 UTC


#69

6 Apr 2020

Zoom 2000-2200 UTC


#68

11-14 Feb 2020

Prague, Czech Republic (WG 21)

#67

20 Jan 2020

Zoom 2100-2300 UTC


2019

#66

7-8 Nov 2019

Belfast, North Ireland with WG 21


#65

15 Oct 2019

Zoom 2000-2200 UTC


#64

26-28 September 2019

Washington, DC, Minerva Engineering, Hanover MD

www.minervaengineering.com






















63.2 Liaison Activities

63.2.1 PL22.3/WG5 (Fortran)

63.2.2 WG4 (COBOL)

63.2.3 WG9 (Ada) Erhard Ploedereder

63.2.4 PL22.11/WG14 C Clive Pygott

63.2.5 PL22.16/WG21 (C++) Michael Wong

63.2.6 MISRA C Clive Pygott

63.2.7 MISRA (C++) Clive Pygott

63.2.8 SPARK Joyce Tokar

63.2.9 Other Liaison Activities or National body reports

63.3. Document Review

63.3.1 TR 24772-1 Vulnerabilities, language independent

Document is complete, balloted, passed and being submitted to ISO for final edit and publication.

ISO wants us to give them the word document and let them do final edit. To be discussed at this meeting.

Discussed at meeting 62. We agree to state our strong reluctance to the chair and secretary. We will not accept a Word document returned to the editors that cannot be maintained afterward, especially change mode and automatic numbering.



63.3.2 TR 24772-2 Ada language specific part

Document is complete, balloted, passed and being submitted to ISO for final edit and publication.

ISO wants us to give them the word document and let them do final edit. We agree that ISO editor will first process Part 1. If we are happy with it we will give them parts 2 and 3, otherwise we will produce our own PDF's.

63.3.3 TR 24772-3 C language specific part

Document is complete, balloted, passed and being submitted to ISO for final edit and publication.

ISO wants us to give them the word document and let them do final edit. We agree that ISO editor will first process Part 1. If we are happy with it we will give them parts 2 and 3, otherwise we will produce our own PDF's.

63.3.4 TR 24772-4 Python language specific part

Draft document for discussion is N0876. Results of discussion are in N0882.

Erhard raises the issue that the Python and Java Parts contain significant tutorial material, which is not what was done for the Ada part or the C part. It was noted that people familiarizing themselves with a language have found the style useful, hence we agree to use the tutorial approach.

AI 63-1 Erhard – Compare the vulnerabilities discussed in Part 4 with the Part 1 writeup and identify holes.

6.15, We notice that floating point shifts are not covered in Part 1.

AI 63-2 – Larry, Sean – Take back document N0882, consider the comments up to 6.23 and apply global comments. Also consider the moved writeup in 8.22 that came from “dead store” and combine with the other material in 6.22. Idea, consider moving some of the name binding material to clause 5 Language concepts so that less repeat explanations are needed.

63.3.5 TR 24772-8 Fortran

Waiting for a proposal from Dan Nagel.

63.3.6 TR 24772-10 C++

We discuss clause 6.2 Type System [IHN]. This clause needs offline work and a concrete proposal before being discussed at the next joint meeting. Clause 6.2.2 was populated.

AI –  63-3 Paul Preney – Write 6.2.1 to correspond to the guidance of 6.2.2

We discuss clause 6.20 Identifier Name Reuse [YOW]. This clause is ready for larger WG 21 review.

We discuss clause 6.23 Operator Precedence and Associativity [JCW]. Clause 6.23.2 was populated as well as initial drafts for 6.23.1. A concrete proposal for 6.23.1 related to the overloading of short circuit operators is required.

AI 63-4 Paul Preney, Stephen Michell - write up the overloading of Boolean operators and how they affect short circuit of standard operators.

We complete clause 6.25 Likely Incorrect Expression [KOA]

We wrote clause 6.40 Templates and Generics [SYM] in Now 2018, but have an oustanding AI,

AI 63-5 Clive Pygott – The problem described in 6.40.1 can possibly be mitigated by language features under consideration. Research. Consider Core Guidelines I.9 T.10, T.11, 12, 13, T.20, T.21, T.22, T.23, T.24, T.25, T.26, T.30, T.31

 AI 63-6 – SG 12add the guidance from 6.47.2 Interoperability into the Core Guidelines.

We draft clause 6.59 Concurrency – Activation [CGA].

We draft clause 6.60 Concurrency – Directed Termination [CGT].

We draft clause 6.61 Concurrency – Concurrent Data Access [CGX]. Need the C++ definition of atomic (indivisible access and memory ordering) and volatile.

63.3.7 TR 24772-5 Spark

In progress with Ada Core. Interim results in N0842.

We need a face-to-face meeting with Yannick Moy, especially before End September about Spark.

63.3.8 TR 24772-6 PHP

63.3.9 TR 24772-7 Ruby

63.3.10 TR 24772-11 Java

We have a draft document submitted by Larry Wagoner. Document is N0873. Document is discussed and will be further discussed at meeting 64. Results of discussions at this meeting are in N0883.

63.3.11 Potential TR24772 Guidance on avoiding Programming Vulnerabilities – IS



63.4 Convenors report to SC 22

SC 22 made a significant error. When we asked for Parts 1 through 4 to be on a 3 year program, the secretary started all projects, and all but parts 1 through 3 are late. This year we ask for Part 4 Python, Part 6 Spark, Part 10 C++ and Part 11 Java to be initiated for a 36 month program.

63.5 Review of Assignment of responsibilities

Members are requested to examine the Java and Python

63.6 Resolutions and Action Items


63.7. Adjournment