* lib/dfa.c (maybe_disable_superset_dfa):
Rename from dfautf8noss. Use change.
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.
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;
if (dfa_supported (d))
{
- dfautf8noss (d);
+ maybe_disable_superset_dfa (d);
dfaanalyze (d, searchflag);
}
else