--- Comment #6 from kargl at gcc dot gnu.org ---
(In reply to kargl from comment #5)
> (In reply to Harald Anlauf from comment #4)
> > Replacing the line
> > INTEGER :: A(int(1))
> > in comment #0 by
> > INTEGER :: A(1)
> > or
> > INTEGER :: A(1+0)
> > works, but other variants like
> > INTEGER :: A((1))
> > fail.
> > Apparently some attempt to simplify is missing.
> > I think I've seen related PRs or duplicates.
> Yep, gfortran is missing a simplification. When
> simplification of size(a) occurs, the int(1) is
> still an expression with EXPR_FUNCTION.
Testing a patch.