crypto/blake2/blake2s.c:157: error: UNINITIALIZED_VALUE
  The value read from m[_] was never initialized.
Showing all 1 steps of the trace


crypto/blake2/blake2s.c:157:5: 
155.       ROUND(4);
156.       ROUND(5);
157. >     ROUND(6);
158.       ROUND(7);
159.       ROUND(8);

static void blake2s_compress(BLAKE2S_CTX *S,
                            const uint8_t block[BLAKE2S_BLOCKBYTES])
{
    uint32_t m[16];
    uint32_t v[16];
    size_t i;
    for(i = 0; i < 16; ++i) {
        m[i] = load32(block + i * sizeof(m[i]));
    }
    for(i = 0; i < 8; ++i) {
        v[i] = S->h[i];
    }
    v[ 8] = blake2s_IV[0];
    v[ 9] = blake2s_IV[1];
    v[10] = blake2s_IV[2];
    v[11] = blake2s_IV[3];
    v[12] = S->t[0] ^ blake2s_IV[4];
    v[13] = S->t[1] ^ blake2s_IV[5];
    v[14] = S->f[0] ^ blake2s_IV[6];
    v[15] = S->f[1] ^ blake2s_IV[7];
#define G(r,i,a,b,c,d) \
    do { \
        a = a + b + m[blake2s_sigma[r][2*i+0]]; \
        d = rotr32(d ^ a, 16); \
        c = c + d; \
        b = rotr32(b ^ c, 12); \
        a = a + b + m[blake2s_sigma[r][2*i+1]]; \
        d = rotr32(d ^ a, 8); \
        c = c + d; \
        b = rotr32(b ^ c, 7); \
    } while(0)
#define ROUND(r)  \
    do { \
        G(r,0,v[ 0],v[ 4],v[ 8],v[12]); \
        G(r,1,v[ 1],v[ 5],v[ 9],v[13]); \
        G(r,2,v[ 2],v[ 6],v[10],v[14]); \
        G(r,3,v[ 3],v[ 7],v[11],v[15]); \
        G(r,4,v[ 0],v[ 5],v[10],v[15]); \
        G(r,5,v[ 1],v[ 6],v[11],v[12]); \
        G(r,6,v[ 2],v[ 7],v[ 8],v[13]); \
        G(r,7,v[ 3],v[ 4],v[ 9],v[14]); \
    } while(0)
    ROUND(0);
    ROUND(1);
    ROUND(2);
    ROUND(3);
    ROUND(4);
    ROUND(5);
    ROUND(6);
    ROUND(7);
    ROUND(8);
    ROUND(9);
    for(i = 0; i < 8; ++i) {
        S->h[i] = S->h[i] ^ v[i] ^ v[i + 8];
    }
#undef G
#undef ROUND
}
['static void blake2s_compress(BLAKE2S_CTX *S,\n                            const uint8_t block[BLAKE2S_BLOCKBYTES])\n{\n    uint32_t m[16];\n    uint32_t v[16];\n    size_t i;\n    for(i = 0; i < 16; ++i) {\n        m[i] = load32(block + i * sizeof(m[i]));\n    }\n    for(i = 0; i < 8; ++i) {\n        v[i] = S->h[i];\n    }\n    v[ 8] = blake2s_IV[0];\n    v[ 9] = blake2s_IV[1];\n    v[10] = blake2s_IV[2];\n    v[11] = blake2s_IV[3];\n    v[12] = S->t[0] ^ blake2s_IV[4];\n    v[13] = S->t[1] ^ blake2s_IV[5];\n    v[14] = S->f[0] ^ blake2s_IV[6];\n    v[15] = S->f[1] ^ blake2s_IV[7];\n#define G(r,i,a,b,c,d) \\\n    do { \\\n        a = a + b + m[blake2s_sigma[r][2*i+0]]; \\\n        d = rotr32(d ^ a, 16); \\\n        c = c + d; \\\n        b = rotr32(b ^ c, 12); \\\n        a = a + b + m[blake2s_sigma[r][2*i+1]]; \\\n        d = rotr32(d ^ a, 8); \\\n        c = c + d; \\\n        b = rotr32(b ^ c, 7); \\\n    } while(0)\n#define ROUND(r)  \\\n    do { \\\n        G(r,0,v[ 0],v[ 4],v[ 8],v[12]); \\\n        G(r,1,v[ 1],v[ 5],v[ 9],v[13]); \\\n        G(r,2,v[ 2],v[ 6],v[10],v[14]); \\\n        G(r,3,v[ 3],v[ 7],v[11],v[15]); \\\n        G(r,4,v[ 0],v[ 5],v[10],v[15]); \\\n        G(r,5,v[ 1],v[ 6],v[11],v[12]); \\\n        G(r,6,v[ 2],v[ 7],v[ 8],v[13]); \\\n        G(r,7,v[ 3],v[ 4],v[ 9],v[14]); \\\n    } while(0)\n    ROUND(0);\n    ROUND(1);\n    ROUND(2);\n    ROUND(3);\n    ROUND(4);\n    ROUND(5);\n    ROUND(6);\n    ROUND(7);\n    ROUND(8);\n    ROUND(9);\n    for(i = 0; i < 8; ++i) {\n        S->h[i] = S->h[i] ^ v[i] ^ v[i + 8];\n    }\n#undef G\n#undef ROUND\n}']