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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ipa                         |fortran

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
push_8 argument type is

    arguments <parm_decl 0x7ffff69cd600 self
        type <reference_type 0x7ffff69ec000 type <pointer_type 0x7ffff69e3000>
            unsigned DI size <integer_cst 0x7ffff680cbb8 64> unit-size
<integer_cst 0x7ffff680cbd0 8>
            align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff69ec000>
        readonly used unsigned DI passed-by-reference
/home/rguenther/src/gcc2/gcc/testsuite/gfortran.dg/pdt_14.f03:47:0 size
<integer_cst 0x7ffff680cbb8 64> unit-size <integer_cst 0x7ffff680cbd0 8>
        align:64 warn_if_not_align:0 context <function_decl 0x7ffff69e0400
pop_8> arg-type <reference_type 0x7ffff69ec000>>
(gdb) p debug_tree (0x7ffff69e3000)
 <pointer_type 0x7ffff69e3000
    type <record_type 0x7ffff69dcf18 Pdtlink_8 BLK
        size <integer_cst 0x7ffff682a078 constant 192>
        unit-size <integer_cst 0x7ffff682a048 constant 24>
        align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff69dcf18

and in ch2701 the root variable is

var_decl 0x7ffff69f6900 root type <pointer_type 0x7ffff69fb0a8>
            addressable used unsigned DI
/home/rguenther/src/gcc2/gcc/testsuite/gfortran.dg/pdt_14.f03:78:48 size
<integer_cst 0x7ffff680cbb8 64> unit-size <integer_cst 0x7ffff680cbd0 8>
            align:64 warn_if_not_align:0 context <function_decl 0x7ffff69e0b00
ch2701>>
(gdb) p debug_tree (0x7ffff69fb0a8)
 <pointer_type 0x7ffff69fb0a8
    type <record_type 0x7ffff69fb2a0 pdtlink_8 BLK
        size <integer_cst 0x7ffff682a078 constant 192>
        unit-size <integer_cst 0x7ffff682a048 constant 24>
        align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff69fb2a0

which is a different type.  The latter is created here:

#0  0x0000000000c1d6f2 in gfc_get_derived_type (derived=0x39ebb70, codimen=0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-types.c:2647
#1  0x0000000000c18c21 in gfc_typenode_for_spec (spec=0x39eb090, codim=0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-types.c:1167
#2  0x0000000000c1c54b in gfc_sym_type (sym=0x39eb070)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-types.c:2252
#3  0x0000000000b701d9 in gfc_get_symbol_decl (sym=0x39eb070)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:1790
#4  0x0000000000b7fe7f in generate_local_decl (sym=0x39eb070)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:5948
#5  0x0000000000b1843d in do_traverse_symtree (st=0x39ec880, st_func=0x0, 
    sym_func=0xb7fdbb <generate_local_decl(gfc_symbol*)>)
    at /home/rguenther/src/gcc2/gcc/fortran/symbol.c:4170
#6  0x0000000000b184f8 in gfc_traverse_ns (ns=0x3a2f6d0, 
    sym_func=0xb7fdbb <generate_local_decl(gfc_symbol*)>)
    at /home/rguenther/src/gcc2/gcc/fortran/symbol.c:4195
#7  0x0000000000b80677 in generate_local_vars (ns=0x3a2f6d0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:6154
#8  0x0000000000b825af in gfc_generate_function_code (ns=0x3a2f6d0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:6812
#9  0x0000000000b3e3fe in gfc_generate_code (ns=0x3a2f6d0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans.c:2235
#10 0x0000000000abe7e0 in translate_all_program_units (
    gfc_global_ns_list=0x39b18f0)

while the former here:

#0  0x0000000000c1d6f2 in gfc_get_derived_type (derived=0x39c6480, codimen=0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-types.c:2647
#1  0x0000000000c18c21 in gfc_typenode_for_spec (spec=0x39ce5a0, codim=0)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-types.c:1167
#2  0x0000000000c1c54b in gfc_sym_type (sym=0x39ce580)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-types.c:2252
#3  0x0000000000b701d9 in gfc_get_symbol_decl (sym=0x39ce580)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:1790
#4  0x0000000000b7dd72 in gfc_create_module_variable (sym=0x39ce580)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:5339
#5  0x0000000000b1843d in do_traverse_symtree (st=0x3951a30, st_func=0x0, 
    sym_func=0xb7d65d <gfc_create_module_variable(gfc_symbol*)>)
    at /home/rguenther/src/gcc2/gcc/fortran/symbol.c:4170
#6  0x0000000000b184f8 in gfc_traverse_ns (ns=0x39b2f80, 
    sym_func=0xb7d65d <gfc_create_module_variable(gfc_symbol*)>)
    at /home/rguenther/src/gcc2/gcc/fortran/symbol.c:4195
#7  0x0000000000b7fb05 in gfc_generate_module_vars (ns=0x39b2f80)
    at /home/rguenther/src/gcc2/gcc/fortran/trans-decl.c:5838
#8  0x0000000000b3e4f4 in gfc_generate_module_code (ns=0x39b2f80)
    at /home/rguenther/src/gcc2/gcc/fortran/trans.c:2259
#9  0x0000000000abe712 in translate_all_program_units (
    gfc_global_ns_list=0x39b18f0)

there is it seems code to deal with the type already been there but it seems
this handling doesn't work.  It does

  /* Store up the canonical type to be added to this one.  */
  if (got_canonical)
    {
      if (TYPE_CANONICAL (derived->backend_decl))
        canonical = TYPE_CANONICAL (derived->backend_decl);
      else
        canonical = derived->backend_decl;

      derived->backend_decl = NULL_TREE;
    }

  /* derived->backend_decl != 0 means we saw it before, but its
     components' backend_decl may have not been built.  */
  if (derived->backend_decl)
...
  else
    {
      /* We see this derived type first time, so build the type node.  */
      typenode = make_node (RECORD_TYPE);
      TYPE_NAME (typenode) = get_identifier (derived->name);
      TYPE_PACKED (typenode) = flag_pack_derived;
      derived->backend_decl = typenode;
    }

but we enver find a canonical type.

Looks like a latent issue exposed now.

Reply via email to