MIME-Version: 1.0
References: <19542-97a0785e900e2fde@postgresql.org>
In-Reply-To: <19542-97a0785e900e2fde@postgresql.org>
From: vaibhave postgres <postgresvaibhave@gmail.com>
Date: Sun, 5 Jul 2026 13:50:18 +0530
Message-ID: 
 <CAM_eQjx8oO1CwcnYukKsTzzy-rcTn2vHdXk3jtgA91ZdoQ=4nw@mail.gmail.com>
Subject: Re: BUG #19542: Boolean syntax in GRAPH_TABLE
To: h.lefebvre.69@gmail.com, pgsql-bugs@lists.postgresql.org
Content-Type: multipart/mixed; boundary="000000000000ab61610655d8d44e"
Archived-At: 
 <https://www.postgresql.org/message-id/CAM_eQjx8oO1CwcnYukKsTzzy-rcTn2vHdXk3jtgA91ZdoQ%3D4nw%40mail.gmail.com>
Precedence: bulk

--000000000000ab61610655d8d44e
Content-Type: multipart/alternative; boundary="000000000000ab61600655d8d44c"

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

Thanks for reporting.

The crash comes from replace_property_refs()
(src/backend/rewrite/rewriteGraphTable.c) which rewrites the
GraphPropertyRef nodes.

It calls expression_tree_mutator() directly on the top level node instead
of calling it's mutator (replace_property_refs_mutator()) which treats
GraphPropertyRef as a leaf & just copies it unchanged.

```
case T_GraphLabelRef:
case T_GraphPropertyRef:
case T_MergeSupportFunc:

return copyObject(node);

```


The fix is to call the mutator directly at the entry point.

Thanks,
Vaibhave.

On Fri, Jul 3, 2026 at 7:53=E2=80=AFPM PG Bug reporting form <noreply@postg=
resql.org>
wrote:

> The following bug has been logged on the website:
>
> Bug reference:      19542
> Logged by:          Herv=C3=A9 Lefebvre
> Email address:      h.lefebvre.69@gmail.com
> PostgreSQL version: 19beta1
> Operating system:   Linux
> Description:
>
> In MATCH clause you cannot use "WHERE boolean" Syntax. aka :
>
> select * from GRAPH_TABLE (trajet MATCH ( a IS quai where
> a.nom_station=3D'Place des F=C3=AAtes' )-[t IS dessert where t.correspond=
ance
> ]->(b
> IS quai) columns (a.nom_station as station1, a.num_ligne as ligne1,
> b.nom_station as station2, b.num_ligne as ligne2, T.correspondance as
> correspondance));
> ERROR:  unrecognized node type: 63
>
> You have to add " =3D true"  (ugly) :
> select * from GRAPH_TABLE (trajet MATCH ( a IS quai where
> a.nom_station=3D'Place des F=C3=AAtes' )-[t IS dessert where t.correspond=
ance=3Dtrue
> ]->(b IS quai) columns (a.nom_station as station1, a.num_ligne as ligne1,
> b.nom_station as station2, b.num_ligne as ligne2, T.correspondance as
> correspondance));
>     station1     | ligne1 |    station2     | ligne2 | correspondance
> -----------------+--------+-----------------+--------+----------------
>  Place des F=C3=AAtes | 7bis   | Place des F=C3=AAtes | 11     | t
>  Place des F=C3=AAtes | 11     | Place des F=C3=AAtes | 7bis   | t
> (2 rows)
>
>
>
>
>

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

<div dir=3D"ltr">Thanks for reporting.=C2=A0<div><br></div><div>The crash c=
omes from replace_property_refs() (src/backend/rewrite/rewriteGraphTable.c)=
 which rewrites the GraphPropertyRef nodes.=C2=A0</div><div><br></div><div>=
It calls expression_tree_mutator() directly on the top level node instead o=
f calling it&#39;s mutator (replace_property_refs_mutator()) which treats=
=C2=A0<span style=3D"background-color:transparent">GraphPropertyRef</span><=
span style=3D"background-color:transparent">=C2=A0as a leaf &amp; just copi=
es it unchanged.=C2=A0</span></div><div><span style=3D"background-color:tra=
nsparent"><br></span></div><blockquote style=3D"margin:0 0 0 40px;border:no=
ne;padding:0px"><div><span style=3D"background-color:transparent">```</span=
></div><div>case T_GraphLabelRef:=C2=A0</div><div>case T_GraphPropertyRef:=
=C2=A0</div><div>case T_MergeSupportFunc:=C2=A0</div><blockquote style=3D"m=
argin:0 0 0 40px;border:none;padding:0px"><div>return copyObject(node);</di=
v></blockquote><div>```</div></blockquote><br><div>The fix is to call the m=
utator directly at the entry point.</div><div><br></div><div>Thanks,</div><=
div>Vaibhave.</div></div><br><div class=3D"gmail_quote gmail_quote_containe=
r"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Jul 3, 2026 at 7:53=E2=80=
=AFPM PG Bug reporting form &lt;<a href=3D"mailto:noreply@postgresql.org">n=
oreply@postgresql.org</a>&gt; wrote:<br></div><blockquote class=3D"gmail_qu=
ote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,20=
4);padding-left:1ex">The following bug has been logged on the website:<br>
<br>
Bug reference:=C2=A0 =C2=A0 =C2=A0 19542<br>
Logged by:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Herv=C3=A9 Lefebvre<br>
Email address:=C2=A0 =C2=A0 =C2=A0 <a href=3D"mailto:h.lefebvre.69@gmail.co=
m" target=3D"_blank">h.lefebvre.69@gmail.com</a><br>
PostgreSQL version: 19beta1<br>
Operating system:=C2=A0 =C2=A0Linux<br>
Description:=C2=A0 =C2=A0 =C2=A0 =C2=A0 <br>
<br>
In MATCH clause you cannot use &quot;WHERE boolean&quot; Syntax. aka :<br>
<br>
select * from GRAPH_TABLE (trajet MATCH ( a IS quai where<br>
a.nom_station=3D&#39;Place des F=C3=AAtes&#39; )-[t IS dessert where t.corr=
espondance ]-&gt;(b<br>
IS quai) columns (a.nom_station as station1, a.num_ligne as ligne1,<br>
b.nom_station as station2, b.num_ligne as ligne2, T.correspondance as<br>
correspondance));<br>
ERROR:=C2=A0 unrecognized node type: 63<br>
<br>
You have to add &quot; =3D true&quot;=C2=A0 (ugly) :<br>
select * from GRAPH_TABLE (trajet MATCH ( a IS quai where<br>
a.nom_station=3D&#39;Place des F=C3=AAtes&#39; )-[t IS dessert where t.corr=
espondance=3Dtrue<br>
]-&gt;(b IS quai) columns (a.nom_station as station1, a.num_ligne as ligne1=
,<br>
b.nom_station as station2, b.num_ligne as ligne2, T.correspondance as<br>
correspondance));<br>
=C2=A0 =C2=A0 station1=C2=A0 =C2=A0 =C2=A0| ligne1 |=C2=A0 =C2=A0 station2=
=C2=A0 =C2=A0 =C2=A0| ligne2 | correspondance<br>
-----------------+--------+-----------------+--------+----------------<br>
=C2=A0Place des F=C3=AAtes | 7bis=C2=A0 =C2=A0| Place des F=C3=AAtes | 11=
=C2=A0 =C2=A0 =C2=A0| t<br>
=C2=A0Place des F=C3=AAtes | 11=C2=A0 =C2=A0 =C2=A0| Place des F=C3=AAtes |=
 7bis=C2=A0 =C2=A0| t<br>
(2 rows)<br>
<br>
<br>
<br>
<br>
</blockquote></div>

--000000000000ab61600655d8d44c--

--000000000000ab61610655d8d44e
Content-Type: application/octet-stream; name="fix-19542.patch"
Content-Disposition: attachment; filename="fix-19542.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_mr7ists10>
X-Attachment-Id: f_mr7ists10

ZGlmZiAtLWdpdCBhL3NyYy9iYWNrZW5kL3Jld3JpdGUvcmV3cml0ZUdyYXBoVGFibGUuYyBiL3Ny
Yy9iYWNrZW5kL3Jld3JpdGUvcmV3cml0ZUdyYXBoVGFibGUuYwppbmRleCAzM2Q0ZTg2NmQ3NC4u
ZDhjMzY0ZDY1ODggMTAwNjQ0Ci0tLSBhL3NyYy9iYWNrZW5kL3Jld3JpdGUvcmV3cml0ZUdyYXBo
VGFibGUuYworKysgYi9zcmMvYmFja2VuZC9yZXdyaXRlL3Jld3JpdGVHcmFwaFRhYmxlLmMKQEAg
LTExNTIsNyArMTE1MiwxMSBAQCByZXBsYWNlX3Byb3BlcnR5X3JlZnMoT2lkIHByb3BncmFwaGlk
LCBOb2RlICpub2RlLCBjb25zdCBMaXN0ICptYXBwaW5ncykKIAljb250ZXh0Lm1hcHBpbmdzID0g
bWFwcGluZ3M7CiAJY29udGV4dC5wcm9wZ3JhcGhpZCA9IHByb3BncmFwaGlkOwogCi0JcmV0dXJu
IGV4cHJlc3Npb25fdHJlZV9tdXRhdG9yKG5vZGUsIHJlcGxhY2VfcHJvcGVydHlfcmVmc19tdXRh
dG9yLCAmY29udGV4dCk7CisJLyoKKwkgKiBJbnZva2UgdGhlIG11dGF0b3IgZGlyZWN0bHkgcmF0
aGVyIHRoYW4gdGhyb3VnaCBleHByZXNzaW9uX3RyZWVfbXV0YXRvcigpCisJICogc28gdGhhdCBh
IHRvcC1sZXZlbCBHcmFwaFByb3BlcnR5UmVmIGlzIHJlcGxhY2VkIHRvby4KKwkgKi8KKwlyZXR1
cm4gcmVwbGFjZV9wcm9wZXJ0eV9yZWZzX211dGF0b3Iobm9kZSwgJmNvbnRleHQpOwogfQogCiAv
KgpkaWZmIC0tZ2l0IGEvc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9ncmFwaF90YWJsZS5vdXQg
Yi9zcmMvdGVzdC9yZWdyZXNzL2V4cGVjdGVkL2dyYXBoX3RhYmxlLm91dAppbmRleCBjYzZkODBh
ZmQ4Mi4uOWU2MmQyMTNlMzggMTAwNjQ0Ci0tLSBhL3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQv
Z3JhcGhfdGFibGUub3V0CisrKyBiL3NyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvZ3JhcGhfdGFi
bGUub3V0CkBAIC0xMDQ0LDQgKzEwNDQsMjMgQEAgU0VMRUNUIHNyYy52bmFtZSwgY291bnQoKikg
RlJPTSB2MSBBUyBzcmMKICB2MTMgICB8ICAgICAxCiAoMyByb3dzKQogCistLSBhIFdIRVJFIGNs
YXVzZSB0aGF0IGlzIGEgYmFyZSBib29sZWFuIHByb3BlcnR5IHJlZmVyZW5jZSAoYSB0b3AtbGV2
ZWwKKy0tIEdyYXBoUHJvcGVydHlSZWYpIG11c3QgYmUgcmV3cml0dGVuIGp1c3QgbGlrZSBhIG5l
c3RlZCBwcm9wZXJ0eSByZWZlcmVuY2UKK0FMVEVSIFBST1BFUlRZIEdSQVBIIGcxIEFMVEVSIFZF
UlRFWCBUQUJMRSB2MSBBTFRFUiBMQUJFTCB2bDEgQUREIFBST1BFUlRJRVMgKHZwcm9wMSA+IDE1
IEFTIGlzX2JpZyk7CistLSBiYXJlIGJvb2xlYW4gcHJvcGVydHkgaW4gYW4gZWxlbWVudCBwYXR0
ZXJuIFdIRVJFIGNsYXVzZQorU0VMRUNUICogRlJPTSBHUkFQSF9UQUJMRSAoZzEgTUFUQ0ggKGEg
SVMgdmwxIFdIRVJFIGEuaXNfYmlnKSBDT0xVTU5TIChhLnZuYW1lIEFTIHNlbGYpKSBPUkRFUiBC
WSBzZWxmOworIHNlbGYgCistLS0tLS0KKyB2MTIKKyB2MTMKKygyIHJvd3MpCisKKy0tIGJhcmUg
Ym9vbGVhbiBwcm9wZXJ0eSBpbiB0aGUgZ3JhcGggcGF0dGVybiBXSEVSRSBjbGF1c2UKK1NFTEVD
VCAqIEZST00gR1JBUEhfVEFCTEUgKGcxIE1BVENIIChhIElTIHZsMSkgV0hFUkUgYS5pc19iaWcg
Q09MVU1OUyAoYS52bmFtZSBBUyBzZWxmKSkgT1JERVIgQlkgc2VsZjsKKyBzZWxmIAorLS0tLS0t
CisgdjEyCisgdjEzCisoMiByb3dzKQorCiAtLSBsZWF2ZSB0aGUgb2JqZWN0cyBiZWhpbmQgZm9y
IHBnX3VwZ3JhZGUvcGdfZHVtcCB0ZXN0cwpkaWZmIC0tZ2l0IGEvc3JjL3Rlc3QvcmVncmVzcy9z
cWwvZ3JhcGhfdGFibGUuc3FsIGIvc3JjL3Rlc3QvcmVncmVzcy9zcWwvZ3JhcGhfdGFibGUuc3Fs
CmluZGV4IDBlMzgxZWM3MmJjLi40NjY2ODIzM2U2NCAxMDA2NDQKLS0tIGEvc3JjL3Rlc3QvcmVn
cmVzcy9zcWwvZ3JhcGhfdGFibGUuc3FsCisrKyBiL3NyYy90ZXN0L3JlZ3Jlc3Mvc3FsL2dyYXBo
X3RhYmxlLnNxbApAQCAtNTk2LDQgKzU5NiwxMiBAQCBTRUxFQ1Qgc3JjLnZuYW1lLCBjb3VudCgq
KSBGUk9NIHYxIEFTIHNyYwogICBIQVZJTkcgY291bnQoKikgPj0gKFNFTEVDVCBjb3VudCgqKSBG
Uk9NIEdSQVBIX1RBQkxFIChnMSBNQVRDSCAoYSBJUyB2bDEgfCB2bDIpIENPTFVNTlMgKGEudm5h
bWUgQVMgbikpIFdIRVJFIG4gPSBzcmMudm5hbWUpCiAgIE9SREVSIEJZIHZuYW1lOwogCistLSBh
IFdIRVJFIGNsYXVzZSB0aGF0IGlzIGEgYmFyZSBib29sZWFuIHByb3BlcnR5IHJlZmVyZW5jZSAo
YSB0b3AtbGV2ZWwKKy0tIEdyYXBoUHJvcGVydHlSZWYpIG11c3QgYmUgcmV3cml0dGVuIGp1c3Qg
bGlrZSBhIG5lc3RlZCBwcm9wZXJ0eSByZWZlcmVuY2UKK0FMVEVSIFBST1BFUlRZIEdSQVBIIGcx
IEFMVEVSIFZFUlRFWCBUQUJMRSB2MSBBTFRFUiBMQUJFTCB2bDEgQUREIFBST1BFUlRJRVMgKHZw
cm9wMSA+IDE1IEFTIGlzX2JpZyk7CistLSBiYXJlIGJvb2xlYW4gcHJvcGVydHkgaW4gYW4gZWxl
bWVudCBwYXR0ZXJuIFdIRVJFIGNsYXVzZQorU0VMRUNUICogRlJPTSBHUkFQSF9UQUJMRSAoZzEg
TUFUQ0ggKGEgSVMgdmwxIFdIRVJFIGEuaXNfYmlnKSBDT0xVTU5TIChhLnZuYW1lIEFTIHNlbGYp
KSBPUkRFUiBCWSBzZWxmOworLS0gYmFyZSBib29sZWFuIHByb3BlcnR5IGluIHRoZSBncmFwaCBw
YXR0ZXJuIFdIRVJFIGNsYXVzZQorU0VMRUNUICogRlJPTSBHUkFQSF9UQUJMRSAoZzEgTUFUQ0gg
KGEgSVMgdmwxKSBXSEVSRSBhLmlzX2JpZyBDT0xVTU5TIChhLnZuYW1lIEFTIHNlbGYpKSBPUkRF
UiBCWSBzZWxmOworCiAtLSBsZWF2ZSB0aGUgb2JqZWN0cyBiZWhpbmQgZm9yIHBnX3VwZ3JhZGUv
cGdfZHVtcCB0ZXN0cwo=
--000000000000ab61610655d8d44e--