[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 89413, which changed state.

Bug 89413 Summary: [PDT] ICE in resolve_fl_derived, at fortran/resolve.c:14392
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89413

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[janus at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 89601, which changed state.

Bug 89601 Summary: [8 Regression] [PDT] ICE: Segmentation fault (in 
resolve_component)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89601

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 84120, which changed state.

Bug 84120 Summary: Syntax for used for PDT constructors is incorrect
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84120

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |DUPLICATE

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[foreese at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82865, which changed state.

Bug 82865 Summary: Option -fdec collides with PDT
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82865

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82865, which changed state.

Bug 82865 Summary: Option -fdec collides with PDT
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82865

   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|FIXED   |---

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[foreese at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82865, which changed state.

Bug 82865 Summary: Option -fdec collides with PDT
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82865

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 83611, which changed state.

Bug 83611 Summary: [PDT] Assignment of parameterized types causes double free 
error in runtime
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83611

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 83731, which changed state.

Bug 83731 Summary: PDT length parameter incorrectly rejected at run-time with 
-fcheck=bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83731

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 83567, which changed state.

Bug 83567 Summary: Parametrized derived types: Segmentation fault when 
assigning a function return value
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83567

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82979, which changed state.

Bug 82979 Summary: [PDT] [F2003] [ice-on-invalid] ICE (segfault) on invalid 
type-param-name-list in PDT declaration
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82979

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82978, which changed state.

Bug 82978 Summary: [PDT] [F2003] Paramaterized Derived Type LEN parameters take 
the latest value per-kind
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82978

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82866, which changed state.

Bug 82866 Summary: [PDT] ICE in resolve_fl_derived0, at fortran/resolve.c:14004
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82866

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82720, which changed state.

Bug 82720 Summary: [PDT] ICE in gfc_conv_component_ref, at 
fortran/trans-expr.c:2400
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82720

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82719, which changed state.

Bug 82719 Summary: [PDT] ICE in transfer_expr, at fortran/trans-io.c:2393
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82719

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82622, which changed state.

Bug 82622 Summary: [PDT] ICE in structure_alloc_comps, at 
fortran/trans-array.c:8963
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82622

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82606, which changed state.

Bug 82606 Summary: [PDT] ICE in gfc_extract_int, at fortran/expr.c:641
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82606

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82605, which changed state.

Bug 82605 Summary: [PDT] ICE in insert_parameter_exprs, at fortran/decl.c:3154
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82605

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82620, which changed state.

Bug 82620 Summary: [PDT] ICE: free_expr0(): Bad expr type (at 
fortran/expr.c:497)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82620

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82589, which changed state.

Bug 82589 Summary: [PDT] ICE in gfc_get_pdt_instance, at fortran/decl.c:3278
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82589

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82587, which changed state.

Bug 82587 Summary: [PDT] ICE in get_pdt_constructor, at fortran/resolve.c:1185
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82587

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82586, which changed state.

Bug 82586 Summary: [PDT] ICE: write_symbol(): bad module symbol
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82586

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82497, which changed state.

Bug 82497 Summary: valgrind error in get_pdt_constructor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82497

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |WORKSFORME

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82375, which changed state.

Bug 82375 Summary: PDT components in PDT declarations fail to compile
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82375

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
Bug 82173 depends on bug 82168, which changed state.

Bug 82168 Summary: Parameterized Derived Types, problems with default type 
parameters
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82168

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

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

--- Comment #4 from Paul Thomas  ---
Author: pault
Date: Sun Sep 17 18:24:37 2017
New Revision: 252894

URL: https://gcc.gnu.org/viewcvs?rev=252894=gcc=rev
Log:
2017-09-17  Paul Thomas  

PR fortran/82173
* decl.c (gfc_get_pdt_instance): Use the component initializer
expression for the default, rather than the parameter value.
* resolve.c (resolve_pdt): New function.
(resolve_symbol): Call it. Remove false error, prohibiting
deferred type parameters for dummy arguments.

PR fortran/60483
* primary.c (gfc_match_varspec): If the type of an associate
name is unknown and yet there is a match, try resolving the
target expression and using its type.

2017-09-17  Paul Thomas  

PR fortran/82173
* gfortran.dg/pdt_1.f03 : Eliminate spurious error checks.
* gfortran.dg/pdt_2.f03 : The same.
* gfortran.dg/pdt_3.f03 : The same.
* gfortran.dg/pdt_4.f03 : Add 'modtype' and two new errors in
module 'bad_vars'. Add error concerning assumed parameters and
save attribute.
* gfortran.dg/pdt_11.f03 : New test.

PR fortran/60483
* gfortran.dg/associate_9.f90 : Remove XFAIL and change to run.
* gfortran.dg/associate_25.f90 : New test.
* gfortran.dg/pdt_12.f03 : New test.

Added:
trunk/gcc/testsuite/gfortran.dg/associate_25.f90
trunk/gcc/testsuite/gfortran.dg/pdt_11.f03
trunk/gcc/testsuite/gfortran.dg/pdt_12.f03
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/decl.c
trunk/gcc/fortran/primary.c
trunk/gcc/fortran/resolve.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/associate_9.f03
trunk/gcc/testsuite/gfortran.dg/pdt_1.f03
trunk/gcc/testsuite/gfortran.dg/pdt_2.f03
trunk/gcc/testsuite/gfortran.dg/pdt_3.f03
trunk/gcc/testsuite/gfortran.dg/pdt_4.f03

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

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

--- Comment #3 from Paul Thomas  ---
Author: pault
Date: Wed Sep 13 21:15:26 2017
New Revision: 252734

URL: https://gcc.gnu.org/viewcvs?rev=252734=gcc=rev
Log:
2017-09-13  Paul Thomas  

PR fortran/82173
* decl.c (match_char_kind): If the kind expression is
parameterized, save it in saved_kind_expr and set kind = 0.
(gfc_get_pdt_instance): Resolve and simplify before emitting
error on expression kind. Insert a missing simplification after
insertion of kind expressions.

2017-09-13  Paul Thomas  

PR fortran/82173
* gfortran.dg/pdt_10.f03 : New test.

Added:
trunk/gcc/testsuite/gfortran.dg/pdt_10.f03
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/decl.c
trunk/gcc/testsuite/ChangeLog

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

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

--- Comment #2 from Paul Thomas  ---
Author: pault
Date: Tue Sep 12 18:06:52 2017
New Revision: 252039

URL: https://gcc.gnu.org/viewcvs?rev=252039=gcc=rev
Log:
2017-09-12  Paul Thomas  

PR fortran/82173
PR fortran/82168
* decl.c (variable_decl): Check pdt template components for
appearance of KIND/LEN components in the type parameter name
list, that components corresponding to type parameters have
either KIND or LEN attributes and that KIND or LEN components
are scalar. Copy the initializer to the parameter value.
(gfc_get_pdt_instance): Add a label 'error_return' and follow
it with repeated code, while replacing this code with a jump.
Check if a parameter appears as a component in the template.
Make sure that the parameter expressions are integer. Validate
KIND expressions.
(gfc_match_decl_type_spec): Search for pdt_types in the parent
namespace since they are instantiated in the template ns.
* expr.c (gfc_extract_int): Use a KIND parameter if it
appears as a component expression.
(gfc_check_init_expr): Allow expressions with the pdt_kind
attribute.
*primary.c (gfc_match_actual_arglist): Make sure that the first
keyword argument is recognised when 'pdt' is set.


2017-09-12  Paul Thomas  

PR fortran/82173
* gfortran.dg/pdt_4.f03 : Remove the 'is being used before it
is defined' error.
* gfortran.dg/pdt_6.f03 : New test.
* gfortran.dg/pdt_7.f03 : New test.
* gfortran.dg/pdt_8.f03 : New test.

PR fortran/82168
* gfortran.dg/pdt_9.f03 : New test.

Added:
trunk/gcc/testsuite/gfortran.dg/pdt_6.f03
trunk/gcc/testsuite/gfortran.dg/pdt_7.f03
trunk/gcc/testsuite/gfortran.dg/pdt_8.f03
trunk/gcc/testsuite/gfortran.dg/pdt_9.f03
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/decl.c
trunk/gcc/fortran/expr.c
trunk/gcc/fortran/primary.c
trunk/gcc/fortran/symbol.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/pdt_4.f03

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[pault at gcc dot gnu.org]

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

Paul Thomas  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |pault at gcc dot gnu.org

--- Comment #1 from Paul Thomas  ---
Dear Thomas,

Thanks for doing that.

Cheers

Paul

[Bug fortran/82173] [meta-bug] Parameterized derived type errors

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2017-09-11
Version|unknown |8.0
 Depends on||82168
 Ever confirmed|0   |1


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82168
[Bug 82168] Parameterized Derived Types, problems with default type parameters