firebird-qa/tests/bugs/core_3547_test.py

#coding:utf-8

"""
ID:          issue-3903
ISSUE:       3903
TITLE:       Floating-point negative zero doesn't match positive zero in the index
DESCRIPTION:
JIRA:        CORE-3547
FBTEST:      bugs.core_3547
NOTES:
    [09.02.2022] pcisar
        Specific stdout is required on Windows for v3 up to 3.0.8 due to small difference
        It's possible that this problem would be fixed in 3.0.9.
    [20.09.2022] pzotov
        Added substitution in order to stop comparison after 15th digit ("COL = 0.000000000000000").
        We have to ensure that one can not insert duplicate (-0e0). It is enough to show concrete
        value of problematic key with accuracy 15 digits.

    Checked on 3.0.8.33535, 4.0.1.2692, 5.0.0.730 - both Linux and Windows
"""

import pytest
from firebird.qa import *

init_script = """
    recreate table t_float_no_pk (col float);
    commit;
    insert into t_float_no_pk (col) values (0e0);
    insert into t_float_no_pk (col) values (-0e0);
    commit;

    recreate table t1_double_as_pk (col double precision, constraint t1_double_pk primary key(col) using index t1_double_pk);
    commit;
"""

db = db_factory(init=init_script)

test_script = """
    set list on;
    select count(*) "where id = 0"            from rdb$relations where rdb$relation_id = 0;
    select count(*) "where id = 0e0"          from rdb$relations where rdb$relation_id = 0e0;
    select count(*) "where id = (1e0 - 1e0)"  from rdb$relations where rdb$relation_id = (1e0 - 1e0);
    select count(*) "where id = -0e0"         from rdb$relations where rdb$relation_id = -0e0;
    select count(*) "where id = -(1e0 - 1e0)" from rdb$relations where rdb$relation_id = -(1e0 - 1e0);
    select count(*) "where 0e0 = -0e0"        from rdb$database where 0e0 = -0e0;

    insert into t1_double_as_pk (col) values (0e0);
    commit;
    insert into t1_double_as_pk (col) values (-0e0);
    commit;
    select count(distinct col) "t_float_no_pk: count(dist col)" from t_float_no_pk;
    select count(*) "t_double_pk: col, count(*)" from t1_double_as_pk group by col;
    -- :: NB ::: Problematic key representaion for 0e0 differ in Windows vs Linux!
    -- NIX: -Problematic key value is ("COL" = 0.000000000000000)
    -- WIN: -Problematic key value is ("COL" = 0.0000000000000000)
    --                                                          ^
"""

act = isql_act('db', test_script, substitutions = [(' = 0.0000000000000000', ' = 0.000000000000000')])

expected_stdout = """
    where id = 0                    1
    where id = 0e0                  1
    where id = (1e0 - 1e0)          1
    where id = -0e0                 1
    where id = -(1e0 - 1e0)         1
    where 0e0 = -0e0                1
    t_float_no_pk: count(dist col)  1
    t_double_pk: col, count(*)      1
"""

expected_stderr = """
    Statement failed, SQLSTATE = 23000
    violation of PRIMARY or UNIQUE KEY constraint "T1_DOUBLE_PK" on table "T1_DOUBLE_AS_PK"
    -Problematic key value is ("COL" = 0.000000000000000)
"""

@pytest.mark.version('>=3')
def test_1(act: Action):

    act.expected_stdout = expected_stdout
    act.expected_stderr = expected_stderr
    act.execute()
    assert (act.clean_stderr == act.clean_expected_stderr and
            act.clean_stdout == act.clean_expected_stdout)