regcomp.c - track parens related to CURLYX and CURLYM

This was originally a patch which made somewhat drastic changes to how
we represent capture buffers, which Dave M and I and are still
discussing offline and which has a larger impact than is acceptable to
address at the current time. As such I have reverted the controversial
parts of this patch for now, while keeping most of it intact even if in
some cases the changes are unused except for debugging purposes.

This patch still contains valuable changes, for instance teaching CURLYX
and CURLYM about how many parens there are before the curly[1] (which
will be useful in follow up patches even if stricly speaking they are
not directly used yet), tests and other cleanups. Also this patch is
sufficiently large that reverting it out would have a large effect on
the patches that were made on top of it.

Thus keeping most of this patch while eliminating the controversial
parts of it for now seemed the best approach, especially as some of the
changes it introduces and the follow up patches based on it are very
useful in cleaning up the structures we use to represent regops.

[1] Curly is the regexp internals term for quantifiers, named after
x{min,max} "curly brace" quantifiers.

1 files changed, 7 insertions, 4 deletions

diff --git a/regexp.h b/regexp.h
index 8898e1b2bb..055475b8b8 100644
--- a/regexp.h
+++ b/regexp.h
@@ -67,6 +67,7 @@ struct reg_substr_data {
 typedef struct regexp_paren_pair {
     SSize_t start;
     SSize_t end;
+
     /* 'start_tmp' records a new opening position before the matching end
      * has been found, so that the old start and end values are still
      * valid, e.g.
@@ -184,14 +185,16 @@ typedef struct regexp {
 } regexp;
 
 
-#define RXp_PAREN_NAMES(rx)    ((rx)->paren_names)
+#define RXp_PAREN_NAMES(rx) ((rx)->paren_names)
 
-#define RXp_OFFS_START(rx,n)   ((rx)->offs[(n)].start)
+#define RXp_OFFS_START(rx,n) \
+     (rx)->offs[(n)].start
 
-#define RXp_OFFS_END(rx,n)     ((rx)->offs[(n)].end)
+#define RXp_OFFS_END(rx,n) \
+     (rx)->offs[(n)].end
 
 #define RXp_OFFS_VALID(rx,n) \
-    ( (rx)->offs[(n)].end != -1 && (rx)->offs[(n)].start != -1 )
+     ((rx)->offs[(n)].end >= 0 && (rx)->offs[(n)].start >= 0 )
 
 #define RX_OFFS_START(rx_sv,n)  RXp_OFFS_START(ReANY(rx_sv),n)
 #define RX_OFFS_END(rx_sv,n)    RXp_OFFS_END(ReANY(rx_sv),n)