#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)