verify: Enhance a comment.
authorBruno Haible <bruno@clisp.org>
Mon, 7 Apr 2025 09:02:02 +0000 (11:02 +0200)
committerBruno Haible <bruno@clisp.org>
Mon, 7 Apr 2025 09:02:02 +0000 (11:02 +0200)
* lib/verify.h (_GL_COUNTER): Reference portability study regarding
__COUNTER__.

ChangeLog
lib/verify.h

index 0f582124be9f5ecc71ceb8b156d2aad5f51309ee..13a0f3b2ec6e805aaa73fb26f1c54cacbb7d6a79 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2025-04-07  Bruno Haible  <bruno@clisp.org>
+
+       verify: Enhance a comment.
+       * lib/verify.h (_GL_COUNTER): Reference portability study regarding
+       __COUNTER__.
+
 2025-04-07  Bruno Haible  <bruno@clisp.org>
 
        stdioext: Update comments regarding Haiku.
index 96fde0b9c81b976d10edad082df8d75b48e957cf..3b01d7c2fb39e246ae4e88ac3264fcc259a6e1ae 100644 (file)
 #define _GL_CONCAT0(x, y) x##y
 
 /* _GL_COUNTER is an integer, preferably one that changes each time we
-   use it.  Use __COUNTER__ if it works, falling back on __LINE__
-   otherwise.  __LINE__ isn't perfect, but it's better than a
-   constant.  */
+   use it.  Use __COUNTER__ if it works (it does so with most compilers,
+   see <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3457.htm>),
+   falling back on __LINE__ otherwise.  __LINE__ isn't perfect, but it's
+   better than a constant.  */
 #if defined __COUNTER__ && __COUNTER__ != __COUNTER__
 # define _GL_COUNTER __COUNTER__
 #else