1*4724848cSchristos /*
2*4724848cSchristos * Copyright 2015-2018 The OpenSSL Project Authors. All Rights Reserved.
3*4724848cSchristos *
4*4724848cSchristos * Licensed under the OpenSSL license (the "License"). You may not use
5*4724848cSchristos * this file except in compliance with the License. You can obtain a copy
6*4724848cSchristos * in the file LICENSE in the source distribution or at
7*4724848cSchristos * https://www.openssl.org/source/license.html
8*4724848cSchristos */
9*4724848cSchristos
10*4724848cSchristos #include <string.h>
11*4724848cSchristos #include "testutil.h"
12*4724848cSchristos #include "internal/numbers.h"
13*4724848cSchristos
test_sanity_null_zero(void)14*4724848cSchristos static int test_sanity_null_zero(void)
15*4724848cSchristos {
16*4724848cSchristos char *p;
17*4724848cSchristos char bytes[sizeof(p)];
18*4724848cSchristos
19*4724848cSchristos /* Is NULL equivalent to all-bytes-zero? */
20*4724848cSchristos p = NULL;
21*4724848cSchristos memset(bytes, 0, sizeof(bytes));
22*4724848cSchristos return TEST_mem_eq(&p, sizeof(p), bytes, sizeof(bytes));
23*4724848cSchristos }
24*4724848cSchristos
test_sanity_enum_size(void)25*4724848cSchristos static int test_sanity_enum_size(void)
26*4724848cSchristos {
27*4724848cSchristos enum smallchoices { sa, sb, sc };
28*4724848cSchristos enum medchoices { ma, mb, mc, md, me, mf, mg, mh, mi, mj, mk, ml };
29*4724848cSchristos enum largechoices {
30*4724848cSchristos a01, b01, c01, d01, e01, f01, g01, h01, i01, j01,
31*4724848cSchristos a02, b02, c02, d02, e02, f02, g02, h02, i02, j02,
32*4724848cSchristos a03, b03, c03, d03, e03, f03, g03, h03, i03, j03,
33*4724848cSchristos a04, b04, c04, d04, e04, f04, g04, h04, i04, j04,
34*4724848cSchristos a05, b05, c05, d05, e05, f05, g05, h05, i05, j05,
35*4724848cSchristos a06, b06, c06, d06, e06, f06, g06, h06, i06, j06,
36*4724848cSchristos a07, b07, c07, d07, e07, f07, g07, h07, i07, j07,
37*4724848cSchristos a08, b08, c08, d08, e08, f08, g08, h08, i08, j08,
38*4724848cSchristos a09, b09, c09, d09, e09, f09, g09, h09, i09, j09,
39*4724848cSchristos a10, b10, c10, d10, e10, f10, g10, h10, i10, j10,
40*4724848cSchristos xxx };
41*4724848cSchristos
42*4724848cSchristos /* Enum size */
43*4724848cSchristos if (!TEST_size_t_eq(sizeof(enum smallchoices), sizeof(int))
44*4724848cSchristos || !TEST_size_t_eq(sizeof(enum medchoices), sizeof(int))
45*4724848cSchristos || !TEST_size_t_eq(sizeof(enum largechoices), sizeof(int)))
46*4724848cSchristos return 0;
47*4724848cSchristos return 1;
48*4724848cSchristos }
49*4724848cSchristos
test_sanity_twos_complement(void)50*4724848cSchristos static int test_sanity_twos_complement(void)
51*4724848cSchristos {
52*4724848cSchristos /* Basic two's complement checks. */
53*4724848cSchristos if (!TEST_int_eq(~(-1), 0)
54*4724848cSchristos || !TEST_long_eq(~(-1L), 0L))
55*4724848cSchristos return 0;
56*4724848cSchristos return 1;
57*4724848cSchristos }
58*4724848cSchristos
test_sanity_sign(void)59*4724848cSchristos static int test_sanity_sign(void)
60*4724848cSchristos {
61*4724848cSchristos /* Check that values with sign bit 1 and value bits 0 are valid */
62*4724848cSchristos if (!TEST_int_eq(-(INT_MIN + 1), INT_MAX)
63*4724848cSchristos || !TEST_long_eq(-(LONG_MIN + 1), LONG_MAX))
64*4724848cSchristos return 0;
65*4724848cSchristos return 1;
66*4724848cSchristos }
67*4724848cSchristos
test_sanity_unsigned_conversion(void)68*4724848cSchristos static int test_sanity_unsigned_conversion(void)
69*4724848cSchristos {
70*4724848cSchristos /* Check that unsigned-to-signed conversions preserve bit patterns */
71*4724848cSchristos if (!TEST_int_eq((int)((unsigned int)INT_MAX + 1), INT_MIN)
72*4724848cSchristos || !TEST_long_eq((long)((unsigned long)LONG_MAX + 1), LONG_MIN))
73*4724848cSchristos return 0;
74*4724848cSchristos return 1;
75*4724848cSchristos }
76*4724848cSchristos
test_sanity_range(void)77*4724848cSchristos static int test_sanity_range(void)
78*4724848cSchristos {
79*4724848cSchristos /* This isn't possible to check using the framework functions */
80*4724848cSchristos if (SIZE_MAX < INT_MAX) {
81*4724848cSchristos TEST_error("int must not be wider than size_t");
82*4724848cSchristos return 0;
83*4724848cSchristos }
84*4724848cSchristos return 1;
85*4724848cSchristos }
86*4724848cSchristos
test_sanity_memcmp(void)87*4724848cSchristos static int test_sanity_memcmp(void)
88*4724848cSchristos {
89*4724848cSchristos return CRYPTO_memcmp("ab","cd",2);
90*4724848cSchristos }
91*4724848cSchristos
setup_tests(void)92*4724848cSchristos int setup_tests(void)
93*4724848cSchristos {
94*4724848cSchristos ADD_TEST(test_sanity_null_zero);
95*4724848cSchristos ADD_TEST(test_sanity_enum_size);
96*4724848cSchristos ADD_TEST(test_sanity_twos_complement);
97*4724848cSchristos ADD_TEST(test_sanity_sign);
98*4724848cSchristos ADD_TEST(test_sanity_unsigned_conversion);
99*4724848cSchristos ADD_TEST(test_sanity_range);
100*4724848cSchristos ADD_TEST(test_sanity_memcmp);
101*4724848cSchristos return 1;
102*4724848cSchristos }
103*4724848cSchristos
104