- unsigned tmp = hash_bytes (val_max, var_get_width (v_max), 0);
- tmp ^= hash_bytes (val_min, var_get_width (v_min), 0);
- tmp += *n_vars * (*n_vars + 1 + idx_max) + idx_min;
- return (size_t) tmp;
+ unsigned hash = value_hash (val_max, var_get_width (v_max), 0);
+ hash = value_hash (val_min, var_get_width (v_min), hash);
+ return hash_int (*n_vars * (*n_vars + 1 + idx_max) + idx_min, hash);