To:         J3 Members                                       J3/16-137
From:       Van Snyder
Subject:    Restriction paragraphs in Clause 14
Reference:  16-007
Date: 2016 January 25

1. Introduction
===============

The descriptions of most of the procedures in Clause 14 include a
"Restrictions" paragraph.  There are several that do not.  It seems that
at least some of them need it.  Herein, the ones that do not have a
Restrictions paragraph are listed, along with suggested edits to provide
one.

2. Edits
========

[433:31+ 14.11.6p3+] Insert a paragraph:

"Restriction.  IEEE_GET_MODES shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X."

[434:23+ 14.11.9p3+] Insert a paragraph:

"Restriction.  IEEE_GET_MODES shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X."

[445:20+ 14.11.37p3+] Insert a paragraph:

"Restriction.  IEEE_SET_MODES shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X."

[446:18+ 14.11.39p3+] Insert a paragraph:

"Restriction.  IEEE_SET_STATUS shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X."

[446:28+ 14.11.43p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_DENORMAL ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_DENORMAL ( X ) shall not be invoked if
IEEE_SUPPORT_DATATYPE ( X ) has the value false."

[448:8+ 14.11.44p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_DIVIDE ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_DIVIDE ( X ) shall not be invoked if IEEE_SUPPORT_DATATYPE
( X ) has the value false."

[448:24+ 14.11.45p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_FLAG ( FLAG ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_FLAG ( FLAG, X ) shall not be invoked if
IEEE_SUPPORT_DATATYPE ( X ) has the value false."

[449:5+ 14.11.46p3+] Insert a paragraph:

"Restriction.  IEEE_SET_HALTING shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X."

[449:15+ 14.11.47p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_INF ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_INF ( X ) shall not be invoked if IEEE_SUPPORT_DATATYPE
( X ) has the value false."

[449:27+ 14.11.48p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_IO ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_IO ( X ) shall not be invoked if IEEE_SUPPORT_DATATYPE
( X ) has the value false."

[450:4+ 14.11.49p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_NAN ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_NAN ( X ) shall not be invoked if IEEE_SUPPORT_DATATYPE
( X ) has the value false."

[450:17+ 14.11.50p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_ROUNDING ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_ROUNDING ( X ) shall not be invoked if
IEEE_SUPPORT_DATATYPE ( X ) has the value false."

[450:32+ 14.11.51p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_SQRT ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_SQRT ( X ) shall not be invoked if IEEE_SUPPORT_DATATYPE
( X ) has the value false."

[451:7+ 14.11.52p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_STANDARD ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_STANDARD ( X ) shall not be invoked if
IEEE_SUPPORT_DATATYPE ( X ) has the value false."

[451:23+ 14.11.53p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_SUBNORMAL ( ) shall not be invoked unless
IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_SUBNORMAL ( X ) shall not be invoked if
IEEE_SUPPORT_DATATYPE ( X ) has the value false."

[454:4+ 14.11.54p3+] Insert a paragraph:

"Restriction.  IEEE_SUPPORT_UNDERFLOW_CONTROL ( ) shall not be invoked
unless IEEE_SUPPORT_DATATYPE ( X ) has the value true for some X.
IEEE_SUPPORT_SUBNORMAL ( X ) shall not be invoked if
IEEE_SUPPORT_UNDERFLOW_CONTROL ( X ) has the value false."