Paul Eggert [2024-06-03 14:09 -0700] wrote: > N2956 has a typo. In this statement: > > "Similarly, GCC’s pure is less restricted than the new standard attribute > [[reproducible]], and an implementation of the GCC feature is, syntax aside, > an > implementation of the new standard attribute." > > The words "less restricted" should be "stricter", or (if you prefer) "less > restricted in the constraints it places on GCC's optimizations". The context > makes this clear.
Thanks for clarifying. > It's also too bad that N2956 has this typo, and that it doesn't mention > GCC's returns-exactly-once constraints on pure and const functions. Do you have a pointer to where this constraint is documented? I'm not sure what it means, and I can't find it in my copy of the gcc-13 manual. -- Basil
