[Patch, Fortran] PR fortran/35723: Some fixes to restricted-expression handling

[Paul Richard Thomas]

Daniel,

> 3) While working with runtime_subscript_dimension_3.f90, I discovered that
> argument lists of function calls are not checked, either.  I added this
> check; for inquiry-type intrinsic calls it is disabled.  I believe this is
> the best we can do to conform to the standard at the moment. This should not
> catch cases like:

I just encountered this in looking at PR35680. I fixed it by putting a
check_restricted into the argument checking of check_inquiry. It
leaves the remaining problem that when the declarations are in the
right order an ICE occurs - for reasons that are evident from the
dump-tree-original.

Maybe your patch fixes the "regression" in PR35680?  If it doesn't,
you are in a good position to do so.
(I put regression in quotes because fixing one or more bugs in the
past has exposed this one which was latent.)

Cheers

Paul