]> Savannah Git Hosting - gnulib.git/commitdiff
dfa: use more-informative function name
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 19 Sep 2018 02:12:06 +0000 (19:12 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 19 Sep 2018 02:16:53 +0000 (19:16 -0700)
* lib/dfa.c (maybe_disable_superset_dfa):
Rename from dfautf8noss.  Use change.

ChangeLog
lib/dfa.c

index 9c4b12c6094921fde76ca935a948a78148979493..fa7a4557dcbab4227f35130fe999a683db58c211 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2018-09-18  Paul Eggert  <eggert@cs.ucla.edu>
 
+       dfa: use more-informative function name
+       * lib/dfa.c (maybe_disable_superset_dfa):
+       Rename from dfautf8noss.  Use change.
+
        dfa: tweak allocation performance
        * lib/dfa.c (merge_nfa_state, dfaoptimize):
        Prefer ptrdiff_t for indexes some more.
index 59e15195a41293b6eb1bfff6bc69c96bd6a52375..760e060c3170fd0813ca7ded87e3c6e7cffb241d 100644 (file)
--- a/lib/dfa.c
+++ b/lib/dfa.c
@@ -3483,8 +3483,10 @@ dfa_supported (struct dfa const *d)
   return true;
 }
 
+/* Disable use of the superset DFA is it is not likely to help
+   performance.  */
 static void
-dfautf8noss (struct dfa *d)
+maybe_disable_superset_dfa (struct dfa *d)
 {
   if (!d->localeinfo.using_utf8)
     return;
@@ -3612,7 +3614,7 @@ dfacomp (char const *s, size_t len, struct dfa *d, bool searchflag)
 
   if (dfa_supported (d))
     {
-      dfautf8noss (d);
+      maybe_disable_superset_dfa (d);
       dfaanalyze (d, searchflag);
     }
   else