From b374c889e646fffac56785cb79031fd172a40b11 Mon Sep 17 00:00:00 2001
From: Ashutosh Bapat <ashutosh.bapat.oss@gmail.com>
Date: Thu, 20 Feb 2025 11:45:28 +0530
Subject: [PATCH 1/2] Add Assert in find_derived_clause_for_ec_member()

find_derived_clause_for_ec_member() should find a clause of equating the given
EM to a constant. Assert the same.

Author: Ashutosh Bapat
---
 src/backend/optimizer/path/equivclass.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/backend/optimizer/path/equivclass.c b/src/backend/optimizer/path/equivclass.c
index 0f9ecf5ee8b..493a95d26cc 100644
--- a/src/backend/optimizer/path/equivclass.c
+++ b/src/backend/optimizer/path/equivclass.c
@@ -2664,7 +2664,10 @@ find_derived_clause_for_ec_member(EquivalenceClass *ec,
 		 * members on the left side of derived clauses.
 		 */
 		if (rinfo->left_em == em)
+		{
+			Assert(rinfo->right_em->em_is_const);
 			return rinfo;
+		}
 	}
 	return NULL;
 }

base-commit: 363a6e8c6fcf9f3e19fe673ae02554645974a388
-- 
2.34.1

