MDEV-35738 mariadb build -fsanitize=pointer-compare#5037

grooverdan wants to merge 1 commit intoMariaDB:10.11MariaDB/server:10.11from

grooverdan:MDEV-35738_10.11grooverdan/mariadb-server:MDEV-35738_10.11Copy head branch name to clipboard