regcomp.c - add optimistic eval (*{ ... }) and (**{ ... })

This adds (*{ ... }) and (**{ ... }) as equivalents to (?{ ... }) and
(??{ ... }). The only difference being that the star variants are
"optimisitic" and are defined to never disable optimisations. This is
especially relevant now that use of (?{ ... }) prevents important
optimisations anywhere in the pattern, instead of the older and inconsistent
rules where it only affected the parts that contained the EVAL.

It is also very useful for injecting debugging style expressions to the
pattern to understand what the regex engine is actually doing. The older
style (?{ ... }) variants would change the regex engines behavior, meaning
this was not as effective a tool as it could have been.

Similarly it is now possible to test that a given regex optimisation
works correctly using (*{ ... }), which was not possible with (?{ ... }).

1 files changed, 3 insertions, 0 deletions

diff --git a/regcomp_internal.h b/regcomp_internal.h
index 3ba4667bf3..ac36b8c6f7 100644
--- a/regcomp_internal.h
+++ b/regcomp_internal.h
@@ -1193,6 +1193,9 @@ static const scan_data_t zero_scan_data = {
             if (RExC_seen & REG_UNBOUNDED_QUANTIFIER_SEEN)                  \
                 Perl_re_printf( aTHX_ "REG_UNBOUNDED_QUANTIFIER_SEEN ");    \
                                                                             \
+            if (RExC_seen & REG_PESSIMIZE_SEEN)                             \
+                Perl_re_printf( aTHX_ "REG_PESSIMIZE_SEEN ");               \
+                                                                            \
             Perl_re_printf( aTHX_ "\n");                                    \
         });