fort_dyn_array: add basic fortran dyn array support
authorKeven Boell <keven.boell@linux.intel.com>
Wed, 21 Oct 2015 19:32:30 +0000 (15:32 -0400)
committerJoel Brobecker <brobecker@adacore.com>
Wed, 21 Oct 2015 19:37:46 +0000 (15:37 -0400)
commit3f2f83ddcba5b04389dd3c666ce7d4cace7e5b63
treeba93c1c70f2be43082734ea52bfd413ca0f11c8c
parent27145d50705b46e213f5f261bd07572383c79e20
fort_dyn_array: add basic fortran dyn array support

Fortran provide types whose values may be dynamically allocated
or associated with a variable under explicit program control.
The purpose of this commit is:

  * to read allocated/associated DWARF tags and store them in
    the dynamic property list of main_type.

  * enable GDB to print the value of a dynamic array in Fortran
    in case the type is allocated or associated (pointer to
    dynamic array).

Examples:
    (gdb) p vla_not_allocated
    $1 = <not allocated>

    (gdb) p vla_allocated
    $1 = (1, 2, 3)

    (gdb) p vla_ptr_not_associated
    $1 = <not associated>

    (gdb) p vla_ptr_associated
    $1 = (1, 2, 3)

Add basic test coverage for most dynamic array use-cases in Fortran.
The commit contains the following tests:
  * Ensure that values of Fortran dynamic arrays
    can be evaluated correctly in various ways and states.
  * Ensure that Fortran primitives can be evaluated
    correctly when used as a dynamic array.
  * Dynamic arrays passed to subroutines and handled
    in different ways inside the routine.
  * Ensure that the ptype of dynamic arrays in
    Fortran can be printed in GDB correctly.
  * Ensure that dynamic arrays in different states
    (allocated/associated) can be evaluated.
  * Dynamic arrays passed to functions and returned from
    functions.
  * History values of dynamic arrays can be accessed and
    printed again with the correct values.
  * Dynamic array evaluations using MI protocol.
  * Sizeof output of dynamic arrays in various states.

The patch was tested using the test suite on Ubuntu 12.04 64bit.

gdb/ChangeLog:

        * dwarf2read.c (set_die_type): Add read of
        DW_AT_allocated and DW_AT_associated.
        * f-typeprint.c: New include of typeprint.h
        (f_print_type): Add check for allocated/associated
        status of type.
        (f_type_print_varspec_suffix): Add check for
        allocated/associated status of type.
        * gdbtypes.c (create_array_type_with_stride):
        Add check for valid data location of type in
        case allocated or associated attributes are set.
        Length of an array should be only calculated if
        allocated or associated is resolved as true.
        (is_dynamic_type_internal): Add check for allocated/
        associated.
        (resolve_dynamic_array): Evaluate allocated/associated
        properties.
        * gdbtypes.h (enum dynamic_prop_node_kind): <DYN_PROP_ALLOCATED>
        <DYN_PROP_ASSOCIATED>: New enums.
        (TYPE_ALLOCATED_PROP, TYPE_ASSOCIATED_PROP): New macros.
        (type_not_allocated): New function.
        (type_not_associated): New function.
        * valarith.c (value_subscripted_rvalue): Add check for
        allocated/associated.
        * valprint.c: New include of typeprint.h.
        (valprint_check_validity): Add check for allocated/associated.
        (value_check_printable): Add check for allocated/
        associated.
        * typeprint.h (val_print_not_allocated): New function.
        (val_print_not_associated): New function.
        * typeprint.c (val_print_not_allocated): New function.
        (val_print_not_associated): New function.

gdb/testsuite/ChangeLog:

        * gdb.fortran/vla-alloc-assoc.exp: New file.
        * gdb.fortran/vla-datatypes.exp: New file.
        * gdb.fortran/vla-datatypes.f90: New file.
        * gdb.fortran/vla-history.exp: New file.
        * gdb.fortran/vla-ptype-sub.exp: New file.
        * gdb.fortran/vla-ptype.exp: New file.
        * gdb.fortran/vla-sizeof.exp: New file.
        * gdb.fortran/vla-sub.f90: New file.
        * gdb.fortran/vla-value-sub-arbitrary.exp: New file.
        * gdb.fortran/vla-value-sub-finish.exp: New file.
        * gdb.fortran/vla-value-sub.exp: New file.
        * gdb.fortran/vla-value.exp: New file.
        * gdb.fortran/vla-ptr-info.exp: New file.
        * gdb.mi/mi-vla-fortran.exp: New file.
        * gdb.mi/vla.f90: New file.
26 files changed:
gdb/ChangeLog
gdb/dwarf2read.c
gdb/f-typeprint.c
gdb/gdbtypes.c
gdb/gdbtypes.h
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.fortran/vla-alloc-assoc.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-datatypes.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-datatypes.f90 [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-history.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-ptr-info.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-ptype-sub.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-ptype.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-sizeof.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-sub.f90 [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-value-sub-arbitrary.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-value-sub-finish.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-value-sub.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla-value.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/vla.f90 [new file with mode: 0644]
gdb/testsuite/gdb.mi/mi-vla-fortran.exp [new file with mode: 0644]
gdb/testsuite/gdb.mi/vla.f90 [new file with mode: 0644]
gdb/typeprint.c
gdb/typeprint.h
gdb/valarith.c
gdb/valprint.c