SHA256_DIGEST_STRING_LENGTH
__attribute__((__bounded__(__minbytes__,3,SHA256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA256_DIGEST_STRING_LENGTH)));
#define SHM_PATH_SIZE (5 + SHA256_DIGEST_STRING_LENGTH + 4)
char buf[SHA256_DIGEST_STRING_LENGTH];
char buf[SHA256_DIGEST_STRING_LENGTH];
#define SEM_PATH_SIZE (5 + SHA256_DIGEST_STRING_LENGTH + 4)
char buf[SHA256_DIGEST_STRING_LENGTH];
#define SEM_PATH_SIZE (5 + SHA256_DIGEST_STRING_LENGTH + 4)
char buf[SHA256_DIGEST_STRING_LENGTH];
__attribute__((__bounded__(__minbytes__,3,SHA256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA256_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA256_DIGEST_STRING_LENGTH)));
recodehash(c->hash, SHA256_DIGEST_STRING_LENGTH-1);
char *new_digest, buf[SHA256_DIGEST_STRING_LENGTH];
char *sha256digest, buf[SHA256_DIGEST_STRING_LENGTH];