To: J3                                                     J3/25-124r1
From: Aury Shafran & Malcolm Cohen
Subject: Base object
Date: 2025-February-20
References: 25-007

1. Introduction

The term "base object" is defined in 25-007, 3.12, as:

    object designated by the leftmost part-name
    Note 1 to entry: Base objects are described in 9.4.2.
    Note 2 to entry: This only applies to the data-ref syntax (R911).

It is defined to only apply to <data-ref>. However, elsewhere in the
standard, multiple uses of the term "base object" are made in contexts
that aren't intended to require a <data-ref>.

For example, 10.1.11 "Specification expression" p.2 list item (2) says
"... each primary is ... (2) an object designator with a **base object**
that is a dummy argument that has neither the OPTIONAL nor the
INTENT (OUT) attribute". List item (2) is intended to allow dummy
argument names to appear in specification expressions, such as:

    subroutine sub(x)
        integer :: x
        integer :: y(x)  ! <-- x can appear here
    end subroutine

In the case of the marked line, "x" in the BNF is an <object-name>
(<specification-expr>  --> <int-expr> --> expr  -->  ... --> primary -->
designator --> <object-name>). An <object-name> is not a <data-ref>, and
it has no <part-name>, so "base object" does not apply to it. Therefore,
the list item (2) as written doesn't apply to the example above.

Similar problematic uses of "base object" in contexts that aren't
intended to require a <data-ref> are: list items (3) and (4) in 10.1.11,
8.5.4 p.2, C8110, C15104, and C15121.

Edits to address the issue are provided below.

2. Edits

[110:23] 8.2 Type declaration statement, R804 <object-name>,
         After "is" change "<name>" to "<data-ref>",
[110:24] C810 change
    "(R804) The <object-name> shall be the name of a data object."
    to
    "The <data-ref> of an <object-name> shall consist of a single
     <part-name>."

{ We do not need to say "that is the name of a data object" here, because
C912 already says it. }

[145:21] 9.2 Variable, R903 <variable-name>
         after "is" change "<name>" to "<data-ref>",
[145:22] C903, replace
    "(R903) <variable-name> shall be the name of a variable."
    with
    "The <data-ref> of a <variable-name> shall consist of a single
     <part-name> that is the name of a variable."

===END===