3ef0a37207e40fd1bd5843d430a38efb0612454d
[openssl.git] / test / sanitytest.c
1 /*
2  * Copyright 2015-2017 The OpenSSL Project Authors. All Rights Reserved.
3  *
4  * Licensed under the OpenSSL license (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 <internal/numbers.h>
12
13 #include "test_main.h"
14 #include "testutil.h"
15
16 static int test_sanity_null_zero(void)
17 {
18     char *p;
19     char bytes[sizeof(p)];
20
21     /* Is NULL equivalent to all-bytes-zero? */
22     p = NULL;
23     memset(bytes, 0, sizeof bytes);
24     return TEST_mem_eq(&p, sizeof(p), bytes, sizeof(bytes));
25 }
26
27 static int test_sanity_enum_size(void)
28 {
29     enum smallchoices { sa, sb, sc };
30     enum medchoices { ma, mb, mc, md, me, mf, mg, mh, mi, mj, mk, ml };
31     enum largechoices {
32         a01, b01, c01, d01, e01, f01, g01, h01, i01, j01,
33         a02, b02, c02, d02, e02, f02, g02, h02, i02, j02,
34         a03, b03, c03, d03, e03, f03, g03, h03, i03, j03,
35         a04, b04, c04, d04, e04, f04, g04, h04, i04, j04,
36         a05, b05, c05, d05, e05, f05, g05, h05, i05, j05,
37         a06, b06, c06, d06, e06, f06, g06, h06, i06, j06,
38         a07, b07, c07, d07, e07, f07, g07, h07, i07, j07,
39         a08, b08, c08, d08, e08, f08, g08, h08, i08, j08,
40         a09, b09, c09, d09, e09, f09, g09, h09, i09, j09,
41         a10, b10, c10, d10, e10, f10, g10, h10, i10, j10,
42         xxx };
43
44     /* Enum size */
45     if (!TEST_size_t_eq(sizeof(enum smallchoices), sizeof(int))
46         || !TEST_size_t_eq(sizeof(enum medchoices), sizeof(int))
47         || !TEST_size_t_eq(sizeof(enum largechoices), sizeof(int)))
48         return 0;
49     return 1;
50 }
51
52 static int test_sanity_twos_complement(void)
53 {
54     /* Basic two's complement checks. */
55     if (!TEST_int_eq(~(-1), 0)
56         || !TEST_long_eq(~(-1L), 0L))
57         return 0;
58     return 1;
59 }
60
61 static int test_sanity_sign(void)
62 {
63     /* Check that values with sign bit 1 and value bits 0 are valid */
64     if (!TEST_int_eq(-(INT_MIN + 1), INT_MAX)
65         || !TEST_long_eq(-(LONG_MIN + 1), LONG_MAX))
66         return 0;
67     return 1;
68 }
69
70 static int test_sanity_unsigned_convertion(void)
71 {
72     /* Check that unsigned-to-signed conversions preserve bit patterns */
73     if (!TEST_int_eq((int)((unsigned int)INT_MAX + 1), INT_MIN)
74         || !TEST_long_eq((long)((unsigned long)LONG_MAX + 1), LONG_MIN))
75         return 0;
76     return 1;
77 }
78
79 void register_tests(void)
80 {
81     ADD_TEST(test_sanity_null_zero);
82     ADD_TEST(test_sanity_enum_size);
83     ADD_TEST(test_sanity_twos_complement);
84     ADD_TEST(test_sanity_sign);
85     ADD_TEST(test_sanity_unsigned_convertion);
86 }
87