* src/regex-emacs.c (analyze_first): Fix incorrect optimization

The optimization was incorrect in a particular corner case.
In this fix I just disable it conservatively for more cases because
it's not obvious how to fix it while preserving the "good" cases.

We may find a better fix by using an approach like the one
in `mutually_exhaustive_aux`, but for now this is good enough,
especially since \{..\} repetitions are not used very frequently.

* test/src/regex-resources/PTESTS: New test.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/regex-emacs.c b/src/regex-emacs.c
index 338323cf79e..ae82dd63917 100644
--- a/src/regex-emacs.c
+++ b/src/regex-emacs.c
@@ -3086,8 +3086,10 @@ analyze_first (re_char *p, re_char *pend, char *fastmap, bool multibyte)
           /* We only care about one iteration of the loop, so we don't
              need to consider the case where this behaves like an
              on_failure_jump.  */
-          continue;
-
+          /* FIXME: Sadly, the above is not true when the loop's body
+             can match the empty string :-(  */
+          /* continue; */
+          return -1;
 
         case set_number_at:
           p += 4;