Address ccvalid/ccnoinherit in TupleDesc support functions.

nmisch · nmisch · commit c31305de5f5a · 2014-03-23T02:13:43.000-04:00
equalTupleDescs() neglected both of these ConstrCheck fields, and
CreateTupleDescCopyConstr() neglected ccnoinherit.  At this time, the
only known behavior defect resulting from these omissions is constraint
exclusion disregarding a CHECK constraint validated by an ALTER TABLE
VALIDATE CONSTRAINT statement issued earlier in the same transaction.
Back-patch to 9.2, where these fields were introduced.
diff --git a/src/backend/access/common/tupdesc.c b/src/backend/access/common/tupdesc.c
@@ -204,6 +204,7 @@ CreateTupleDescCopyConstr(TupleDesc tupdesc)
 				if (constr->check[i].ccbin)
 					cpy->check[i].ccbin = pstrdup(constr->check[i].ccbin);
 				cpy->check[i].ccvalid = constr->check[i].ccvalid;
+				cpy->check[i].ccnoinherit = constr->check[i].ccnoinherit;
 			}
 		}
 
@@ -458,7 +459,9 @@ equalTupleDescs(TupleDesc tupdesc1, TupleDesc tupdesc2)
 			for (j = 0; j < n; check2++, j++)
 			{
 				if (strcmp(check1->ccname, check2->ccname) == 0 &&
-					strcmp(check1->ccbin, check2->ccbin) == 0)
+					strcmp(check1->ccbin, check2->ccbin) == 0 &&
+					check1->ccvalid == check2->ccvalid &&
+					check1->ccnoinherit == check2->ccnoinherit)
 					break;
 			}
 			if (j >= n)

Original file line number	Diff line number	Diff line change
`@@ -204,6 +204,7 @@ CreateTupleDescCopyConstr(TupleDesc tupdesc)`
`204`	`204`	`if (constr->check[i].ccbin)`
`205`	`205`	`cpy->check[i].ccbin = pstrdup(constr->check[i].ccbin);`
`206`	`206`	`cpy->check[i].ccvalid = constr->check[i].ccvalid;`
	`207`	`+ cpy->check[i].ccnoinherit = constr->check[i].ccnoinherit;`
`207`	`208`	`}`
`208`	`209`	`}`
`209`	`210`
`@@ -458,7 +459,9 @@ equalTupleDescs(TupleDesc tupdesc1, TupleDesc tupdesc2)`
`458`	`459`	`for (j = 0; j < n; check2++, j++)`
`459`	`460`	`{`
`460`	`461`	`if (strcmp(check1->ccname, check2->ccname) == 0 &&`
`461`		`- strcmp(check1->ccbin, check2->ccbin) == 0)`
	`462`	`+ strcmp(check1->ccbin, check2->ccbin) == 0 &&`
	`463`	`+ check1->ccvalid == check2->ccvalid &&`
	`464`	`+ check1->ccnoinherit == check2->ccnoinherit)`
`462`	`465`	`break;`
`463`	`466`	`}`
`464`	`467`	`if (j >= n)`