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