[Bug libstdc++/58341] New: Doc conflicts with standard on forbidden range of `result` in copy_backward()

[Bug libstdc++/58341] New: Doc conflicts with standard on forbidden range of `result` in copy_backward()

[kristian.spangsege at gmail dot com]

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

            Bug ID: 58341
           Summary: Doc conflicts with standard on forbidden range of
                    `result` in copy_backward()
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kristian.spangsege at gmail dot com

The documentation of copy_backward() in <bits/stl_algobase.h> conflicts with
the C++ standard on the forbidden range of `result`.

The documentation states that `result` must not be within the range [`first`,
`last`). The standard instead requires that `result` is not within the range
(`first`, `last`].

It is probably just a typo.

See C++11 (2011-09-01) section 25.3.1/13.

[Bug libstdc++/58341] Doc conflicts with standard on forbidden range of `result` in copy_backward()

[kristian.spangsege at gmail dot com]

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

--- Comment #1 from Kristian Spangsege <kristian.spangsege at gmail dot com> ---
Important related information here:
http://en.cppreference.com/w/Talk:cpp/algorithm/copy_backward

[Bug libstdc++/58341] Doc conflicts with standard on forbidden range of `result` in copy_backward()

[kristian.spangsege at gmail dot com]

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

--- Comment #2 from Kristian Spangsege <kristian.spangsege at gmail dot com> ---
And more importantly, here:
http://cplusplus.github.io/LWG/lwg-defects.html#1206

[Bug libstdc++/58341] Doc conflicts with standard on forbidden range of `result` in copy_backward()

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |documentation
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-09-07
     Ever confirmed|0                           |1

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The docs just haven't been updated to show the DR resolution

[Bug libstdc++/58341] Doc conflicts with standard on forbidden range of `result` in copy_backward()

[paolo at gcc dot gnu.org]

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

--- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Sat Sep  7 22:57:49 2013
New Revision: 202357

URL: http://gcc.gnu.org/viewcvs?rev=202357&root=gcc&view=rev
Log:
2013-09-07  Paolo Carlini  <paolo.carlini@oracle.com>

    PR libstdc++/58341
    * include/bits/stl_algobase.h (copy_backward): Fix documentation
    per DR 1206.

Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/bits/stl_algobase.h

[Bug libstdc++/58341] Doc conflicts with standard on forbidden range of `result` in copy_backward()

[paolo at gcc dot gnu.org]

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

--- Comment #5 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Sat Sep  7 22:58:04 2013
New Revision: 202358

URL: http://gcc.gnu.org/viewcvs?rev=202358&root=gcc&view=rev
Log:
2013-09-07  Paolo Carlini  <paolo.carlini@oracle.com>

    PR libstdc++/58341
    * include/bits/stl_algobase.h (copy_backward): Fix documentation
    per DR 1206.

Modified:
    branches/gcc-4_8-branch/libstdc++-v3/ChangeLog
    branches/gcc-4_8-branch/libstdc++-v3/include/bits/stl_algobase.h

[Bug libstdc++/58341] Doc conflicts with standard on forbidden range of `result` in copy_backward()

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.8.2

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Done for 4.9.0 and 4.8.2.