From 1291446d3fa4485783be0e20118b0f153cf480bb Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Thu, 20 Feb 2025 14:34:39 -0500 Subject: [PATCH] [stmt.iter.general] Index an implementation-defined behavior --- source/statements.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/source/statements.tex b/source/statements.tex index 8805695aa9..ba75c744d2 100644 --- a/source/statements.tex +++ b/source/statements.tex @@ -580,8 +580,9 @@ evaluates to \tcode{true}. The \grammarterm{statement} of a trivial infinite loop is replaced with a call to the function \tcode{std::this_thread::yield}\iref{thread.thread.this}; -it is implementation-defined whether this replacement occurs -on freestanding implementations. +it is \impldef{whether freestanding implementations replace the \grammarterm{statement} +of a trivial infinite loop with a call to the function \tcode{std::this_thread::yield}} +whether this replacement occurs on freestanding implementations. \begin{note} In a freestanding environment, concurrent forward progress is not guaranteed;