server crash on select with where clause that calls a function doing a subquery

mysql> select version();

+----------------------------------------+

| version()                              |

+----------------------------------------+

| 10.4.13-MariaDB-1:10.4.13+maria~bionic |

+----------------------------------------+

1 row in set (0,00 sec)

mysql> create database if not exists test;

Query OK, 1 row affected (0,00 sec)

mysql> use test;

Database changed

mysql> create table if not exists workstation (

  id            INT NOT NULL AUTO_INCREMENT,

  prodlineid    INT NOT NULL DEFAULT 1,

  primary key (id)

) engine=innodb;

Query OK, 0 rows affected (0,26 sec)

mysql> create table if not exists process_workstation (

  processid                             INT NOT NULL,

  workstationid                         INT NOT NULL,

  unique index (processid, workstationid),

  index (workstationid),

  constraint foreign key (workstationid) references workstation(id) on delete cascade on update cascade

) ENGINE = InnoDB;

Query OK, 0 rows affected (0,23 sec)

mysql> create function proc_on_ws(process_id int, ws_id int, prodline_id int) returns int

  return

    exists(

        select * from process_workstation pw

        where pw.workstationid = ws_id and pw.processid = process_id

    )

  or (

        not isnull(prodline_id) and

        not isnull(process_id) and

        not exists(

                select * from workstation ws, process_workstation pw

                where ws.prodlineid = prodline_id and

                      pw.workstationid = ws.id and pw.processid = process_id

        )

);

Query OK, 0 rows affected (0,03 sec)

mysql> insert ignore into  workstation (id) values

        (10),(11),(12),(13),(14),(15),(16),(17),(18),(19),

        (20),(21),(22),(23),(24),(25),(26),(27),(28),(29),

        (30),(31),(32),(33),(34),(35),(36),(37),(38),(39),

        (40),(41),(42),(43),(44),(45),(46),(47),(48),(49),

        (50),(51),(52),(53),(54),(55),(56),(57),(58),(59),

        (60),(61),(62),(63),(64),(65),(66),(67),(68),(69),

        (70),(71),(72),(73),(74),(75),(76),(77),(78),(79),

        (80),(81),(82),(83),(84),(85),(86),(87),(88),(89)

        ;

Query OK, 80 rows affected (0,08 sec)

Records: 80  Duplicates: 0  Warnings: 0

-- This query crash the server:

mysql> select nextws.id from workstation nextws

where nextws.prodlineid = 1 AND proc_on_ws( 7 , nextws.id, nextws.prodlineid);

ERROR 2013 (HY000): Lost connection to MySQL server during query