Added/Updated tests\bugs\gh_7568_test.py: Checked on 6.0.0.247.

Author: pavel-zotov

tests/bugs/gh_7568_test.py

@@ -0,0 +1,106 @@
+#coding:utf-8
+
+"""
+ID:          issue-7568
+ISSUE:       https://github.com/FirebirdSQL/firebird/issues/7568
+TITLE:       Equivalence of boolean condition in partial index
+NOTES:
+    [03.02.2024] pzotov
+    Test is based on https://github.com/FirebirdSQL/firebird/pull/7987
+    Confirmed problem on 6.0.0.244.
+    Checked on 6.0.0.247.
+"""
+
+import pytest
+from firebird.qa import *
+
+db = db_factory()
+
+test_script = """
+    recreate table test (
+       id bigint generated always as identity primary key
+      ,int_fld1 bigint not null
+      ,int_fld2 bigint not null
+      ,bool_fld1 boolean default false not null
+      ,bool_fld2 boolean default false not null
+    );
+
+    create index test_idx_offer_asc
+      on test (int_fld1)
+      where not bool_fld1;
+
+    create descending index test_idx_offer_dec
+      on test (int_fld2)
+      where not bool_fld2;
+
+    -- all the following sql queries must use appropriate index:
+
+    set planonly;
+
+    select * from test where not bool_fld1;
+
+    select * from test where bool_fld1 = false;
+
+    select * from test where false = bool_fld1;
+
+    select * from test where bool_fld1 <> true;
+
+    select * from test where true <> bool_fld1;
+
+    select * from test where not bool_fld1 = true;
+
+    select * from test where not true = bool_fld1;
+
+
+    select * from test where not bool_fld2;
+
+    select * from test where bool_fld2 = false;
+
+    select * from test where false = bool_fld2;
+
+    select * from test where bool_fld2 <> true;
+
+    select * from test where true <> bool_fld2;
+
+    select * from test where not bool_fld2 = true;
+
+    select * from test where not true = bool_fld2;
+"""
+
+act = isql_act('db', test_script)
+
+expected_stdout = """
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_ASC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+
+    PLAN (TEST INDEX (TEST_IDX_OFFER_DEC))
+"""
+
+@pytest.mark.version('>=6.0')
+def test_1(act: Action):
+    act.expected_stdout = expected_stdout
+    act.execute(combine_output = True)
+    assert act.clean_stdout == act.clean_expected_stdout