[Bug fortran/113245] New: SIZE with optional DIM argument that has the OPTIONAL+VALUE attributes

["anlauf at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113245

            Bug ID: 113245
           Summary: SIZE with optional DIM argument that has the
                    OPTIONAL+VALUE attributes
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: anlauf at gcc dot gnu.org
  Target Milestone: ---

Related to pr30865, but with optional that has the VALUE attribute.
Testcase:

program p
  implicit none
  real :: a(2,3)
  call ref (a,2) ! works
  call val (a,2) ! works
  print *, "--"
  call ref (a)   ! works
  call val (a)   ! fails
contains
  subroutine ref (x, d)
    real,              intent(in) :: x(:,:)
    integer, optional, intent(in) :: d
    print *, "present (d) =", present (d)
    print *, "size (a, d) =", size (x, dim=d)
  end
  subroutine val (x, d)
    real,              intent(in) :: x(:,:)
    integer, optional, value      :: d
    print *, "present (d) =", present (d)
    print *, "size (a, d) =", size (x, dim=d)  ! <<< miscompiled
  end
end

The dump-tree shows that the presence test is miscompiled, leading to
always accessing 'd', which is 0 for an absent argument, and causing an
invalid access.