From 1ac804c718d05cf2f33d9153bb536c08d8c19a99 Mon Sep 17 00:00:00 2001
From: Ineiev <ineiev@gnu.org>
Date: Tue, 29 Apr 2025 11:04:53 +0000
Subject: [PATCH] * c.texi (Static Assertions): Add a note on invalid vs wrong.

---
 c.texi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/c.texi b/c.texi
index 98e4e25..373ac78 100644
--- a/c.texi
+++ b/c.texi
@@ -12922,6 +12922,9 @@ Static assertions are permitted wherever a statement or declaration is
 permitted, including at top level in the file, and also inside the
 definition of a type.
 
+@strong{Note:} The @code{==} used instead of @code{>=} probably makes
+the program wrong but not invalid.
+
 @example
 union y
 @{