| /* |
| * This testing program makes sure the stdint.h header file |
| * |
| * Copyright (C) 2006 by Theodore Ts'o. |
| * |
| * %Begin-Header% |
| * This file may be redistributed under the terms of the GNU Public |
| * License. |
| * %End-Header% |
| */ |
| |
| #include <sys/types.h> |
| #include <stdint.h> |
| |
| #include <stdlib.h> |
| #include <stdio.h> |
| |
| int main(int argc, char **argv) |
| { |
| if (sizeof(uint8_t) != 1) { |
| printf("Sizeof(uint8_t) is %d should be 1\n", |
| (int)sizeof(uint8_t)); |
| exit(1); |
| } |
| if (sizeof(int8_t) != 1) { |
| printf("Sizeof(int8_t) is %d should be 1\n", |
| (int)sizeof(int8_t)); |
| exit(1); |
| } |
| if (sizeof(uint16_t) != 2) { |
| printf("Sizeof(uint16_t) is %d should be 2\n", |
| (int)sizeof(uint16_t)); |
| exit(1); |
| } |
| if (sizeof(int16_t) != 2) { |
| printf("Sizeof(int16_t) is %d should be 2\n", |
| (int)sizeof(int16_t)); |
| exit(1); |
| } |
| if (sizeof(uint32_t) != 4) { |
| printf("Sizeof(uint32_t) is %d should be 4\n", |
| (int)sizeof(uint32_t)); |
| exit(1); |
| } |
| if (sizeof(int32_t) != 4) { |
| printf("Sizeof(int32_t) is %d should be 4\n", |
| (int)sizeof(int32_t)); |
| exit(1); |
| } |
| if (sizeof(uint64_t) != 8) { |
| printf("Sizeof(uint64_t) is %d should be 8\n", |
| (int)sizeof(uint64_t)); |
| exit(1); |
| } |
| if (sizeof(int64_t) != 8) { |
| printf("Sizeof(int64_t) is %d should be 8\n", |
| (int)sizeof(int64_t)); |
| exit(1); |
| } |
| printf("The stdint.h types are correct.\n"); |
| exit(0); |
| } |
| |