Paul Eggert [2024-05-28 08:37 -0700] wrote: > + can depend on observable state. It is stricter than > + _GL_ATTRIBUTE_REPRODUCIBLE because the function must return exactly > + once and cannot affect state addressed by its arguments.) */ > /* Applies to: functions. */ > #ifndef _GL_ATTRIBUTE_PURE
[ I haven't looked at this in detail, so forgive me if I'm missing something: ] Isn't this saying that C23 [[reproducible]] is stricter than GCC pure? https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2956.htm#some-differences-with-gcc-const-and-pure Thanks, -- Basil