[Fortran/gfortran] Sync gfortran tests with upstream

These are synced with a9e9f772c7488 

[https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=a9e9f772c7488ac0c09dd92f28890bdab939771a]

The static test configuration files, and denylists have been updated. A quick
fix is also included that prevents ninja builds from being serialized.

---------

Co-authored-by: Tarun Prabhu <[email protected]>

Author: tarunprabhu

Fortran/gfortran/CMakeLists.txt

@@ -109,6 +109,7 @@ set(FLANG_ERRORING_FFLAGS
   -fbounds-check
   -fcheck-array-temporaries
   -fcheck=all
+  -fcheck=array-temps
   -fcheck=bits
   -fcheck=bounds
   -fcheck=do
@@ -131,6 +132,7 @@ set(FLANG_ERRORING_FFLAGS
   -fcheck-bounds
   -fcheck=all
   -fcheck=bits
+  -fcheck=no-bounds
   # Not sure if the -fdefault-* options will be supported. Maybe in a different
   # form in which case, this will have to be modified to accommodate those.
   -fdefault-real-10
@@ -666,9 +668,7 @@ function(gfortran_add_compile_test expect_error main others fflags ldflags)
     -DALWAYS_SAVE_DIAGS=OFF
     -DWORKING_DIRECTORY=${working_dir}
     -DOUTPUT_FILE=${out}
-    -P ${COMPILE_SCRIPT_BIN}
-    USES_TERMINAL
-    COMMENT "Compiling ${main}")
+    -P ${COMPILE_SCRIPT_BIN})
 
   add_custom_target(${target}
     ALL

Fortran/gfortran/regression/20231103-1.f90

@@ -0,0 +1,22 @@
+! { dg-do compile }
+! { dg-options "-Ofast" }
+SUBROUTINE sedi_1D(QX1d,  DZ1d,kdir,BX1d,kbot,ktop)
+  real, dimension(:) :: QX1d,DZ1d
+  real, dimension(size(QX1d))  :: VVQ
+  logical                            BX_present
+  do k= kbot,ktop,kdir
+     VVQ= VV_Q0
+  enddo
+  Vxmaxx= min0
+  if (kdir==1) then
+     dzMIN = minval(DZ1d)
+  endif
+  npassx=   Vxmaxx/dzMIN
+  DO nnn= 1,npassx
+     if (BX_present) then
+       do k= ktop,kdir
+         BX1d= iDZ1d0
+       enddo
+     endif
+  ENDDO
+END

Fortran/gfortran/regression/20231103-2.f90

@@ -0,0 +1,22 @@
+! { dg-do compile }
+! { dg-options "-Ofast" }
+subroutine shr_map_checkFldStrshr_map_mapSet_dest(ndst,max0,eps,sum0,maxval0,min0,nidnjd,renorm)
+  allocatable  sum(:)
+  logical renorm
+  allocate(sum(ndst))
+  do n=1,ndst 
+    if (sum0 > eps) then
+      rmax = max0
+    endif
+  enddo
+  if (renorm) then
+    rmin = maxval0
+    rmax = minval(sum)
+    do n=1,nidnjd
+      if (sum0 > eps) then
+        rmin = min0
+      endif
+    enddo
+    write(*,*) rmin,rmax
+  endif
+end

Fortran/gfortran/regression/DisabledFiles.cmake

@@ -165,6 +165,13 @@ file(GLOB UNIMPLEMENTED_FILES CONFIGURE_DEPENDS
   unlimited_polymorphic_1.f03
   unlimited_polymorphic_32.f90
 
+  # unimplemented: assumed-rank variable in procedure implemented in Fortran
+  associate_66.f90
+  bind_c_optional-2.f90
+  intent_out_19.f90
+  intent_out_20.f90
+  shape_12.f90
+
   # unimplemented: ASYNCHRONOUS in procedure interface
   assumed_rank_13.f90
   asynchronous_3.f03
@@ -351,6 +358,7 @@ file(GLOB UNIMPLEMENTED_FILES CONFIGURE_DEPENDS
   pdt_25.f03
   pdt_27.f03
   pdt_28.f03
+  pdt_36.f03
   pdt_7.f03
   pdt_9.f03
   pr95826.f90
@@ -541,6 +549,7 @@ file(GLOB SKIPPED_FILES CONFIGURE_DEPENDS
 
   # error: No intrinsic or user-defined ASSIGNMENT(=) matches operand types
   # 'TYPE 1' and 'TYPE 2'
+  assumed_type_18.f90
   dec-comparison-complex_1.f90
   dec-comparison-complex_2.f90
   dec-comparison-int_1.f90
@@ -853,6 +862,37 @@ file(GLOB SKIPPED_FILES CONFIGURE_DEPENDS
   include_19.f90
   include_20.f90
   include_8.f90
+
+  # ----------------------------------------------------------------------------
+  #
+  # These tests require 128-bit integer support. Since we do not process
+  # DejaGNU directives to conditionally disable such tests, they are always
+  # disabled until we can conditionally run such tests
+  selected_logical_kind_3.f90
+
+  # error: conflicting debug info for argument
+  entry_6.f90
+
+  # error: Only -std=f2018 is allowed currently.
+  continuation_19.f
+
+  # error: Must be a constant value
+  pdt_33.f03
+
+  # error: 'foo_size' is not a procedure
+  pr103312.f90
+
+  # error: Actual argument type '__builtin_c_ptr' is not compatible with dummy
+  # argument type 'c_ptr'
+  pr108961.f90
+
+  # error: Procedure pointer 'op' with implicit interface may not be associated
+  # with procedure designator 'new_t' with explicit interface that cannot be
+  # called via an implicit interface
+  pr112407a.f90
+
+  # This causes a segmentation fault at run-time.
+  ishftc_optional_size_1.f90
 )
 
 # These tests are disabled because they fail when they are expected to pass.
@@ -973,6 +1013,7 @@ file(GLOB FAILING_FILES CONFIGURE_DEPENDS
   # anyway so the test-suite passes by default on AArch64.
   entry_23.f
   findloc_8.f90
+  pr99210.f90
 
   # These tests fail on Ubuntu because of a bug in the not utility. At least
   # some of these should work once the issue with not has been fixed.
@@ -1438,6 +1479,9 @@ file(GLOB FAILING_FILES CONFIGURE_DEPENDS
   # error: No explicit type declared for 'arg4'
   unused_artificial_dummies_1.f90
 
+  # Invalid specification expression: reference to OPTIONAL dummy argument
+  allocatable_length_2.f90
+
   # Valid errors
   # Valid out-of-bounds subscript errors, are warnings in gfortran
   bounds_check_3.f90
@@ -1730,7 +1774,7 @@ file(GLOB FAILING_FILES CONFIGURE_DEPENDS
   bounds_check_17.f90
   pr48958.f90
 
-  # These files require the __truncsfbf2 intrinsic that is not available in
+  # These files require the __truncsfbf2 intrinsic that is not available
   # before GCC 13. Alternatively, it requires compiler-rt to be built and a
   # command line option provided to instruct the compiler to use it. Currently,
   # we do not support either a version check on GCC or require that compiler-rt
@@ -1751,4 +1795,50 @@ file(GLOB FAILING_FILES CONFIGURE_DEPENDS
 
   # These are flaky tests, which may fail sometimes.
   random_init_2.f90
+
+  # The causes of failure of these tests need to be investigated
+  PR113061.f90
+  allocate_with_source_29.f90
+  boz_8.f90
+  continuation_18.f90
+  data_initialized_4.f90
+  data_pointer_3.f90
+  date_and_time_2.f90
+  interface_50.f90
+  interface_procedure_1.f90
+  iso_fortran_env_9.f90
+  line_length_12.f90
+  oldstyle_5.f
+  pdt_34.f03
+  pdt_35.f03
+  pr104555.f90
+  pr112407b.f90
+  pr114883.f90
+  pr25623-2.f90
+  pr25623.f90
+  pr43984.f90
+  pr88624.f90
+  pr99139.f90
+  pr99368.f90
+  reshape_10.f90
+  selected_logical_kind_2.f90
+  submodule_3.f08
+  submodule_33.f08
+  achar_2.f90
+  allocate_with_source_30.f90
+  allocate_with_source_31.f90
+  backslash_1.f90
+  bound_11.f90
+  bounds_check_fail_6.f90
+  bounds_check_fail_7.f90
+  finalize_56.f90
+  internal_dummy_2.f08
+  iso_fortran_env_8.f90
+  optional_absent_12.f90
+  pr103389.f90
+  pr105456-nmlr.f90
+  pr105473.f90
+  pr111022.f90
+  pr114304.f90
+  zero_sized_15.f90
 )

Fortran/gfortran/regression/PR105658.f90

@@ -0,0 +1,50 @@
+! { dg-do compile }
+! { dg-options "-Warray-temporaries" }
+! Test fix for incorrectly passing array component to unlimited polymorphic procedure
+
+module test_PR105658_mod
+   implicit none
+   type :: foo
+     integer :: member1
+     integer :: member2
+   end type foo
+contains
+   subroutine print_poly(array)
+     class(*), dimension(:), intent(in) :: array
+     select type(array)
+     type is (integer)
+       print*, array
+     type is (character(*))
+       print *, array
+     end select
+   end subroutine print_poly
+
+   subroutine do_print(thing)
+     type(foo), dimension(3), intent(in) :: thing
+     type(foo), parameter :: y(3) = [foo(1,2),foo(3,4),foo(5,6)]
+     integer :: i, j, uu(5,6)
+
+     call print_poly(thing%member1)   ! { dg-warning "array temporary" }
+     call print_poly(y%member2)       ! { dg-warning "array temporary" }
+     call print_poly(y(1::2)%member2) ! { dg-warning "array temporary" }
+
+     ! The following array sections work without temporaries
+     uu = reshape([(((10*i+j),i=1,5),j=1,6)],[5,6])
+     print *, uu(2,2::2)
+     call print_poly (uu(2,2::2))     ! no temp needed!
+     print *, uu(1::2,6)
+     call print_poly (uu(1::2,6))     ! no temp needed!
+   end subroutine do_print
+
+   subroutine do_print2(thing2)
+     class(foo), dimension(:), intent(in) :: thing2
+     call print_poly (thing2% member2) ! { dg-warning "array temporary" }
+   end subroutine do_print2
+
+   subroutine do_print3 ()
+     character(3) :: c(3) = ["abc","def","ghi"]
+     call print_poly (c(1::2))      ! no temp needed!
+     call print_poly (c(1::2)(2:3)) ! { dg-warning "array temporary" }
+   end subroutine do_print3
+
+end module test_PR105658_mod

Fortran/gfortran/regression/PR113061.f90

@@ -0,0 +1,12 @@
+! { dg-do compile }
+! { dg-options "-fno-move-loop-invariants -Oz" }
+module module_foo
+  use iso_c_binding
+  contains
+  subroutine foo(a) bind(c)
+    type(c_ptr)  a(..)
+    select rank(a)
+    end select
+    call bar
+  end
+end

Fortran/gfortran/regression/allocatable_function_1.f90

@@ -107,4 +107,4 @@ function bar (n) result(b)
     end function bar
 
 end program alloc_fun
-! { dg-final { scan-tree-dump-times "free" 10 "original" } }
+! { dg-final { scan-tree-dump-times "__builtin_free " 10 "original" } }

Fortran/gfortran/regression/allocatable_function_11.f90

@@ -0,0 +1,36 @@
+! { dg-do compile }
+! PR fortran/109500 - check F2018:8.5.3 Note 1
+!
+! The result of referencing a function whose result variable has the
+! ALLOCATABLE attribute is a value that does not itself have the
+! ALLOCATABLE attribute.
+
+program main
+  implicit none
+  integer, allocatable  :: p
+  procedure(f), pointer :: pp
+  pp => f
+  p = f()
+  print *, allocated (p)
+  print *, is_allocated (p)
+  print *, is_allocated (f())  ! { dg-error "is a function result" }
+  print *, is_allocated (pp()) ! { dg-error "is a function result" }
+  call s (p)
+  call s (f())  ! { dg-error "is a function result" }
+  call s (pp()) ! { dg-error "is a function result" }
+
+contains
+  subroutine s(p)
+    integer, allocatable :: p
+  end subroutine s
+
+  function f()
+    integer, allocatable :: f
+    allocate (f, source=42)
+  end function
+
+  logical function is_allocated(p)
+    integer, allocatable :: p
+    is_allocated = allocated(p)
+  end function
+end program

Fortran/gfortran/regression/allocatable_length.f90

@@ -0,0 +1,9 @@
+! { dg-do compile }
+! { dg-options "-Werror -Wall" }
+module foo
+   contains
+      subroutine bar 
+         character(len=:), allocatable :: s(:)
+         call bah(s)
+      end subroutine bar
+end module foo