gdb/fortran: Align intrinsic/variable precedence
authorRichard Bunt <richard.bunt@linaro.org>
Mon, 7 Aug 2023 08:12:53 +0000 (09:12 +0100)
committerRichard Bunt <richard.bunt@linaro.org>
Mon, 7 Aug 2023 08:13:14 +0000 (09:13 +0100)
commit2f98b09492b33b95afcc1ac22d212ee4a5be0149
tree70ae6d99817a818db71e0d990907db068daf6c27
parentad233d0d74661e5206d093e826db1eb4120c5fef
gdb/fortran: Align intrinsic/variable precedence

Fortran allows variables and function to be named after language defined
intrinsics as they are not reserved keywords. For example, the abs maths
intrinsic can be hidden by a user declaring a variable called abs.

The behavior before this patch was to favour the intrinsic, which meant
that any variables named, for example "allocated", could not be
inspected by GDB.

This patch inverts this priority to bring GDB's behaviour closer to the
Fortran language, where the user defined symbol can hide the intrinsic.

Special care was need to prevent any C symbols from overriding either
Fortran intrinsics or user defined variables. This was observed to be
the case when GDB has access to symbols for abs from libm. This was
solved by only allowing symbols not marked with language_fortran to be
overridden.

In total this brings the order of precedence to the following (highest
first):

    1. User defined Fortran variable or function.
    2. Fortran intrinsic.
    3. Symbols from languages other than Fortran.

The sizeof intrinsic is now case insensitive. This is closer to the
Fortran language.  I believe this change is safe enough as it increases
the acceptance of the grammar, rather than restricts it. I.e. it should
not break any existing scripts which rely on it. Unless of course they
rely on SIZEOF being rejected.

GDB built with GCC 13.

No test suite regressions detected. Compilers: GCC, ACfL, Intel, Intel
LLVM, NVHPC; Platforms: x86_64, aarch64.

Existing tests in gdb.fortran cover the invocation of intrinsics
including: intrinsics.exp, shape.exp, rank.exp, lbound-ubound.exp.

Approved-By: Tom Tromey <tom@tromey.com>
gdb/f-exp.y
gdb/testsuite/gdb.fortran/intrinsic-precedence.c [new file with mode: 0644]
gdb/testsuite/gdb.fortran/intrinsic-precedence.exp [new file with mode: 0644]
gdb/testsuite/gdb.fortran/intrinsic-precedence.f90 [new file with mode: 0644]