MIME-Version: 1.0
References: <CADfhSr-pCkbDxmiOVYSAGE5QGjsQ48KKH_W424SPk+pwzKZFaQ@mail.gmail.com>
 <CAFY6G8cgNNw86oPAE6MUWm=sPd7T0xr+5qBJWEtvre2n-wUetg@mail.gmail.com>
 <CAEG8a3JR8quniKWNu4jTJJM_1fNiCPnsEQPCDO+NFtKup7MTbQ@mail.gmail.com>
 <CA+HiwqF+pBaQ5tnH7Mu=7rsNUsq1LSD9WvzCeQJz=2qD5unB0A@mail.gmail.com>
 <CA+HiwqG_PXQqL9TvQFEdyJfB9Wq1-Wm3SFppWHhMg+z2gD_nag@mail.gmail.com> <CADfhSr8hYc-4Cz7vfXH_oV-Jq81pyK9W4phLrOGspovsg2W7Kw@mail.gmail.com>
In-Reply-To: <CADfhSr8hYc-4Cz7vfXH_oV-Jq81pyK9W4phLrOGspovsg2W7Kw@mail.gmail.com>
From: Amit Langote <amitlangote09@gmail.com>
Date: Fri, 10 Apr 2026 17:05:33 +0900
Message-ID: <CA+HiwqFhGaQWX+COwv0XM6Co9jFc9=auqDKQXnaST04XAYGrBw@mail.gmail.com>
Subject: Re: BUG: PostgreSQL 19devel throws internal opfamily error for FK
 with reordered referenced columns
To: Fredrik Widlert <fredrik.widlert@digpro.se>
Cc: Junwang Zhao <zhjwpku@gmail.com>, Matheus Alcantara <matheusssilv97@gmail.com>, 
	pgsql-bugs@lists.postgresql.org
Content-Type: multipart/mixed; boundary="000000000000f301c5064f1699e9"
Archived-At: <https://www.postgresql.org/message-id/CA%2BHiwqFhGaQWX%2BCOwv0XM6Co9jFc9%3DauqDKQXnaST04XAYGrBw%40mail.gmail.com>
Precedence: bulk

--000000000000f301c5064f1699e9
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Fri, Apr 10, 2026 at 4:29=E2=80=AFPM Fredrik Widlert
<fredrik.widlert@digpro.se> wrote:
> Thanks for the very quick fix - it's a great feeling to report a problem
> and get it fixed this quickly.

Credit goes to Matheus for quickly submitting a well-written patch.

> I can confirm that the fix solves not only the small reproducer but also
> the original problems I got when trying to install our (large) system
> on PostgreSQL 19 devel for testing.

Thanks for confirming that.

> We actually ran into the same problem in two ways:
> * the reordered FK with datatype mismatch (my reproducer)
> * other reordered FKs with the same datatypes, where we instead got
>   regular FK violations
>
> In case you want a reproducer for the second case as well, I've included =
it below,
> but perhaps it's not relevant since the patch already fixed it.
>
> ----
> drop table if exists parent, child;
>
> create table parent (
>      c1 integer,
>      c2 integer,
>      primary key (c1, c2)
> );
>
> create table child (
>      c1 integer,
>      c2 integer,
>      constraint child_fk foreign key (c2, c1) references parent (c2, c1)
> );
>
> insert into parent (c1, c2) values (1, 2);
> insert into child (c1, c2) values (1, 2);

Good to know.  It's worth adding this case next to the ones Matheus's
patch added, which the attached patch does.  Will push it shortly.

--=20
Thanks, Amit Langote

--000000000000f301c5064f1699e9
Content-Type: application/octet-stream; 
	name="v1-0001-Add-test-case-for-same-type-reordered-FK-columns.patch"
Content-Disposition: attachment; 
	filename="v1-0001-Add-test-case-for-same-type-reordered-FK-columns.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_mnsmedj00>
X-Attachment-Id: f_mnsmedj00

RnJvbSAwMWJhY2FiNTRmNTUyMzkxMTY1M2FhZDc2YTc4MjE2ODc4YmQ3MjhiIE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBBbWl0IExhbmdvdGUgPGFtaXRsYW5AcG9zdGdyZXNxbC5vcmc+
CkRhdGU6IEZyaSwgMTAgQXByIDIwMjYgMTc6MDE6MjkgKzA5MDAKU3ViamVjdDogW1BBVENIIHYx
XSBBZGQgdGVzdCBjYXNlIGZvciBzYW1lLXR5cGUgcmVvcmRlcmVkIEZLIGNvbHVtbnMKClRoZSB0
ZXN0IGFkZGVkIGluIDk4MGMxYTg1ZDgxOSBjb3ZlcmVkIHRoZSBjYXNlIHdoZXJlIHJlb3JkZXJl
ZCBGSwpjb2x1bW5zIGhhdmUgZGlmZmVyZW50IHR5cGVzLCB3aGljaCB0cmlnZ2VyZWQgYW4gIm9w
ZXJhdG9yIG5vdCBhIG1lbWJlcgpvZiBvcGZhbWlseSIgZXJyb3IgcHJpb3IgdG8gdGhhdCBjb21t
aXQuICBBZGQgYSB0ZXN0IGZvciB0aGUgc2FtZS10eXBlCmNhc2UsIHdoZXJlIHRoZSB3cm9uZyBz
Y2FuIGtleSBvcmRlcmluZyBpbnN0ZWFkIHByb2R1Y2VkIGEgc3B1cmlvdXMgRksKdmlvbGF0aW9u
IHdpdGhvdXQgYW55IGludGVybmFsIGVycm9yLgoKUmVwb3J0ZWQtYnk6IEZyZWRyaWsgV2lkbGVy
dCA8ZnJlZHJpay53aWRsZXJ0QGRpZ3Byby5zZT4KRGlzY3Vzc2lvbjogaHR0cHM6Ly9wb3N0Z3Iu
ZXMvbS9DQURmaFNyOGhZYy00Q3o3dmZYSF9vVi1KcTgxcHlLOVc0cGhMck9Hc3BvdnNnMlc3S3dA
bWFpbC5nbWFpbC5jb20KLS0tCiBzcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2ZvcmVpZ25fa2V5
Lm91dCB8IDEwICsrKysrKysrKysKIHNyYy90ZXN0L3JlZ3Jlc3Mvc3FsL2ZvcmVpZ25fa2V5LnNx
bCAgICAgIHwgIDkgKysrKysrKysrCiAyIGZpbGVzIGNoYW5nZWQsIDE5IGluc2VydGlvbnMoKykK
CmRpZmYgLS1naXQgYS9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2ZvcmVpZ25fa2V5Lm91dCBi
L3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvZm9yZWlnbl9rZXkub3V0CmluZGV4IDlmYTJlMjIz
MjlhLi44YjNiMjY4ZGUwZiAxMDA2NDQKLS0tIGEvc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9m
b3JlaWduX2tleS5vdXQKKysrIGIvc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9mb3JlaWduX2tl
eS5vdXQKQEAgLTM2NzIsNiArMzY3MiwxNiBAQCBJTlNFUlQgSU5UTyBmcF9ma19vcmRlciBWQUxV
RVMgKDMsIDk5LCAnbm9uZScsIDkpOyAgLS0gc2hvdWxkIGZhaWwKIEVSUk9SOiAgaW5zZXJ0IG9y
IHVwZGF0ZSBvbiB0YWJsZSAiZnBfZmtfb3JkZXIiIHZpb2xhdGVzIGZvcmVpZ24ga2V5IGNvbnN0
cmFpbnQgImZwX2ZrX29yZGVyX2FfY19iX2ZrZXkiCiBERVRBSUw6ICBLZXkgKGEsIGMsIGIpPSg5
LCA5OSwgbm9uZSkgaXMgbm90IHByZXNlbnQgaW4gdGFibGUgImZwX3BrX29yZGVyIi4KIERST1Ag
VEFCTEUgZnBfZmtfb3JkZXIsIGZwX3BrX29yZGVyOworLS0gU2FtZS10eXBlIGNvbHVtbnMgaW4g
ZGlmZmVyZW50IG9yZGVyOgorQ1JFQVRFIFRBQkxFIGZwX3BrX3NhbWUgKGMxIGludCwgYzIgaW50
LCBQUklNQVJZIEtFWSAoYzEsIGMyKSk7CitJTlNFUlQgSU5UTyBmcF9wa19zYW1lIFZBTFVFUyAo
MSwgMik7CitDUkVBVEUgVEFCTEUgZnBfZmtfc2FtZSAoYzEgaW50LCBjMiBpbnQsCisgICAgRk9S
RUlHTiBLRVkgKGMyLCBjMSkgUkVGRVJFTkNFUyBmcF9wa19zYW1lIChjMiwgYzEpKTsKK0lOU0VS
VCBJTlRPIGZwX2ZrX3NhbWUgVkFMVUVTICgxLCAyKTsgIC0tIHNob3VsZCBzdWNjZWVkCitJTlNF
UlQgSU5UTyBmcF9ma19zYW1lIFZBTFVFUyAoOSwgOSk7ICAtLSBzaG91bGQgZmFpbAorRVJST1I6
ICBpbnNlcnQgb3IgdXBkYXRlIG9uIHRhYmxlICJmcF9ma19zYW1lIiB2aW9sYXRlcyBmb3JlaWdu
IGtleSBjb25zdHJhaW50ICJmcF9ma19zYW1lX2MyX2MxX2ZrZXkiCitERVRBSUw6ICBLZXkgKGMy
LCBjMSk9KDksIDkpIGlzIG5vdCBwcmVzZW50IGluIHRhYmxlICJmcF9wa19zYW1lIi4KK0RST1Ag
VEFCTEUgZnBfZmtfc2FtZSwgZnBfcGtfc2FtZTsKIC0tIERlZmVycmVkIGNvbnN0cmFpbnQ6IGJh
dGNoIGZsdXNoZWQgYXQgQ09NTUlULCBub3QgYXQgc3RhdGVtZW50IGVuZAogQ1JFQVRFIFRBQkxF
IGZwX3BrX2NvbW1pdCAoYSBpbnQgUFJJTUFSWSBLRVkpOwogQ1JFQVRFIFRBQkxFIGZwX2ZrX2Nv
bW1pdCAoYSBpbnQgUkVGRVJFTkNFUyBmcF9wa19jb21taXQKZGlmZiAtLWdpdCBhL3NyYy90ZXN0
L3JlZ3Jlc3Mvc3FsL2ZvcmVpZ25fa2V5LnNxbCBiL3NyYy90ZXN0L3JlZ3Jlc3Mvc3FsL2ZvcmVp
Z25fa2V5LnNxbAppbmRleCA5YWZlZTY0ZDFlMC4uN2ViODZiMTg4ZjAgMTAwNjQ0Ci0tLSBhL3Ny
Yy90ZXN0L3JlZ3Jlc3Mvc3FsL2ZvcmVpZ25fa2V5LnNxbAorKysgYi9zcmMvdGVzdC9yZWdyZXNz
L3NxbC9mb3JlaWduX2tleS5zcWwKQEAgLTI2NDMsNiArMjY0MywxNSBAQCBJTlNFUlQgSU5UTyBm
cF9ma19vcmRlciBWQUxVRVMgKDIsIDIwLCAndHdvJywgMik7ICAtLSBzaG91bGQgc3VjY2VlZAog
SU5TRVJUIElOVE8gZnBfZmtfb3JkZXIgVkFMVUVTICgzLCA5OSwgJ25vbmUnLCA5KTsgIC0tIHNo
b3VsZCBmYWlsCiBEUk9QIFRBQkxFIGZwX2ZrX29yZGVyLCBmcF9wa19vcmRlcjsKIAorLS0gU2Ft
ZS10eXBlIGNvbHVtbnMgaW4gZGlmZmVyZW50IG9yZGVyOgorQ1JFQVRFIFRBQkxFIGZwX3BrX3Nh
bWUgKGMxIGludCwgYzIgaW50LCBQUklNQVJZIEtFWSAoYzEsIGMyKSk7CitJTlNFUlQgSU5UTyBm
cF9wa19zYW1lIFZBTFVFUyAoMSwgMik7CitDUkVBVEUgVEFCTEUgZnBfZmtfc2FtZSAoYzEgaW50
LCBjMiBpbnQsCisgICAgRk9SRUlHTiBLRVkgKGMyLCBjMSkgUkVGRVJFTkNFUyBmcF9wa19zYW1l
IChjMiwgYzEpKTsKK0lOU0VSVCBJTlRPIGZwX2ZrX3NhbWUgVkFMVUVTICgxLCAyKTsgIC0tIHNo
b3VsZCBzdWNjZWVkCitJTlNFUlQgSU5UTyBmcF9ma19zYW1lIFZBTFVFUyAoOSwgOSk7ICAtLSBz
aG91bGQgZmFpbAorRFJPUCBUQUJMRSBmcF9ma19zYW1lLCBmcF9wa19zYW1lOworCiAtLSBEZWZl
cnJlZCBjb25zdHJhaW50OiBiYXRjaCBmbHVzaGVkIGF0IENPTU1JVCwgbm90IGF0IHN0YXRlbWVu
dCBlbmQKIENSRUFURSBUQUJMRSBmcF9wa19jb21taXQgKGEgaW50IFBSSU1BUlkgS0VZKTsKIENS
RUFURSBUQUJMRSBmcF9ma19jb21taXQgKGEgaW50IFJFRkVSRU5DRVMgZnBfcGtfY29tbWl0Ci0t
IAoyLjQ3LjMKCg==
--000000000000f301c5064f1699e9--