Fortran: Fixes and additional tests for shape/ubound/size [PR94070]

Fortran: Fixes and additional tests for shape/ubound/size [PR94070]

This patch reimplements the SHAPE intrinsic to be inlined similarly to
LBOUND and UBOUND, instead of as a library call, to avoid an
unnecessary array copy.  Various bugs are also fixed.

gcc/fortran/
	PR fortran/94070

	* expr.c (gfc_simplify_expr): Handle GFC_ISYM_SHAPE along with
	GFC_ISYM_LBOUND and GFC_ISYM_UBOUND.
	* trans-array.c (gfc_conv_ss_startstride): Likewise.
	(set_loop_bounds): Likewise.
	* trans-intrinsic.c (gfc_trans_intrinsic_bound): Extend to
	handle SHAPE.  Correct logic for zero-size special cases and
	detecting assumed-rank arrays associated with an assumed-size
	argument.
	(gfc_conv_intrinsic_shape): Deleted.
	(gfc_conv_intrinsic_function): Handle GFC_ISYM_SHAPE like
	GFC_ISYM_LBOUND and GFC_ISYM_UBOUND.
	(gfc_add_intrinsic_ss_code): Likewise.
	(gfc_walk_intrinsic_bound): Likewise.

gcc/testsuite/
	PR fortran/94070

	* gfortran.dg/c-interop/shape-bindc.f90: New test.
	* gfortran.dg/c-interop/shape-poly.f90: New test.
	* gfortran.dg/c-interop/size-bindc.f90: New test.
	* gfortran.dg/c-interop/size-poly.f90: New test.
	* gfortran.dg/c-interop/ubound-bindc.f90: New test.
	* gfortran.dg/c-interop/ubound-poly.f90: New test.