Boost C++ Libraries: Ticket #7739: Divide by zero error in hash_map.hpp

attachment set

Tue, 27 Nov 2012 04:11:17 GMT

attachment → hash_map.hpp_patch

Fix for the Divide by zero error in hash_map.hpp

Steven Watanabe — Tue, 27 Nov 2012 18:18:06 GMT

This is not a bug, as num_buckets cannot be zero in the first place.

Wed, 28 Nov 2012 05:29:56 GMT

Replying to steven_watanabe:

This is not a bug, as num_buckets cannot be zero in the first place.

Its True, num_buckets canot be zero, but this check is safe here, as many tools (like Prevent )report this as DIVIDE By Zero error.

Also In my patch , I have provided fix at two places, other is in following code snippet.

void erase(iterator it)
  {
    BOOST_ASSERT(it != values_.end());
    '''size_t bucket = calculate_hash_value(it->first) % num_buckets_;'''
    bool is_first = (it == buckets_[bucket].first);
    bool is_last = (it == buckets_[bucket].last);
    ----- SOME CODE ------
    values_erase(it);
    --size_;
  }

Marshall Clow — Wed, 28 Nov 2012 14:53:14 GMT

I agree with Steven on this.

If num_buckets cannot be zero, and "tools like Prevent" report a "divide by Zero" error, then that tool should be fixed.

Not the Boost code (which is not in error).

Thu, 29 Nov 2012 05:31:35 GMT

What about code block inside void erase(iterator it) method?

In this num_buckets_ can be zero?

Steven Watanabe — Fri, 30 Nov 2012 06:40:25 GMT

Replying to 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

chris_kohlhoff — Sat, 29 Dec 2012 11:12:19 GMT

I am happy to add an additional assert to those two locations, to confirm that num_buckets != 0, if that will silence the tool. Does it?

Wed, 02 Jan 2013 05:09:16 GMT

Yes, Please add assert. thank you.

chris_kohlhoff — Sat, 25 May 2013 11:46:22 GMT

(In [84485]) Add assertions that num_buckets_ is non-zero. Refs #7739

status changed; resolution set

chris_kohlhoff — Mon, 27 May 2013 12:36:47 GMT

status new → closed
resolution → fixed

(In [84530]) Merge from trunk. Fixes #8421, #8602, #7739, #8613, #7939.

r84482 | chris_kohlhoff | 2013-05-25 21:35:10 +1000 (Sat, 25 May 2013) | 1 line

Fix potential deadlock in signal_set implementation.

r84483 | chris_kohlhoff | 2013-05-25 21:38:01 +1000 (Sat, 25 May 2013) | 1 line

Fix error in acceptor example. Refs #8421

r84484 | chris_kohlhoff | 2013-05-25 21:41:19 +1000 (Sat, 25 May 2013) | 1 line

Fix waitable timer documentation. Refs #8602

r84485 | chris_kohlhoff | 2013-05-25 21:46:20 +1000 (Sat, 25 May 2013) | 1 line

Add assertions that num_buckets_ is non-zero. Refs #7739

r84486 | chris_kohlhoff | 2013-05-25 21:50:52 +1000 (Sat, 25 May 2013) | 8 lines

Automatically disable SSL compression.

To mitigate the risk of certain attacks, SSL compression is now disabled by default. To enable, you can use the new ssl::context::clear_options() function like so:

my_context.clear_options(asio::ssl::context::no_compression);

r84487 | chris_kohlhoff | 2013-05-25 21:52:54 +1000 (Sat, 25 May 2013) | 3 lines

Fix bug on Windows where certain operations might generate an error_code with an invalid (i.e. NULL) error_category. Refs #8613

r84488 | chris_kohlhoff | 2013-05-25 21:57:36 +1000 (Sat, 25 May 2013) | 1 line

Fix problem in #warning directive. Refs #7939

r84492 | chris_kohlhoff | 2013-05-25 22:35:43 +1000 (Sat, 25 May 2013) | 2 lines

Fix potential data race due to reading the reactor pointer outside the lock.

r84494 | chris_kohlhoff | 2013-05-25 23:03:48 +1000 (Sat, 25 May 2013) | 1 line

Regenerate documentation.

r84529 | chris_kohlhoff | 2013-05-27 22:17:19 +1000 (Mon, 27 May 2013) | 1 line

Add documentation for new features.