Bruno Haible [2024-05-31 15:03 +0200] wrote: > Basil L. Contovounesios wrote: >> 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 > Yes: [1], section "Note on GCC attributes", also claims that "pure is more > relaxed than [[reproducible]]". > [1] https://stackoverflow.com/questions/76847905/
So does that contradict the current commentary on _GL_ATTRIBUTE_PURE? Or am I misunderstanding? Thanks, -- Basil
