[PATCH] Fortran: improve bounds-checking for array sections [PR30802]

[Harald Anlauf]

Dear all,

array bounds checking was missing a few cases of array sections
that are handled via gfc_conv_expr_descriptor.  Bounds checking
was done for the dimensions with ranges, but not for elemental
dimensions.

The attached patch implements that and fixes pr30802 and also
pr97039, maybe a few more similar cases.

Regtested on x86_64-pc-linux-gnu.  OK for mainline?

Thanks,
Harald

-------------- next part --------------
A non-text attachment was scrubbed...
Name: pr30802.diff
Type: text/x-patch
Size: 5192 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/fortran/attachments/20230914/0b1698e6/attachment.bin>