]>
Commit | Line | Data |
---|---|---|
cc75cbc4 RS |
1 | /* |
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 | ||
10 | #include <stdio.h> | |
11 | #include <string.h> | |
12 | #include <internal/numbers.h> | |
13 | ||
14 | ||
15 | #define TEST(e) \ | |
16 | do { \ | |
17 | if (!(e)) { \ | |
18 | fprintf(stderr, "Failed " #e "\n"); \ | |
19 | failures++; \ | |
20 | } \ | |
21 | } while (0) | |
22 | ||
23 | ||
24 | enum smallchoices { sa, sb, sc }; | |
25 | enum medchoices { ma, mb, mc, md, me, mf, mg, mh, mi, mj, mk, ml }; | |
26 | enum 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 | ||
39 | int main() | |
40 | { | |
41 | char *p; | |
42 | char bytes[sizeof(p)]; | |
43 | int failures = 0; | |
44 | ||
45 | /* Is NULL equivalent to all-bytes-zero? */ | |
46 | p = NULL; | |
47 | memset(bytes, 0, sizeof bytes); | |
48 | TEST(memcmp(&p, bytes, sizeof(bytes)) == 0); | |
49 | ||
50 | /* Enum size */ | |
51 | TEST(sizeof(enum smallchoices) == sizeof(int)); | |
52 | TEST(sizeof(enum medchoices) == sizeof(int)); | |
53 | TEST(sizeof(enum largechoices) == sizeof(int)); | |
54 | /* Basic two's complement checks. */ | |
55 | TEST(~(-1) == 0); | |
56 | TEST(~(-1L) == 0L); | |
57 | ||
58 | /* Check that values with sign bit 1 and value bits 0 are valid */ | |
59 | TEST(-(INT_MIN + 1) == INT_MAX); | |
60 | TEST(-(LONG_MIN + 1) == LONG_MAX); | |
61 | ||
62 | /* Check that unsigned-to-signed conversions preserve bit patterns */ | |
63 | TEST((int)((unsigned int)INT_MAX + 1) == INT_MIN); | |
64 | TEST((long)((unsigned long)LONG_MAX + 1) == LONG_MIN); | |
65 | ||
66 | return failures; | |
67 | } |