JTC 1/SC 22/WG 23 C++ Vulnerability Discussions WG 23 N1563 June 1 2026 Participants Stephen Michell - convenor, SCC Peter Sommerlad - Switzerland Erhard Ploedereder - liaison Richard Corden - Spain Regrets Matt Butler - USA Loic Joly - AFNOR Paul Preney - Canada Actions: Issues addressed: #127 Need to address synthesized and rewritten candidates in 6.21? Resolvwe and closed #138 6.51 preprocessor - extend with #else1 example #164 Unanticipated exceptions from library routines Obsolete #220 Add Neibold as option to prevent overload resolution with ADL Material added to 6.21 Namespace issues #221 Merge existing material in 6.50 into 6.36 work reviewed and closed #227 Clause 6.51 requires reconsideration Work from 11 June reviewed and accepted. Closed. Clauses addressed: 4.3 Symbol lookup and overload resolution Ongoing 6.21 Namespace issues Documented interaction of function objects and argument-dependent lookup 6.51 Preprocessor directives Reviewed, work accepted. All work is done on GitHub in the folder for ISO-IEC-JTC1-SC22-WG23-CPP. Please contact stephen.michell@maurya.on.ca for access. FROM THE CHAT 2026-06-01: 2026-06-01 11:40:27 From Peter Sommerlad to Everyone: int main(){ int a; #if defined(A) a = A; #elif defined(B) a = B; #elif1 // mis-spelled preprocessor directive a = 0; #endif return a; // potentially uninitialized } 2026-06-01 11:58:01 From Richard Corden to Everyone: The entities of a C++ program are values, objects, references, structured bindings (since C++17), result bindings(since C++26), functions, enumerators, types, class members, templates, template specializations, packs(since C++11), and namespaces. Preprocessor macros are not C++ entities. 2026-06-01 11:58:48 From Richard Corden to Everyone: https://en.cppreference.com/cpp/language/basic_concepts 2026-06-01 12:03:09 From Richard Corden to Everyone: https://en.cppreference.com/cpp/language/scope 2026-06-01 12:04:56 From Richard Corden to Everyone: https://eel.is/c++draft/basic.scope.scope 2026-06-01 12:50:29 From Richard Corden to Everyone: