11 #include <sys/types.h>
13 #define POLY1305_KEYLEN 32
14 #define POLY1305_TAGLEN 16
16 void poly1305_auth(u_char out[POLY1305_TAGLEN],
const u_char *m,
size_t inlen,
17 const u_char key[POLY1305_KEYLEN])
18 __attribute__((__bounded__(__minbytes__, 1, POLY1305_TAGLEN)))
19 __attribute__((__bounded__(__buffer__, 2, 3)))
20 __attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)));