https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109914

--- Comment #8 from Paul Eggert <eggert at cs dot ucla.edu> ---
(In reply to Paul Eggert from comment #6)
> see N2956
> <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2956.htm#gcc>, which says
> that the GCC notions are stricter than the corresponding C23 notions.

This turns out to be wrong.

In later discussion with Jens Gustedt, an originator of [[unsequenced]], it was
discovered that N2956 is incorrect, and that some const functions are not
unsequenced (and some pure functions are not reproducible). Although Jens tried
to get C2y fixed to clear this mess up, the attempts so far have failed and
he's not even convinced any changes to the C standard are needed. See the
threads containing these messages:

https://lists.gnu.org/r/bug-gnulib/2025-01/msg00190.html
https://lists.gnu.org/r/bug-gnulib/2025-12/msg00201.html

Reply via email to