C++ Logo

std-discussion

Advanced search

Re: Is forward progress guarantee still useful?

From: Nate Eldredge <nate_at_[hidden]>
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".

Received on 2025-09-17 17:53:48