Thanks for looking into it!
We are working a research project to automatically look for such cases.
If it matters for PostgreSQL, I will report more such cases.
Notice: This email is generated from the account of an NUS alumnus. Contents, views, and opinions therein are solely those of the sender.