On 2026-02-14 12:24, Alejandro Colomar wrote:
There's no such requirement for [[noreturn]] in C23, and for good reason.
Why should there be such a requirement for [[reproducible]]?
Indeed, there's discussion on [[noreturn]] going on at the moment, both
in WG14 and WG21. Don't consider any existing standard attributes to be
settled or good.
The only discussion I know about in WG14 is N3483
<https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3483.pdf> and it does
not have the problem that I mentioned - assuming its notion of "control
flow" is formally defined in some other part of C2y in a way that works
with real compilers and real programs (and if so, where is it defined?).
At any rate, if there's going to be a change to [[reproducible]] along
the lines proposed for [[noreturn]], such a change needs to refer to
"control flow", whatever "control flow" means.
