8#include "libssh/chacha20-poly1305-common.h"
14void poly1305_auth(uint8_t out[POLY1305_TAGLEN],
const uint8_t *m,
size_t inlen,
15 const uint8_t key[POLY1305_KEYLEN])
16#ifdef HAVE_GCC_BOUNDED_ATTRIBUTE
17 __attribute__((__bounded__(__minbytes__, 1, POLY1305_TAGLEN)))
18 __attribute__((__bounded__(__buffer__, 2, 3)))
19 __attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)))