ArrayListDomain: Fix a potential segfault with empty array name

assigned to @mwestphal

Warnings:

• please consider adding a changelog entry in a file ending with .md in Documentation/release/dev.

The warnings do not need to be fixed, but it is recommended to do so.

@nicolas.vuaille please review, no way to test this without a faulty reader producing unnammed arrays, but this is a good sanuty check anyway.

Do: test

+2

resolved all threads

Do: merge

mentioned in commit 794aa405

merged

mentioned in merge request !6365 (merged)