Commit 4b904301 authored by Andy Polyakov's avatar Andy Polyakov
Browse files

sha/keccak1600.c: add couple of soft asserts. 



Reviewed-by: default avatarRichard Levitte <levitte@openssl.org>
parent ca1574ce

crypto/sha/keccak1600.c

+4 −0
Original line number Original line Diff line number Diff line
@@ -167,6 +167,8 @@ size_t SHA3_absorb(uint64_t A[5][5], const unsigned char *inp, size_t len, 
    uint64_t *A_flat = (uint64_t *)A;

    uint64_t *A_flat = (uint64_t *)A;

    size_t i, w = r / 8;

    size_t i, w = r / 8;





    assert(r < (25 * sizeof(A[0][0])) && (r % 8) == 0);



    while (len >= r) {

    while (len >= r) {

        for (i = 0; i < w; i++) {

        for (i = 0; i < w; i++) {

            A_flat[i] ^= (uint64_t)inp[0]       | (uint64_t)inp[1] << 8  |

            A_flat[i] ^= (uint64_t)inp[0]       | (uint64_t)inp[1] << 8  |
@@ -191,6 +193,8 @@ void SHA3_squeeze(uint64_t A[5][5], unsigned char *out, size_t len, size_t r) 
    uint64_t *A_flat = (uint64_t *)A;

    uint64_t *A_flat = (uint64_t *)A;

    size_t i, rem, w = r / 8;

    size_t i, rem, w = r / 8;





    assert(r < (25 * sizeof(A[0][0])) && (r % 8) == 0);



    while (len >= r) {

    while (len >= r) {

        for (i = 0; i < w; i++) {

        for (i = 0; i < w; i++) {

            uint64_t Ai = A_flat[i];

            uint64_t Ai = A_flat[i];