Uploaded image for project: 'MariaDB Server'
  1. MariaDB Server
  2. MDEV-21032

Index causes incorrect result when comparing float-point number with INT

Details

    • Bug
    • Status: Confirmed (View Workflow)
    • Major
    • Resolution: Unresolved
    • 10.4.11, 5.5(EOL), 10.0(EOL), 10.1(EOL), 10.2(EOL), 10.3(EOL), 10.4(EOL)
    • 10.4(EOL)
    • None
    • None
    • Ubuntu 19.04

    Description

      Hi everyone,

      On the latest trunk version (0308de9), I could observe a bug, as demonstrated by the following test case:

      CREATE TABLE t0(c0 INT);
      		 
      INSERT INTO t0 VALUES (1);
      		 
      CREATE INDEX i0 ON t0(c0);
      		 
      SELECT * FROM t0 WHERE 0.5 = c0; -- unexpected: row is fetched

      Only when the index is created does MariaDB compute an incorrect result set, containing the row. As demonstrated below, the expression should evaluate to FALSE:

      SELECT 0.5 = c0 FROM t0; -- evaluates to FALSE

      Attachments

        Activity

          Ascending order - Click to sort in descending order
          mrigger Manuel Rigger created issue -
          alice Alice Sherepa made changes -
          Field Original Value New Value
          Affects Version/s 5.5 [ 15800 ]
          Affects Version/s 10.0 [ 16000 ]
          Affects Version/s 10.1 [ 16100 ]
          Affects Version/s 10.2 [ 14601 ]
          Affects Version/s 10.3 [ 22126 ]
          Affects Version/s 10.4 [ 22408 ]
          alice Alice Sherepa made changes -
          Fix Version/s 5.5 [ 15800 ]
          Fix Version/s 10.0 [ 16000 ]
          Fix Version/s 10.1 [ 16100 ]
          Fix Version/s 10.2 [ 14601 ]
          Fix Version/s 10.3 [ 22126 ]
          Fix Version/s 10.4 [ 22408 ]
          alice Alice Sherepa made changes -
          Status Open [ 1 ] Confirmed [ 10101 ]
          alice Alice Sherepa made changes -
          Assignee Alexander Barkov [ bar ]
          marko Marko Mäkelä made changes -
          julien.fritsch Julien Fritsch made changes -
          Fix Version/s 5.5 [ 15800 ]
          julien.fritsch Julien Fritsch made changes -
          Fix Version/s 10.0 [ 16000 ]
          julien.fritsch Julien Fritsch made changes -
          Fix Version/s 10.1 [ 16100 ]
          serg Sergei Golubchik made changes -
          Workflow MariaDB v3 [ 101042 ] MariaDB v4 [ 144188 ]
          ralf.gebhardt Ralf Gebhardt made changes -
          Fix Version/s 10.2 [ 14601 ]
          julien.fritsch Julien Fritsch made changes -
          Fix Version/s 10.3 [ 22126 ]
          bar Alexander Barkov made changes -
          Assignee Alexander Barkov [ bar ] Sergei Petrunia [ psergey ]

          People

            psergei Sergei Petrunia
            mrigger Manuel Rigger
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

            Dates

              Created:
              Updated:

              Git Integration

                Error rendering 'com.xiplink.jira.git.jira_git_plugin:git-issue-webpanel'. Please contact your Jira administrators.