(analyse_first): New function obtained by ripping out most

of re_compile_fastmap and generalizing it a little bit so that it
can also just return whether a given (sub)pattern can match the empty
string or not.
(regex_compile): Use `analyse_first' to decide whether the loop-check
needs to be done or not for *, +, *? and +? (the loop check is costly
for non-greedy repetition).
(re_compile_fastmap): Delegate the actual work to `analyse_first'.

1 files changed, 11 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index a12f34a2a5b..3f33d4c59da 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,14 @@
+2000-03-28  Stefan Monnier  <monnier@cs.yale.edu>
+
+        * regex.c (analyse_first): New function obtained by ripping out most
+        of re_compile_fastmap and generalizing it a little bit so that it
+        can also just return whether a given (sub)pattern can match the empty
+        string or not.
+        (regex_compile): Use `analyse_first' to decide whether the loop-check
+        needs to be done or not for *, +, *? and +? (the loop check is costly
+        for non-greedy repetition).
+        (re_compile_fastmap): Delegate the actual work to `analyse_first'.
+
 2000-03-28  Dave Love  <fx@gnu.org>
 
         * s/gnu-linux.h (GC_SETJMP_WORKS): Define for i386, sparc, m68k,