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

• Submitted: 24 Jan 9:44
• Modified: 30 Apr 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 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 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 21:13] Jon Stephens

Fixed in MySQL 8.4.0.

Issue is specific to hypergraph optimizer, no docs needed.

Closed.

[9 May 9:17] MySQL Verification Team

Thank you, Jon.