SHA512_256_DIGEST_STRING_LENGTH
__attribute__((__bounded__(__minbytes__,2,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,3,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA512_256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,3,SHA512_256_DIGEST_STRING_LENGTH)));
uint8_t output[SHA512_256_DIGEST_STRING_LENGTH];
if (endsha - sha < SHA512_256_DIGEST_STRING_LENGTH-1)
if (memcmp(output, sha, SHA512_256_DIGEST_STRING_LENGTH-1) != 0)
if (sha[SHA512_256_DIGEST_STRING_LENGTH-1] != '\n')
sha += SHA512_256_DIGEST_STRING_LENGTH;
space = (sb.st_size / MYBUFSIZE+1) * SHA512_256_DIGEST_STRING_LENGTH +
p += SHA512_256_DIGEST_STRING_LENGTH;