Date: Wed, 17 Sep 2025 17:53:42 +0000
> On Sep 17, 2025, at 08:59, Nate Eldredge via Std-Discussion <std-discussion_at_[hidden]> wrote:
>
> But without [intro.progress p1], the defined observable semantics of `debug_output_string()` are not simply "do nothing". Rather, they are "do nothing, unless s is a string of length UINT_MAX or greater, in which case loop forever and do not proceed with the rest of the program".
Off-by-one correction: should have said "string of length strictly greater than UINT_MAX".
>
> But without [intro.progress p1], the defined observable semantics of `debug_output_string()` are not simply "do nothing". Rather, they are "do nothing, unless s is a string of length UINT_MAX or greater, in which case loop forever and do not proceed with the rest of the program".
Off-by-one correction: should have said "string of length strictly greater than UINT_MAX".
Received on 2025-09-17 17:53:48