https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115316
Bug ID: 115316
Summary: valgrind error in insert_parameter_exprs
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
For this F90 source code:
! RUN: %python %S/test_errors.py %s %flang_fc1
! Check for semantic errors in ALLOCATE statements
subroutine C933_a(b1, ca3, ca4, cp3, cp3mold, cp4, cp7, cp8, bsrc)
! If any allocate-object has a deferred type parameter, is unlimited
polymorphic,
! or is of abstract type, either type-spec or source-expr shall appear.
! Only testing deferred type parameters here.
type SomeType(k, l1, l2)
integer, kind :: k = 1
integer, len :: l1
integer, len :: l2 = 3
character(len=l2+l1) str
end type
type B(l)
integer, len :: l
character(:), allocatable :: msg
type(SomeType(4, l, :)), pointer :: something
end type
character(len=:), allocatable :: ca1, ca2(:)
character(len=*), allocatable :: ca3, ca4(:)
character(len=2), allocatable :: ca5, ca6(:)
character(len=5) mold
type(SomeType(l1=:,l2=:)), pointer :: cp1, cp2(:)
type(SomeType(l1=3,l2=4)) cp1mold
type(SomeType(1,*,:)), pointer :: cp3, cp4(:)
type(SomeType(1,*,5)) cp3mold
type(SomeType(l1=:)), pointer :: cp5, cp6(:)
type(SomeType(l1=6)) cp5mold
type(SomeType(1,*,*)), pointer :: cp7, cp8(:)
type(SomeType(1, l1=3)), pointer :: cp9, cp10(:)
type(B(*)) b1
type(B(:)), allocatable :: b2
type(B(5)) b3
type(SomeType(4, *, 8)) bsrc
! Expecting errors: need type-spec/src-expr
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(ca1)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(ca2(4))
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(cp1)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(cp2(2))
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(cp3)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(cp4(2))
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(cp5)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(cp6(2))
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(b1%msg)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(b1%something)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(b2%msg)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(b2%something)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(b3%msg)
!ERROR: Either type-spec or source-expr must appear in ALLOCATE when
allocatable object has a deferred type parameters
allocate(b3%something)
! Nominal cases, expecting no errors
allocate(character(len=5):: ca2(4))
allocate(character(len=5):: ca1)
allocate(character*5:: ca1)
allocate(ca2(4), MOLD = "abcde")
allocate(ca2(2), MOLD = (/"abcde", "fghij"/))
allocate(ca1, MOLD = mold)
allocate(ca2(4), SOURCE = "abcde")
allocate(ca2(2), SOURCE = (/"abcde", "fghij"/))
allocate(ca1, SOURCE = mold)
allocate(SomeType(l1=1, l2=2):: cp1, cp2(2))
allocate(SomeType(1,*,5):: cp3, cp4(2)) !OK, but segfaults gfortran
allocate(SomeType(l1=1):: cp5, cp6(2))
allocate(cp1, cp2(2), mold = cp1mold)
allocate(cp3, cp4(2), mold = cp3mold)
allocate(cp5, cp6(2), mold = cp5mold)
allocate(cp1, cp2(2), source = cp1mold)
allocate(cp3, cp4(2), source = cp3mold)
allocate(cp5, cp6(2), source = cp5mold)
allocate(character(len=10):: b1%msg, b2%msg, b3%msg)
allocate(SomeType(4, b1%l, 9):: b1%something)
allocate(b2%something, source=bsrc)
allocate(SomeType(4, 5, 8):: b3%something)
! assumed/explicit length do not need type-spec/mold
allocate(ca3, ca4(4))
allocate(ca5, ca6(4))
allocate(cp7, cp8(2))
allocate(cp9, cp10(2))
end subroutine
>From the flang testsuite at
https://github.com/llvm/llvm-project/tree/main/flang/test,
does this:
test $ ~/gcc/results.20240530.valgrind/bin/gfortran -c
./Semantics/allocate03.f90
==381256== Invalid read of size 32
==381256== at 0x72E641: insert_parameter_exprs (decl.cc:3773)
==381256== by 0x72E641: insert_parameter_exprs(gfc_expr*, gfc_symbol*, int*)
(decl.cc:3753)
==381256== by 0x751C6B: gfc_traverse_expr(gfc_expr*, gfc_symbol*, bool
(*)(gfc_expr*, gfc_symbol*, int*), int) (expr.cc:5398)
==381256== by 0x731AF4: gfc_insert_parameter_exprs (decl.cc:3794)
