crypto/modes/ocb128.c:107: error: UNINITIALIZED_VALUE
  The value read from mask[_] was never initialized.
Showing all 1 steps of the trace


crypto/modes/ocb128.c:107:13: 
105.   
106.           if (i != 15) {
107. >             locout.chrblk[i] ^= mask[i];
108.           }
109.       }

static void ocb_block_lshift(OCB_BLOCK *in, size_t shift, OCB_BLOCK *out)
{
    unsigned char shift_mask;
    int i;
    unsigned char mask[15];
    union ublock locin;
    union ublock locout;
    locin.ocbblk = in;
    locout.ocbblk = out;
    shift_mask = 0xff;
    shift_mask <<= (8 - shift);
    for (i = 15; i >= 0; i--) {
        if (i > 0) {
            mask[i - 1] = locin.chrblk[i] & shift_mask;
            mask[i - 1] >>= 8 - shift;
        }
        locout.chrblk[i] = locin.chrblk[i] << shift;
        if (i != 15) {
            locout.chrblk[i] ^= mask[i];
        }
    }
}
['static void ocb_block_lshift(OCB_BLOCK *in, size_t shift, OCB_BLOCK *out)\n{\n    unsigned char shift_mask;\n    int i;\n    unsigned char mask[15];\n    union ublock locin;\n    union ublock locout;\n    locin.ocbblk = in;\n    locout.ocbblk = out;\n    shift_mask = 0xff;\n    shift_mask <<= (8 - shift);\n    for (i = 15; i >= 0; i--) {\n        if (i > 0) {\n            mask[i - 1] = locin.chrblk[i] & shift_mask;\n            mask[i - 1] >>= 8 - shift;\n        }\n        locout.chrblk[i] = locin.chrblk[i] << shift;\n        if (i != 15) {\n            locout.chrblk[i] ^= mask[i];\n        }\n    }\n}']