From: Bruno Haible <bruno@clisp.org>
Date: Sun, 1 Jun 2025 23:10:52 +0000 (+0200)
Subject: xgettext: librep: Improve heuristic for format strings.
X-Git-Tag: v0.26~131
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=93da58d7a92258e99af67e29232df48cacfd01fd;p=thirdparty%2Fgettext.git

xgettext: librep: Improve heuristic for format strings.

* gettext-tools/src/format-librep.c (struct spec): Add field
'likely_intentional_directives'.
(format_parse): Set it to the number of directives that don't contain a space.
(format_is_unlikely_intentional): New function.
(formatstring_librep): Use it.
* gettext-tools/tests/format-librep-3: New file.
* gettext-tools/tests/Makefile.am (TESTS): Add it.
---

diff --git a/gettext-tools/src/format-librep.c b/gettext-tools/src/format-librep.c
index 3d266e3f5..264e122b6 100644
--- a/gettext-tools/src/format-librep.c
+++ b/gettext-tools/src/format-librep.c
@@ -69,6 +69,11 @@ struct numbered_arg
 struct spec
 {
   unsigned int directives;
+  /* We consider a directive as "likely intentional" if it does not contain a
+     space.  This prevents xgettext from flagging strings like "100% complete"
+     as 'librep-format' if they don't occur in a context that requires a format
+     string.  */
+  unsigned int likely_intentional_directives;
   unsigned int numbered_arg_count;
   struct numbered_arg *numbered;
 };
@@ -94,6 +99,7 @@ format_parse (const char *format, bool translated, char *fdi,
   unsigned int number;
 
   spec.directives = 0;
+  spec.likely_intentional_directives = 0;
   spec.numbered_arg_count = 0;
   spec.numbered = NULL;
   numbered_allocated = 0;
@@ -104,6 +110,7 @@ format_parse (const char *format, bool translated, char *fdi,
       {
         /* A directive.  */
         enum format_arg_type type;
+        bool likely_intentional = true;
 
         FDI_SET (format - 1, FMTDIR_START);
         spec.directives++;
@@ -130,7 +137,11 @@ format_parse (const char *format, bool translated, char *fdi,
         /* Parse flags.  */
         while (*format == '-' || *format == '^' || *format == '0'
                || *format == '+' || *format == ' ')
-          format++;
+          {
+            if (*format == ' ')
+              likely_intentional = false;
+            format++;
+          }
 
         /* Parse width.  */
         if (c_isdigit (*format))
@@ -195,6 +206,8 @@ format_parse (const char *format, bool translated, char *fdi,
             number++;
           }
 
+        if (likely_intentional)
+          spec.likely_intentional_directives++;
         FDI_SET (format, FMTDIR_END);
 
         format++;
@@ -275,6 +288,14 @@ format_get_number_of_directives (void *descr)
   return spec->directives;
 }
 
+static bool
+format_is_unlikely_intentional (void *descr)
+{
+  struct spec *spec = (struct spec *) descr;
+
+  return spec->likely_intentional_directives == 0;
+}
+
 static bool
 format_check (void *msgid_descr, void *msgstr_descr, bool equality,
               formatstring_error_logger_t error_logger, void *error_logger_data,
@@ -359,7 +380,7 @@ struct formatstring_parser formatstring_librep =
   format_parse,
   format_free,
   format_get_number_of_directives,
-  NULL,
+  format_is_unlikely_intentional,
   format_check
 };
 
diff --git a/gettext-tools/tests/Makefile.am b/gettext-tools/tests/Makefile.am
index 1f5a1ff05..4e081e431 100644
--- a/gettext-tools/tests/Makefile.am
+++ b/gettext-tools/tests/Makefile.am
@@ -210,7 +210,7 @@ TESTS = gettext-1 gettext-2 \
 	format-javascript-1 format-javascript-2 format-javascript-3 \
 	format-kde-1 format-kde-2 \
 	format-kde-kuit-1 format-kde-kuit-2 \
-	format-librep-1 format-librep-2 \
+	format-librep-1 format-librep-2 format-librep-3 \
 	format-lisp-1 format-lisp-2 \
 	format-lua-1 format-lua-2 \
 	format-modula2-1 format-modula2-2 \
diff --git a/gettext-tools/tests/format-librep-3 b/gettext-tools/tests/format-librep-3
new file mode 100755
index 000000000..bdca2be45
--- /dev/null
+++ b/gettext-tools/tests/format-librep-3
@@ -0,0 +1,47 @@
+#! /bin/sh
+. "${srcdir=.}/init.sh"; path_prepend_ . ../src
+
+# Test heuristic recognition of librep format strings like "100% complete".
+
+cat <<\EOF > f-lr-3.jl
+(_ "Test 1a is 100% complete")
+(format nil (_ "Test 1b is 100% complete") 120)
+(_ "Test 2a from 0% complete to 100% complete")
+(format nil (_ "Test 2b from 0% complete to 100% complete") 120 121)
+(_ "Test 3a of %s is 100% complete")
+(format nil (_ "Test 3b of %s is 100% complete") "foo" 120)
+EOF
+
+: ${XGETTEXT=xgettext}
+${XGETTEXT} --omit-header --no-location -d f-lr-3.tmp f-lr-3.jl || Exit 1
+LC_ALL=C tr -d '\r' < f-lr-3.tmp.po > f-lr-3.po || Exit 1
+
+cat <<\EOF > f-lr-3.ok
+msgid "Test 1a is 100% complete"
+msgstr ""
+
+#, librep-format
+msgid "Test 1b is 100% complete"
+msgstr ""
+
+msgid "Test 2a from 0% complete to 100% complete"
+msgstr ""
+
+#, librep-format
+msgid "Test 2b from 0% complete to 100% complete"
+msgstr ""
+
+#, librep-format
+msgid "Test 3a of %s is 100% complete"
+msgstr ""
+
+#, librep-format
+msgid "Test 3b of %s is 100% complete"
+msgstr ""
+EOF
+
+: ${DIFF=diff}
+${DIFF} f-lr-3.ok f-lr-3.po
+result=$?
+
+exit $result