I submit a bug: http://bugs.mysql.com/bug.php?id=69352 . I review the mariadb code, I think it is also in mariadb.

I have read the page. https://kb.askmonty.org/en/reporting-bugs/  should I report this bug to mariadb?

Thanks!