Bug #113736 Test main.qualify_hypergraph failing with a result difference

• Submitted: 24 Jan 2024 9:44
• Modified: 30 Apr 2024 21:13
• Reporter: Laurynas Biveinis (OCA)
• Status: Closed
• Category: MySQL Server: Optimizer
• Severity: S3 (Non-critical)
• Version: 8.3
• OS: MacOS (14.3)
• CPU Architecture: ARM

[24 Jan 2024 9:44] Laurynas Biveinis

Description:
$ mtr main.qualify_hypergraph
...
[ 50%] main.qualify_hypergraph                   [ fail ]
        Test ended at 2024-01-24 11:41:03

CURRENT_TEST: main.qualify_hypergraph
--- /Users/laurynas/vilniusdb/mysql-8.3.0/mysql-test/r/qualify_hypergraph.result	2024-01-22 16:39:20
+++ /Users/laurynas/vilniusdb/mysql-8.3.0/_build-debug-san/mysql-test/var/log/qualify_hypergraph.reject	2024-01-24 12:41:02
@@ -384,7 +384,6 @@
 FROM t1 GROUP BY b,c WITH ROLLUP
 QUALIFY LEAD(b) OVER(ORDER BY c) >1 AND b IS NULL;
 b	c	MAX(a)
-NULL	NULL	5
 SET @@sql_mode = @orig_sql_mode;
 DROP TABLE t1;
 #

mysqltest: Result content mismatch

How to repeat:
Server built with CMake options -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DCMAKE_BUILD_TYPE=Debug -DWITH_DEBUG=ON -DMYSQL_MAINTAINER_MODE=ON -DWITH_SYSTEM_LIBS=ON -DFORCE_COLORED_OUTPUT=ON -DWITH_ZLIB=bundled

[24 Jan 2024 11:57] MySQL Verification Team

HI Mr. Biveinis,

Thank you for your bug report.

After considerable effort , we have managed to repeat your test case. 

Test qualify_hypergraph failed with our debug binary built with all sanitizer option on the same platform as the one that you have used.

This is very much OS and CPU specific bug for 8.3.

Verified as reported.

[30 Apr 2024 21:13] Jon Stephens

Fixed in MySQL 8.4.0.

Issue is specific to hypergraph optimizer, no docs needed.

Closed.

[9 May 2024 9:17] MySQL Verification Team

Thank you, Jon.