pgsql: Fix var_is_nonnullable() to handle invalid NOT NULL constraints

Поиск
Список
Период
Сортировка
От Richard Guo
Тема pgsql: Fix var_is_nonnullable() to handle invalid NOT NULL constraints
Дата
Msg-id E1wCoHy-0010pl-0m@gemulon.postgresql.org
обсуждение
Список pgsql-committers
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

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/363af93bdd24c37064d94bd4e637827442594d53

Modified Files
--------------
src/backend/optimizer/util/clauses.c    | 31 +++++++++++++++++++++++--------
src/backend/utils/cache/lsyscache.c     | 27 ---------------------------
src/include/optimizer/optimizer.h       |  2 +-
src/include/utils/lsyscache.h           |  1 -
src/test/regress/expected/subselect.out | 23 +++++++++++++++++++++++
src/test/regress/sql/subselect.sql      | 14 ++++++++++++++
6 files changed, 61 insertions(+), 37 deletions(-)


В списке pgsql-committers по дате отправления: