From f8d888f9c822a097b0635a49a8246a81ef9dd6a1 Mon Sep 17 00:00:00 2001 From: Rex Jaeschke Date: Wed, 14 Oct 2026 11:56:41 -0400 Subject: [PATCH 1/2] Address Issue #1802 --- standard/terms-and-definitions.md | 1 + 1 file changed, 1 insertion(+) diff --git a/standard/terms-and-definitions.md b/standard/terms-and-definitions.md index 1f78423b7..dbcb2b36f 100644 --- a/standard/terms-and-definitions.md +++ b/standard/terms-and-definitions.md @@ -8,6 +8,7 @@ For the purposes of this specification, the following definitions apply. Other t - **assembly** – one or more files output by the compiler as a result of program compilation - **behavior** – external appearance or action - **behavior, implementation-defined** – unspecified behavior where each implementation documents how the choice is made +- **behavior, implementation-specific** – optional behavior or feature support that does not invalidate conformance and for which no documentation is required - **behavior, undefined** – behavior, upon use of a non-portable or erroneous construct or of erroneous data, for which this specification imposes no requirements - **behavior, unspecified** – behavior where this specification provides two or more possibilities and imposes no further requirements on which is chosen in any instance - **character** (when used without a qualifier) From 560c42e9cad18323530a47611b17c6c2bbdd0d14 Mon Sep 17 00:00:00 2001 From: Rex Jaeschke Date: Thu, 15 Oct 2026 09:40:25 -0400 Subject: [PATCH 2/2] create a new B.x subclause for ImpSpec entries --- standard/portability-issues.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/standard/portability-issues.md b/standard/portability-issues.md index fb6305cb8..92436a242 100644 --- a/standard/portability-issues.md +++ b/standard/portability-issues.md @@ -51,6 +51,12 @@ A conforming implementation is required to document its choice of behavior in ea 1. The behavior of the `fixed` statement if the array expression is `null` or if the array has zero elements. ([§24.7](unsafe-code.md#247-the-fixed-statement)) 1. The behavior of the `fixed` statement if the string expression is `null`. ([§24.7](unsafe-code.md#247-the-fixed-statement)) +## §Imp-Spec-Behavior Implementation-specific behavior + +The behaviors listed in this subclause need not be documented. The following are implementation-specific: + +1. How a nullable context is specified external to the source code to which it applies. ([§8.9.4.1](types.md#8941-general)) + ## B.4 Unspecified behavior 1. The time at which the finalizer (if any) for an object is run, once that object has become eligible for finalization ([§7.9](basic-concepts.md#79-automatic-memory-management)).