9 #define POLY1305_KEYLEN 32 10 #define POLY1305_TAGLEN 16 12 void poly1305_auth(uint8_t out[POLY1305_TAGLEN],
const uint8_t *m,
size_t inlen,
13 const uint8_t key[POLY1305_KEYLEN])
14 #ifdef HAVE_GCC_BOUNDED_ATTRIBUTE 15 __attribute__((__bounded__(__minbytes__, 1, POLY1305_TAGLEN)))
16 __attribute__((__bounded__(__buffer__, 2, 3)))
17 __attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)))