Hi Harald,
when simplifying SHAPE(), we rely on spec_dimen_size returning
non-negative dimensions. That actually did not happen in all
cases, as the testcase by Gerhard shows. (The testcase is
rather fallout from the wrong simplification).
The solution is trivial: simply check the dimensions against 0
and fix if needed.
Regtested on x86_64-pc-linux-gnu. OK for mainline.
Yes, and
As it turns out that we generated "wrong code" by the simplification,
I'd backport at least to 11-branch after some waiting time if no
issues show up elsewhere.
... yes again.
Thanks for the patch!
Regards
Thomas
