+2024-05-30 Bruno Haible <bruno@clisp.org>
+
+ attribute: Improve comments.
+ * m4/gnulib-common.m4 (gl_COMMON_BODY): Mention each macro name at the
+ beginning of its commentary.
+
2024-05-30 Collin Funk <collin.funk1@gmail.com>
endian: Quote variables that may be undefined (regr. 2024-05-18).
# endif
#endif
-/* It is OK for a compiler to move calls to the function and to omit
+/* _GL_ATTRIBUTE_CONST declares:
+ It is OK for a compiler to move calls to the function and to omit
calls to the function if another call has the same arguments or the
result is not used.
This attribute is safe for a function that neither depends on
# endif
#endif
-/* It is OK for a compiler to move calls to the function and to omit
+/* _GL_ATTRIBUTE_PURE declares:
+ It is OK for a compiler to move calls to the function and to omit
calls to the function if another call has the same arguments or the
result is not used, and if observable state is the same.
This attribute is safe for a function that does not affect observable state
# endif
#endif
-/* It is OK for a compiler to move calls to the function and to omit duplicate
+/* _GL_ATTRIBUTE_REPRODUCIBLE declares:
+ It is OK for a compiler to move calls to the function and to omit duplicate
calls to the function with the same arguments, so long as the state
addressed by its arguments is the same and is updated in time for
the rest of the program.
# endif
#endif
-/* It is OK for a compiler to move calls to the function and to omit duplicate
+/* _GL_ATTRIBUTE_UNSEQUENCED declares:
+ It is OK for a compiler to move calls to the function and to omit duplicate
calls to the function with the same arguments, so long as the state
addressed by its arguments is the same.
This attribute is safe for a function that is effectless, idempotent,