[gcc r12-4722] Fortran: [PDT] KIND and LEN type parameters are mutually exclusive

[gcc r12-4722] Fortran: [PDT] KIND and LEN type parameters are mutually exclusive

[Harald Anlauf]

https://gcc.gnu.org/g:662f64a1f9e2de65982e4d895b3afe72cbf581ba

commit r12-4722-g662f64a1f9e2de65982e4d895b3afe72cbf581ba
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Oct 26 22:14:19 2021 +0200

    Fortran: [PDT] KIND and LEN type parameters are mutually exclusive
    
    gcc/fortran/ChangeLog:
    
            PR fortran/102956
            * symbol.c (gfc_check_conflict): Add conflict check for PDT KIND
            and LEN type parameters.
    
    gcc/testsuite/ChangeLog:
    
            PR fortran/102956
            * gfortran.dg/pdt_32.f03: New test.

Diff:
---
 gcc/fortran/symbol.c                 |  1 +
 gcc/testsuite/gfortran.dg/pdt_32.f03 | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)

diff --git a/gcc/fortran/symbol.c b/gcc/fortran/symbol.c
index 2c4acd5abe1..c77f3f84962 100644
--- a/gcc/fortran/symbol.c
+++ b/gcc/fortran/symbol.c
@@ -720,6 +720,7 @@ gfc_check_conflict (symbol_attribute *attr, const char *name, locus *where)
   conf (pdt_len, pointer)
   conf (pdt_len, dimension)
   conf (pdt_len, codimension)
+  conf (pdt_len, pdt_kind)
 
   if (attr->access == ACCESS_PRIVATE)
     {
diff --git a/gcc/testsuite/gfortran.dg/pdt_32.f03 b/gcc/testsuite/gfortran.dg/pdt_32.f03
new file mode 100644
index 00000000000..f8d40410828
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pdt_32.f03
@@ -0,0 +1,17 @@
+! { dg-do compile }
+! PR fortran/102956
+! PDT KIND and LEN type parameters are mutually exclusive (F2018:R734)
+!
+module m
+  type :: good_pdt (k,l)
+     integer, kind           :: k = 1
+     integer, len            :: l = 1
+     character(kind=k,len=l) :: c
+  end type good_pdt
+
+  type :: bad_pdt (k,l)               ! { dg-error "does not have a component" }
+     integer, kind, len      :: k = 1 ! { dg-error "attribute conflicts with" }
+     integer, len, kind      :: l = 1 ! { dg-error "attribute conflicts with" }
+     character(kind=k,len=l) :: c     ! { dg-error "has not been declared" }
+  end type bad_pdt
+end