From a46e27a3d7641791673f17d27bfce8f5e4a0c176 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 3 Apr 2019 03:19:50 -0700 Subject: [PATCH] feat(runtime/hash): use `size_t` instead of `unsigned` --- src/runtime/hash.cpp | 7 +++++-- src/runtime/hash.h | 2 +- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/src/runtime/hash.cpp b/src/runtime/hash.cpp index 127a339265..e25f016fc4 100644 --- a/src/runtime/hash.cpp +++ b/src/runtime/hash.cpp @@ -4,6 +4,8 @@ Released under Apache 2.0 license as described in the file LICENSE. Author: Leonardo de Moura */ +#include + namespace lean { void mix(unsigned & a, unsigned & b, unsigned & c) { @@ -20,8 +22,9 @@ void mix(unsigned & a, unsigned & b, unsigned & c) { // Bob Jenkin's hash function. // http://burtleburtle.net/bob/hash/doobs.html -unsigned hash_str(unsigned length, char const * str, unsigned init_value) { - unsigned a, b, c, len; +unsigned hash_str(size_t length, char const * str, unsigned init_value) { + unsigned a, b, c; + size_t len; /* Set up the internal state */ len = length; diff --git a/src/runtime/hash.h b/src/runtime/hash.h index 531f4858a3..7b0775e7d5 100644 --- a/src/runtime/hash.h +++ b/src/runtime/hash.h @@ -12,7 +12,7 @@ namespace lean { void mix(unsigned & a, unsigned & b, unsigned & c); -unsigned hash_str(unsigned len, char const * str, unsigned init_value); +unsigned hash_str(size_t len, char const * str, unsigned init_value); inline unsigned hash(unsigned h1, unsigned h2) { h2 -= h1; h2 ^= (h1 << 8);