Re: Formal review request for Hash2

From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-12-04 19:38:11

Ivan Matek wrote:
> 2.	exploit that before padding we are contiguous and trivial so pass that
> region in one call to hash_append_range

Note by the way that `double` is not contiguously hashable because +0.0 is
equal to -0.0, but their binary representations differ.

This is a known trap and N3980 mentions it:

https://open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3980.html#is_contiguously_hashable