From b78d0811fcdea4c886ada4e01e9ffc541837042f Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Mon, 22 Dec 2025 14:53:47 -0500 Subject: [PATCH 1/4] [basic] Remove redundant C++ qualifier from C++ program Within the C++ Standard, and programs are C++ programs, and we should not unnecessarily call out C++ in some references to programs and not others. --- source/basic.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/source/basic.tex b/source/basic.tex index 266580c8bc..5dee16e1ef 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -3376,7 +3376,7 @@ \begin{note} See the macro \libmacro{CHAR_BIT} in the header \libheaderref{climits}. \end{note} -The memory available to a \Cpp{} program consists of one or more sequences of +The memory available to a program consists of one or more sequences of contiguous bytes. Every byte has a unique address. @@ -3439,7 +3439,7 @@ \pnum \indextext{object model|(}% -The constructs in a \Cpp{} program create, destroy, refer to, access, and +The constructs in a program create, destroy, refer to, access, and manipulate objects. An \defn{object} is created by a definition\iref{basic.def}, @@ -6648,7 +6648,7 @@ through a pointer or reference\iref{basic.compound}. \end{footnote} Under a hosted -implementation, a \Cpp{} program can have more than one thread running +implementation, a program can have more than one thread running concurrently. The execution of each thread proceeds as defined by the remainder of this document. The execution of the entire program consists of an execution of all of its threads. @@ -6966,7 +6966,7 @@ \pnum \begin{note} It is possible that transformations that introduce a speculative read of a potentially -shared memory location do not preserve the semantics of the \Cpp{} program as +shared memory location do not preserve the semantics of the program as defined in this document, since they potentially introduce a data race. However, they are typically valid in the context of an optimizing compiler that targets a specific machine with well-defined semantics for data races. They would be From b5aed6a91fccc7dc1579e0b2dfbcbaedd57b8997 Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Mon, 22 Dec 2025 14:54:20 -0500 Subject: [PATCH 2/4] [dcl] Remove redundant C++ qualifier from C++ program Within the C++ Standard, and programs are C++ programs, and we should not unnecessarily call out C++ in some references to programs and not others. --- source/declarations.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/declarations.tex b/source/declarations.tex index 510def3e41..fb3c95ad0f 100644 --- a/source/declarations.tex +++ b/source/declarations.tex @@ -7555,7 +7555,7 @@ Certain functions for which a definition is supplied by the implementation are \defnx{replaceable}{function!replaceable}. -A \Cpp{} program may +A program may provide a definition with the signature of a replaceable function, called a \defnadj{replacement}{function}. The replacement function From a2373f112aeda7958a6fb1230ea9af393adf35cb Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Mon, 22 Dec 2025 14:54:47 -0500 Subject: [PATCH 3/4] [expr] Remove redundant C++ qualifier from C++ program Within the C++ Standard, and programs are C++ programs, and we should not unnecessarily call out C++ in some references to programs and not others. --- source/expressions.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index 3f16818bfd..8d406603da 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -2433,7 +2433,7 @@ within the body of $L$, the program is ill-formed. \begin{note} -Adding a contract assertion to an existing \Cpp{} program cannot +Adding a contract assertion to an existing program cannot cause additional captures. \end{note} \begin{example} @@ -6068,7 +6068,7 @@ An implementation is expected to provide default definitions for the global allocation functions\iref{basic.stc.dynamic,new.delete.single,new.delete.array}. -A \Cpp{} program can provide alternative definitions of +A program can provide alternative definitions of these functions\iref{replacement.functions} and/or class-specific versions\iref{class.free}. The set of allocation and deallocation functions that can be called @@ -6539,7 +6539,7 @@ \indextext{\idxcode{operator delete}}% An implementation provides default definitions of the global deallocation functions\iref{new.delete.single,new.delete.array}. -A \Cpp{} program can provide alternative definitions of these +A program can provide alternative definitions of these functions\iref{replacement.functions}, and/or class-specific versions\iref{class.free}. \end{note} From f3da0e6265a4a2b97915daf1a82a6f90cbd42e2e Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Mon, 22 Dec 2025 14:55:05 -0500 Subject: [PATCH 4/4] [lex] Remove redundant C++ qualifier from C++ program Within the C++ Standard, and programs are C++ programs, and we should not unnecessarily call out C++ in some references to programs and not others. --- source/lex.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/lex.tex b/source/lex.tex index ed45edd697..7b50c6fd97 100644 --- a/source/lex.tex +++ b/source/lex.tex @@ -38,7 +38,7 @@ if any, is called a \defnadj{preprocessing}{translation unit}. \begin{note} -A \Cpp{} program need not all be translated at the same time. +A program need not all be translated at the same time. Translation units can be separately translated and then later linked to produce an executable program\iref{basic.link}. \end{note} @@ -779,7 +779,7 @@ \pnum \indextext{operator|(}% \indextext{punctuator|(}% -The lexical representation of \Cpp{} programs includes a number of +The lexical representation of programs includes a number of preprocessing tokens that are used in the syntax of the preprocessor or are converted into tokens for operators and punctuators: