Re: [PATCH] attribute: const/pure defaults to unsequenced/reproducible

[Basil L. Contovounesios]

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