Searched refs:v32x (Results 1 – 1 of 1) sorted by relevance
9 unsigned char *v32, *v32x; in main() local18 v32x = (unsigned char *) sodium_malloc(32); in main()27 memcpy(v32x, v32, 32); in main()31 crypto_verify_32(v32, v32x) != 0 || in main()34 sodium_memcmp(v32, v32x, 32) != 0 || in main()48 v32x[r & 31U] ^= o; in main()51 crypto_verify_32(v32, v32x) != -1 || in main()54 sodium_memcmp(v32, v32x, 32) != -1 || in main()59 v32x[r & 31U] ^= o; in main()71 sodium_free(v32x); in main()