Searched refs:v64x (Results 1 – 1 of 1) sorted by relevance
10 unsigned char *v64, *v64x; in main() local20 v64x = (unsigned char *) sodium_malloc(64); in main()28 memcpy(v64x, v64, 64); in main()32 crypto_verify_64(v64, v64x) != 0 || in main()35 sodium_memcmp(v64, v64x, 64) != 0) { in main()49 v64x[r & 63U] ^= o; in main()52 crypto_verify_64(v64, v64x) != -1 || in main()55 sodium_memcmp(v64, v64x, 64) != -1) { in main()60 v64x[r & 63U] ^= o; in main()73 sodium_free(v64x); in main()