Fix var_is_nonnullable() to handle invalid NOT NULL constraints
Richard Guo <rguo@postgresql.org>
Fix var_is_nonnullable() to handle invalid NOT NULL constraints The NOTNULL_SOURCE_SYSCACHE code path in var_is_nonnullable() used get_attnotnull() to check pg_attribute.attnotnull, which is true for both valid and invalid (NOT VALID) NOT NULL constraints. An invalid constraint does not guarantee the absence of NULLs, so this could lead to incorrect results. For example, query_outputs_are_not_nullable() could wrongly conclude that a subquery's output is non-nullable, causing NOT IN to be incorrectly converted to an anti-join. Fix by checking the attnullability field in the relation's tuple descriptor instead, which correctly distinguishes valid from invalid constraints, consistent with what the NOTNULL_SOURCE_HASHTABLE code path already does. While at it, rename NOTNULL_SOURCE_SYSCACHE to NOTNULL_SOURCE_CATALOG to reflect that this code path no longer uses a syscache lookup, and remove the now-unused get_attnotnull() function. Author: Richard Guo <guofenglinux@gmail.com> Reviewed-by: SATYANARAYANA NARLAPURAM <satyanarlapuram@gmail.com> Discussion: https://postgr.es/m/CAMbWs48ALW=mR0ydQ62dGS-Q+3D7WdDSh=EWDezcKp19xi=TUA@mail.gmail.com
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/optimizer/util/clauses.c | modified | +23 −8 |
| src/backend/utils/cache/lsyscache.c | modified | +0 −27 |
| src/include/optimizer/optimizer.h | modified | +1 −1 |
| src/include/utils/lsyscache.h | modified | +0 −1 |
| src/test/regress/expected/subselect.out | modified | +23 −0 |
| src/test/regress/sql/subselect.sql | modified | +14 −0 |
Discussion
- var_is_nonnullable() fails to handle invalid NOT NULL constraints 3 messages · 2026-04-10 → 2026-04-15