Re: [Boost-bugs] [Boost C++ Libraries] #7739: Divide by zero error in hash_map.hpp

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #7739: Divide by zero error in hash_map.hpp
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2012-11-30 06:40:26

#7739: Divide by zero error in hash_map.hpp
-------------------------------------------------+--------------------------
  Reporter:  Gaurav Gupta <g.gupta@…>            |       Owner:  chris_kohlhoff
      Type:  Bugs                                |      Status:  new           
 Milestone:  To Be Determined                    |   Component:  asio          
   Version:  Boost 1.52.0                        |    Severity:  Problem       
Resolution:                                      |    Keywords:                
-------------------------------------------------+--------------------------

Comment (by steven_watanabe):

 Replying to [comment:4 Gaurav Gupta <g.gupta@…>]:
 > What about code block inside
 > void erase(iterator it) method?
 >
 > In this num_buckets_ can be zero?

 Nope.

 Pre: it != end()
 Therefore: !empty()
 Therefore: num_buckets_ != 0

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/7739#comment:5>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.