Re: libstdc++/4534: vector<bool>::_M_range_check should throw out_of_range

Re: libstdc++/4534: vector<bool>::_M_range_check should throw out_of_range

[bkoz]

The following reply was made to PR libstdc++/4534; it has been noted by GNATS.

From: bkoz@gcc.gnu.org
To: bkoz@gcc.gnu.org, brendan@zen.org, gcc-bugs@gcc.gnu.org,
  gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org
Cc:  
Subject: Re: libstdc++/4534: vector<bool>::_M_range_check should throw out_of_range
Date: 15 Nov 2001 20:38:12 -0000

 Synopsis: vector<bool>::_M_range_check should throw out_of_range
 
 State-Changed-From-To: feedback->closed
 State-Changed-By: bkoz
 State-Changed-When: Thu Nov 15 12:38:12 2001
 State-Changed-Why:
     Fixed
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4534&database=gcc

Re: libstdc++/4534: vector<bool>::_M_range_check should throw out_of_range

[bkoz]

Synopsis: vector<bool>::_M_range_check should throw out_of_range

State-Changed-From-To: feedback->closed
State-Changed-By: bkoz
State-Changed-When: Thu Nov 15 12:38:12 2001
State-Changed-Why:
    Fixed

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4534&database=gcc

Re: libstdc++/4534: vector<bool>::_M_range_check should throw out_of_range

[bkoz]

Synopsis: vector<bool>::_M_range_check should throw out_of_range

Responsible-Changed-From-To: unassigned->bkoz
Responsible-Changed-By: bkoz
Responsible-Changed-When: Thu Oct 25 22:34:27 2001
Responsible-Changed-Why:
    Mine.
State-Changed-From-To: open->feedback
State-Changed-By: bkoz
State-Changed-When: Thu Oct 25 22:34:27 2001
State-Changed-Why:
    This in.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4534&database=gcc

libstdc++/4534: vector<bool>::_M_range_check should throw out_of_range

[brendan]

>Number:         4534
>Category:       libstdc++
>Synopsis:       vector<bool>::_M_range_check should throw out_of_range
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Oct 11 05:26:25 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Brendan Kehoe
>Release:        CVS tree
>Organization:
>Environment:

>Description:
Section 23.1.1.13 of the standard says the member function at() of sequences should throw out_of_range if n >= a.size(), not range_error as is currently thrown in bits/stl_bvector.h's _M_range_check method.
>How-To-Repeat:

>Fix:
Attached patch changes it to use __throw_out_of_range instead of __throw_range_error.  This makes it also match what's implemented in stl_vector.h for the generic vector template's _M_range_check method.

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: text/plain; name="diffs-bvector.txt"
Content-Disposition: inline; filename="diffs-bvector.txt"

2001-10-09  Brendan Kehoe  <brendan@zen.org>

	* stl_bvector.h (vector<bool>::_M_range_check): Fix to throw
	out_of_range, not range_error, thus sayeth $23.1.1.13.

Index: include/bits/stl_bvector.h
===================================================================
RCS file: /cvs/gcc/egcs/libstdc++-v3/include/bits/stl_bvector.h,v
retrieving revision 1.5
diff -u -p -r1.5 stl_bvector.h
--- stl_bvector.h	2001/06/27 17:09:52	1.5
+++ stl_bvector.h	2001/10/10 11:44:31
@@ -485,7 +485,7 @@ template <typename _Alloc> 
   
     void _M_range_check(size_type __n) const {
       if (__n >= this->size())
-        __throw_range_error("vector<bool>");
+        __throw_out_of_range("vector<bool>");
     }
   
     reference at(size_type __n)