J3/17-219
To: J3
From: Malcolm Cohen
Subject: MOVE_ALLOC inconsistent with other intrinsics
Date: 2017 October 12


1. Introduction

This revision adds STAT and ERRMSG arguments to MOVE_ALLOC.  However, the
STAT argument is required to be of default integer, which is inconsistent
with other STAT arguments, which are required merely to have a decimal
range of at least four.

Requiring default integer not only prohibits INT16, but also INT64.  This
is not reasonable.


2. Discussion

However, this is a TECHNICAL CHANGE, albeit minor.
We should not be making technical changes without very good reason.

Straw Vote: "Is the inconsistency in the STAT argument requirements
             between MOVE_ALLOC and other intrinsics such as ATOMIC_DEFINE
             and CO_SUM a sufficiently good reason to make a technical
             change now?"

An edit is provided in case there is agreement on this change.


3. Editorial considerations

For integer type, we sometimes use "decimal range" and sometimes use
"decimal exponent range".
The definitive discussion in 7.4.3.1 "Integer type" uses "decimal
exponent range", so we should change the "decimal range"s.


4. Edits to 17-007r2 (N2137)

[360:22] 16.9.20 ATOMIC_ADD, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[360:37] 16.9.21 ATOMIC_AND, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[361:18] 16.9.22 ATOMIC_CAS, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[361:36] 16.9.23 ATOMIC_DEFINE, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[362:11] 16.9.24 ATOMIC_FETCH_ADD, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[362:29] 16.9.25 ATOMIC_FETCH_AND, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[363:3] 16.9.26 ATOMIC_FETCH_OR, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[363:21] 16.9.27 ATOMIC_FETCH_XOR, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[363:36] 16.9.28 ATOMIC_OR, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[364:11] 16.9.29 ATOMIC_REF, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[364:25] 16.9.30 ATOMIC_XOR, p3 Arguments, STAT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[381:28] 16.9.72 EVENT_QUERY, p3 Arguments, COUNT argument,
         "decimal range" -> "decimal exponent range".
{Terminology.}

[411:26] 16.9.137 MOVE_ALLOC, p3 Arguments, STAT argument,
  "default integer scalar"
  -> "integer scalar with a decimal exponent range of at least four"
making the whole argument read
  "STAT (optional) shall be a noncoindexed integer scalar with a decimal
   exponent range of at least four.  It is an INTENT (OUT) argument."
{TECHNICAL CHANGE}

===END===