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