From: Bruno Haible <bruno@clisp.org>
Date: Mon, 7 Apr 2025 09:02:02 +0000 (+0200)
Subject: verify: Enhance a comment.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7c53496c448c3dd5fdae5ae691172583b09e6a20;p=thirdparty%2Fgnulib.git

verify: Enhance a comment.

* lib/verify.h (_GL_COUNTER): Reference portability study regarding
__COUNTER__.
---

diff --git a/ChangeLog b/ChangeLog
index 0f582124be..13a0f3b2ec 100644
--- 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.
diff --git a/lib/verify.h b/lib/verify.h
index 96fde0b9c8..3b01d7c2fb 100644
--- a/lib/verify.h
+++ b/lib/verify.h
@@ -157,9 +157,10 @@
 #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