nocfbot-0049-Point-to-the-absorption-analysis-docs-from-the-RP.txt

From 517a004dbb7367386c4c4da6fef7a32b745575e2 Mon Sep 17 00:00:00 2001
From: Henson Choi <assam258@gmail.com>
Date: Fri, 5 Jun 2026 13:14:01 +0900
Subject: [PATCH 49/68] Point to the absorption-analysis docs from the RPR flag
 definitions

The RPR_ELEM_ABSORBABLE and RPR_ELEM_ABSORBABLE_BRANCH element flags are
described in README.rpr and computed in rpr.c, but the rpr.h definitions
gave no hint of where to look.  Add a short pointer comment to
README.rpr IV-5 ("Absorbability Analysis"), its Appendix C examples, and
computeAbsorbability(), without restating the explanation.

Documentation only.

Per an off-list review comment from Jian He.
---
 src/include/optimizer/rpr.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/include/optimizer/rpr.h b/src/include/optimizer/rpr.h
index 2fa483320ce..73c827de2b1 100644
--- a/src/include/optimizer/rpr.h
+++ b/src/include/optimizer/rpr.h
@@ -44,6 +44,12 @@
 											 * quantifier */
 #define RPR_ELEM_EMPTY_LOOP			0x02	/* END: group body can produce
 											 * empty match */
+/*
+ * The two absorption flags below are explained in README.rpr IV-5
+ * ("Absorbability Analysis"), with worked examples in Appendix C; the
+ * analysis that sets them is computeAbsorbability() in
+ * optimizer/plan/rpr.c.
+ */
 #define RPR_ELEM_ABSORBABLE_BRANCH	0x04	/* element in absorbable region */
 #define RPR_ELEM_ABSORBABLE			0x08	/* absorption judgment point */
 
-- 
2.50.1 (Apple Git-155)