![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to d41b.c CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / lcc / ph|
Return to d41b.c CVS log | Up to [Research Unix] / researchv10no / cmd / lcc / ph |
1.1 ! root 1: /* The Plum Hall Validation Suite for C ! 2: * Unpublished copyright (c) 1986-1991, Chiron Systems Inc and Plum Hall Inc. ! 3: * VERSION: 4 ! 4: * DATE: 1993-01-01 ! 5: * The "ANSI" mode of this suite corresponds to official ANSI C, X3.159-1989. ! 6: * As per your license agreement, your distribution is not to be moved or copied outside the Designated Site ! 7: * without specific permission from Plum Hall Inc. ! 8: */ ! 9: ! 10: #define LIB_TEST 1 ! 11: #include "defs.h" ! 12: #if !ANSI || !HAS_PROTOTYPES ! 13: #define SKIP41 1 ! 14: #endif ! 15: ! 16: #include "flags.h" ! 17: #ifndef SKIP41 ! 18: #include <limits.h> ! 19: /* ! 20: * 4.1.4 - Limits <limits.h> ! 21: */ ! 22: void d41_4a() ! 23: { ! 24: Filename = "d41b.c"; ! 25: ! 26: /* All of these must be restricted constant expresions. */ ! 27: if (CHAR_BIT < 8) ! 28: complain(__LINE__); ! 29: if (SCHAR_MIN > -127) ! 30: complain(__LINE__); ! 31: if (SCHAR_MAX < 127) ! 32: complain(__LINE__); ! 33: if (UCHAR_MAX < 255U) ! 34: complain(__LINE__); ! 35: if (CHAR_MIN != SCHAR_MIN && CHAR_MIN != 0) ! 36: complain(__LINE__); ! 37: if (CHAR_MAX != SCHAR_MAX && CHAR_MAX != UCHAR_MAX) ! 38: complain(__LINE__); ! 39: if (SHRT_MIN > -32767) ! 40: complain(__LINE__); ! 41: if (SHRT_MAX < 32767) ! 42: complain(__LINE__); ! 43: if (USHRT_MAX < 65535U) ! 44: complain(__LINE__); ! 45: if (INT_MIN > -32767) ! 46: complain(__LINE__); ! 47: if (INT_MAX < 32767) ! 48: complain(__LINE__); ! 49: if (UINT_MAX < 65535U) ! 50: complain(__LINE__); ! 51: if (LONG_MIN > -2147483647) ! 52: complain(__LINE__); ! 53: if (LONG_MAX < 2147483647) ! 54: complain(__LINE__); ! 55: if (ULONG_MAX < 0xffffffff) ! 56: complain(__LINE__); ! 57: ! 58: #ifndef SKIP_1992_PENDING ! 59: /* Review Board meeting August 1992 approved update item #461: ! 60: * ... d41b.c ought to contain some ! 61: * tests to verify that these are all restricted constant expressions, ! 62: * suitable to being tested by #if . If you try to implement them ! 63: * with casts, they won't be testable by #if . ! 64: * As of now, this conformance test is in the "Pending" category. ! 65: * It will not become a formal certification requirement until the ! 66: * 1993 Review Board meeting. ! 67: */ ! 68: /* All of these must be restricted constant expresions. */ ! 69: #if (CHAR_BIT < 8) ! 70: complain(__LINE__); ! 71: #endif ! 72: #if (SCHAR_MIN > -127) ! 73: complain(__LINE__); ! 74: #endif ! 75: #if (SCHAR_MAX < 127) ! 76: complain(__LINE__); ! 77: #endif ! 78: #if (UCHAR_MAX < 255U) ! 79: complain(__LINE__); ! 80: #endif ! 81: #if (CHAR_MIN != SCHAR_MIN && CHAR_MIN != 0) ! 82: complain(__LINE__); ! 83: #endif ! 84: #if (CHAR_MAX != SCHAR_MAX && CHAR_MAX != UCHAR_MAX) ! 85: complain(__LINE__); ! 86: #endif ! 87: #if (SHRT_MIN > -32767) ! 88: complain(__LINE__); ! 89: #endif ! 90: #if (SHRT_MAX < 32767) ! 91: complain(__LINE__); ! 92: #endif ! 93: #if (USHRT_MAX < 65535U) ! 94: complain(__LINE__); ! 95: #endif ! 96: #if (INT_MIN > -32767) ! 97: complain(__LINE__); ! 98: #endif ! 99: #if (INT_MAX < 32767) ! 100: complain(__LINE__); ! 101: #endif ! 102: #if (UINT_MAX < 65535U) ! 103: complain(__LINE__); ! 104: #endif ! 105: #if (LONG_MIN > -2147483647) ! 106: complain(__LINE__); ! 107: #endif ! 108: #if (LONG_MAX < 2147483647) ! 109: complain(__LINE__); ! 110: #endif ! 111: #if (ULONG_MAX < 0xffffffff) ! 112: complain(__LINE__); ! 113: #endif ! 114: #endif /* SKIP_1992_PENDING */ ! 115: ! 116: #ifndef SKIP_1992_PENDING ! 117: /* Review Board meeting August 1992 approved update item #511: ! 118: * "There should be explicit tests that the type of the <limits.h> ! 119: * constants is the appropriate type. This probably means a set of ! 120: * sizeof tests." ! 121: * As of now, this conformance test is in the "Pending" category. ! 122: * It will not become a formal certification requirement until the ! 123: * 1993 Review Board meeting. ! 124: */ ! 125: if(sizeof(SCHAR_MIN) != sizeof(int)) ! 126: complain(__LINE__); ! 127: if(sizeof(SCHAR_MAX) != sizeof(int)) ! 128: complain(__LINE__); ! 129: if(sizeof(UCHAR_MAX) != sizeof(int)) ! 130: complain(__LINE__); ! 131: if(sizeof(CHAR_MIN) != sizeof(int)) ! 132: complain(__LINE__); ! 133: if(sizeof(CHAR_MAX) != sizeof(int)) ! 134: complain(__LINE__); ! 135: if(sizeof(SHRT_MIN) != sizeof(int)) ! 136: complain(__LINE__); ! 137: if(sizeof(SHRT_MAX) != sizeof(int)) ! 138: complain(__LINE__); ! 139: if(sizeof(USHRT_MAX) != sizeof(int)) ! 140: complain(__LINE__); ! 141: if(sizeof(INT_MIN) != sizeof(int)) ! 142: complain(__LINE__); ! 143: if(sizeof(INT_MAX) != sizeof(int)) ! 144: complain(__LINE__); ! 145: if(sizeof(UINT_MAX) != sizeof(int)) ! 146: complain(__LINE__); ! 147: if(sizeof(LONG_MIN) != sizeof(long)) ! 148: complain(__LINE__); ! 149: if(sizeof(LONG_MAX) != sizeof(long)) ! 150: complain(__LINE__); ! 151: if(sizeof(ULONG_MAX) != sizeof(unsigned long)) ! 152: complain(__LINE__); ! 153: #endif /* SKIP_1992_PENDING */ ! 154: ! 155: ! 156: #if !defined(CHAR_BIT) || !defined(SCHAR_MIN) || !defined(SCHAR_MAX) || !defined(UCHAR_MAX) || !defined(CHAR_MIN) ! 157: complain(__LINE__); ! 158: #endif ! 159: #if !defined(CHAR_MAX) || !defined(SHRT_MIN) || !defined(SHRT_MAX) || !defined(USHRT_MAX) || !defined(INT_MIN) ! 160: complain(__LINE__); ! 161: #endif ! 162: #if !defined(INT_MAX) || !defined(UINT_MAX) || !defined(LONG_MIN) || !defined(LONG_MAX) || !defined(ULONG_MAX) ! 163: complain(__LINE__); ! 164: #endif ! 165: ! 166: /* ANSI8809 - Each limit must be properly represented to equal its value stored in appropriate object */ ! 167: #if ANSI8809 ! 168: { ! 169: char cmin = CHAR_MIN; char c = CHAR_MAX; ! 170: signed char scmin = SCHAR_MIN; signed char sc = SCHAR_MAX; unsigned char uc = UCHAR_MAX; ! 171: short smin = SHRT_MIN; short s = SHRT_MAX; unsigned short us = USHRT_MAX; ! 172: int imin = INT_MIN; int i = INT_MAX; unsigned int ui = UINT_MAX; ! 173: long Lmin = LONG_MIN; long L = LONG_MAX; unsigned long uL = ULONG_MAX; ! 174: ! 175: if (CHAR_MIN != cmin) ! 176: complain(__LINE__); ! 177: if (CHAR_MAX != c) ! 178: complain(__LINE__); ! 179: if (SCHAR_MIN != scmin) ! 180: complain(__LINE__); ! 181: if (SCHAR_MAX != sc) ! 182: complain(__LINE__); ! 183: if (UCHAR_MAX != uc) ! 184: complain(__LINE__); ! 185: if (SHRT_MIN != smin) ! 186: complain(__LINE__); ! 187: if (SHRT_MAX != s) ! 188: complain(__LINE__); ! 189: if (USHRT_MAX != us) ! 190: complain(__LINE__); ! 191: if (INT_MIN != imin) ! 192: complain(__LINE__); ! 193: if (INT_MAX != i) ! 194: complain(__LINE__); ! 195: ! 196: ! 197: ! 198: if (UINT_MAX != ui) ! 199: complain(__LINE__); ! 200: if (LONG_MIN != Lmin) ! 201: complain(__LINE__); ! 202: if (LONG_MAX != L) ! 203: complain(__LINE__); ! 204: if (ULONG_MAX != uL) ! 205: complain(__LINE__); ! 206: } ! 207: #endif /* ANSI8809 */ ! 208: } ! 209: #else /* SKIP41 */ ! 210: int skp41b = 1; /* must have one def */ ! 211: #endif /* SKIP41 */
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.