[Bug other/17083] New: documentation of "implementation-defined behaviour" is incomplete

[Bug other/17083] New: documentation of "implementation-defined behaviour" is incomplete

[roland dot illig at gmx dot de]

The documentation of the implementation-defined behaviour is incomplete. In some
cases there are only the sentences from the language standards but not a single
word about how it is implemented. There should at least be the word TODO
(better: FIXME) to indicate that there is a sentence missing.

example: chapter 4.1, item 2

C99, J.3#1: ``A conforming implementation is _required_ to document its choice
of behavior in _each_ of the areas listed in this subclause.''

-- 
           Summary: documentation of "implementation-defined behaviour" is
                    incomplete
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: other
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: roland dot illig at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: n/a
  GCC host triplet: n/a
GCC target triplet: n/a


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17083

[Bug other/17083] documentation of "implementation-defined behaviour" is incomplete

[jsm at polyomino dot org dot uk]

------- Additional Comments From jsm at polyomino dot org dot uk  2004-08-18 14:02 -------
Subject: Re:  New: documentation of "implementation-defined
 behaviour" is incomplete

On Wed, 18 Aug 2004, roland dot illig at gmx dot de wrote:

> The documentation of the implementation-defined behaviour is incomplete. In some
> cases there are only the sentences from the language standards but not a single
> word about how it is implemented.

This is not the case on mainline.  If you have specific criticisms of 
implement-c.texi on mainline, or the documentation of preprocessor 
implementation-defined behavior referred to therein, i.e. the absence of 
specification of some given area, errors or inadequacies in the 
specification given or objections to the specification of a given area 
being referred to preprocessor documentation, ABI documentation or library 
documentation, please state them more specifically.

NB: the lack of target-specific documentation for a given target saying 
that "on this target we follow the ABI given in document X" is a 
target-specific bug, and the current mood is that such bugs, component 
"target", should be filed separately for each target.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17083

[Bug other/17083] documentation of "implementation-defined behaviour" is incomplete

[roland dot illig at gmx dot de]

------- Additional Comments From roland dot illig at gmx dot de  2004-08-18 16:59 -------
Subject: Re:  documentation of "implementation-defined behaviour"
 is incomplete

jsm at polyomino dot org dot uk wrote:
> On Wed, 18 Aug 2004, roland dot illig at gmx dot de wrote:
>>The documentation of the implementation-defined behaviour is incomplete. In some
>>cases there are only the sentences from the language standards but not a single
>>word about how it is implemented.
> 
> This is not the case on mainline.  If you have specific criticisms of 

Oh, I'm sorry I didn't have a look at this. It looks very good. Please 
close the bug report.

> NB: the lack of target-specific documentation for a given target saying 
> that "on this target we follow the ABI given in document X" is a 
> target-specific bug, and the current mood is that such bugs, component 
> "target", should be filed separately for each target.

No, thanks. I just wanted the general document to be filled out.

Thanks again for pointing me on the mainline. I'm looking forward to the 
release of GCC 3.5.0.

Roland


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17083

[Bug other/17083] documentation of "implementation-defined behaviour" is incomplete

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-18 17:02 -------
So closing as fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.5.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17083