changeset 39860:fd9996b911ad

dfa: use more-informative function name * lib/dfa.c (maybe_disable_superset_dfa): Rename from dfautf8noss. Use change.
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 18 Sep 2018 19:12:06 -0700
parents 1f2a63e46815
children 5d7b30167723
files ChangeLog lib/dfa.c
diffstat 2 files changed, 8 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Tue Sep 18 19:05:26 2018 -0700
+++ b/ChangeLog	Tue Sep 18 19:12:06 2018 -0700
@@ -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.
--- a/lib/dfa.c	Tue Sep 18 19:05:26 2018 -0700
+++ b/lib/dfa.c	Tue Sep 18 19:12:06 2018 -0700
@@ -3483,8 +3483,10 @@
   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 @@
 
   if (dfa_supported (d))
     {
-      dfautf8noss (d);
+      maybe_disable_superset_dfa (d);
       dfaanalyze (d, searchflag);
     }
   else