![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to or.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 or.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 the Suite corresponds to the 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 ANSI 1 /* This file follows ANSI arithmetic rules, which may not work in non-ANSI modes */ ! 11: #include "types.h" ! 12: int main() ! 13: { ! 14: extern char *Filename; ! 15: auto CHAR Ic[12]; ! 16: int x_0 = 0; ! 17: #if ANSI ! 18: auto SCHAR Isc[12]; ! 19: int x_1 = 1; ! 20: #endif ! 21: auto SHORT Is[12]; ! 22: int x_2 = 2; ! 23: auto INT Ii[12]; ! 24: int x_3 = 3; ! 25: auto UCHAR Iuc[12]; ! 26: int x_4 = 4; ! 27: auto USHORT Ius[12]; ! 28: int x_5 = 5; ! 29: auto UINT Iui[12]; ! 30: int x_6 = 6; ! 31: auto LONG Il[12]; ! 32: int x_7 = 7; ! 33: auto ULONG Iul[12]; ! 34: int x_8 = 8; ! 35: auto FLOAT If[12]; ! 36: int x_9 = 9; ! 37: auto DOUBLE Id[12]; ! 38: int x_10 = 10; ! 39: #if ANSI ! 40: auto LDOUBLE Ild[12]; ! 41: int x_11 = 11; ! 42: #endif ! 43: Ic[x_0] = 7; ! 44: #if ANSI ! 45: Isc[x_1] = 8; ! 46: #endif ! 47: Is[x_2] = 9; ! 48: Ii[x_3] = 10; ! 49: Iuc[x_4] = 11; ! 50: Ius[x_5] = 12; ! 51: Iui[x_6] = 13; ! 52: Il[x_7] = 14; ! 53: Iul[x_8] = 15; ! 54: If[x_9] = 16; ! 55: Id[x_10] = 17; ! 56: #if ANSI ! 57: Ild[x_11] = 18; ! 58: #endif ! 59: { ! 60: static int x[12] = {0,1,2,3,4,5,6,7,8,9,10,11}; ! 61: auto CHAR Pc[12]; ! 62: int x_0 = 0; ! 63: #if ANSI ! 64: auto SCHAR Psc[12]; ! 65: int x_1 = 1; ! 66: #endif ! 67: auto SHORT Ps[12]; ! 68: int x_2 = 2; ! 69: auto INT Pi[12]; ! 70: int x_3 = 3; ! 71: auto UCHAR Puc[12]; ! 72: int x_4 = 4; ! 73: auto USHORT Pus[12]; ! 74: int x_5 = 5; ! 75: auto UINT Pui[12]; ! 76: int x_6 = 6; ! 77: auto LONG Pl[12]; ! 78: int x_7 = 7; ! 79: auto ULONG Pul[12]; ! 80: int x_8 = 8; ! 81: auto FLOAT Pf[12]; ! 82: int x_9 = 9; ! 83: auto DOUBLE Pd[12]; ! 84: int x_10 = 10; ! 85: #if ANSI ! 86: auto LDOUBLE Pld[12]; ! 87: int x_11 = 11; ! 88: #endif ! 89: Pc[x[x_0]] = 7; ! 90: #if ANSI ! 91: Psc[x[x_1]] = 8; ! 92: #endif ! 93: Ps[x[x_2]] = 9; ! 94: Pi[x[x_3]] = 10; ! 95: Puc[x[x_4]] = 11; ! 96: Pus[x[x_5]] = 12; ! 97: Pui[x[x_6]] = 13; ! 98: Pl[x[x_7]] = 14; ! 99: Pul[x[x_8]] = 15; ! 100: Pf[x[x_9]] = 16; ! 101: Pd[x[x_10]] = 17; ! 102: #if ANSI ! 103: Pld[x[x_11]] = 18; ! 104: #endif ! 105: { ! 106: int true = 1, false = 0; ! 107: Filename = " auto array1 auto arrarr or "; ! 108: iequals(__LINE__, Ic[x_0] | Pc[x[x_0]], 7); ! 109: iequals(__LINE__, Pc[x[x_0]] | Ic[x_0], 7); ! 110: #if ANSI ! 111: iequals(__LINE__, Ic[x_0] | Psc[x[x_1]], 15); ! 112: iequals(__LINE__, Psc[x[x_1]] | Ic[x_0], 15); ! 113: #endif ! 114: iequals(__LINE__, Ic[x_0] | Ps[x[x_2]], 15); ! 115: iequals(__LINE__, Ps[x[x_2]] | Ic[x_0], 15); ! 116: iequals(__LINE__, Ic[x_0] | Pi[x[x_3]], 15); ! 117: iequals(__LINE__, Pi[x[x_3]] | Ic[x_0], 15); ! 118: iequals(__LINE__, Ic[x_0] | Puc[x[x_4]], 15); ! 119: iequals(__LINE__, Puc[x[x_4]] | Ic[x_0], 15); ! 120: iequals(__LINE__, Ic[x_0] | Pus[x[x_5]], 15); ! 121: iequals(__LINE__, Pus[x[x_5]] | Ic[x_0], 15); ! 122: iequals(__LINE__, Ic[x_0] | Pui[x[x_6]], 15); ! 123: iequals(__LINE__, Pui[x[x_6]] | Ic[x_0], 15); ! 124: lequals(__LINE__, Ic[x_0] | Pl[x[x_7]], 15L); ! 125: lequals(__LINE__, Pl[x[x_7]] | Ic[x_0], 15L); ! 126: lequals(__LINE__, Ic[x_0] | Pul[x[x_8]], 15L); ! 127: lequals(__LINE__, Pul[x[x_8]] | Ic[x_0], 15L); ! 128: #if ANSI ! 129: iequals(__LINE__, Isc[x_1] | Pc[x[x_0]], 15); ! 130: iequals(__LINE__, Pc[x[x_0]] | Isc[x_1], 15); ! 131: #endif ! 132: #if ANSI ! 133: iequals(__LINE__, Isc[x_1] | Psc[x[x_1]], 8); ! 134: iequals(__LINE__, Psc[x[x_1]] | Isc[x_1], 8); ! 135: #endif ! 136: #if ANSI ! 137: iequals(__LINE__, Isc[x_1] | Ps[x[x_2]], 9); ! 138: iequals(__LINE__, Ps[x[x_2]] | Isc[x_1], 9); ! 139: #endif ! 140: #if ANSI ! 141: iequals(__LINE__, Isc[x_1] | Pi[x[x_3]], 10); ! 142: iequals(__LINE__, Pi[x[x_3]] | Isc[x_1], 10); ! 143: #endif ! 144: #if ANSI ! 145: iequals(__LINE__, Isc[x_1] | Puc[x[x_4]], 11); ! 146: iequals(__LINE__, Puc[x[x_4]] | Isc[x_1], 11); ! 147: #endif ! 148: #if ANSI ! 149: iequals(__LINE__, Isc[x_1] | Pus[x[x_5]], 12); ! 150: iequals(__LINE__, Pus[x[x_5]] | Isc[x_1], 12); ! 151: #endif ! 152: #if ANSI ! 153: iequals(__LINE__, Isc[x_1] | Pui[x[x_6]], 13); ! 154: iequals(__LINE__, Pui[x[x_6]] | Isc[x_1], 13); ! 155: #endif ! 156: #if ANSI ! 157: lequals(__LINE__, Isc[x_1] | Pl[x[x_7]], 14L); ! 158: lequals(__LINE__, Pl[x[x_7]] | Isc[x_1], 14L); ! 159: #endif ! 160: #if ANSI ! 161: lequals(__LINE__, Isc[x_1] | Pul[x[x_8]], 15L); ! 162: lequals(__LINE__, Pul[x[x_8]] | Isc[x_1], 15L); ! 163: #endif ! 164: iequals(__LINE__, Is[x_2] | Pc[x[x_0]], 15); ! 165: iequals(__LINE__, Pc[x[x_0]] | Is[x_2], 15); ! 166: #if ANSI ! 167: iequals(__LINE__, Is[x_2] | Psc[x[x_1]], 9); ! 168: iequals(__LINE__, Psc[x[x_1]] | Is[x_2], 9); ! 169: #endif ! 170: iequals(__LINE__, Is[x_2] | Ps[x[x_2]], 9); ! 171: iequals(__LINE__, Ps[x[x_2]] | Is[x_2], 9); ! 172: iequals(__LINE__, Is[x_2] | Pi[x[x_3]], 11); ! 173: iequals(__LINE__, Pi[x[x_3]] | Is[x_2], 11); ! 174: iequals(__LINE__, Is[x_2] | Puc[x[x_4]], 11); ! 175: iequals(__LINE__, Puc[x[x_4]] | Is[x_2], 11); ! 176: iequals(__LINE__, Is[x_2] | Pus[x[x_5]], 13); ! 177: iequals(__LINE__, Pus[x[x_5]] | Is[x_2], 13); ! 178: iequals(__LINE__, Is[x_2] | Pui[x[x_6]], 13); ! 179: iequals(__LINE__, Pui[x[x_6]] | Is[x_2], 13); ! 180: lequals(__LINE__, Is[x_2] | Pl[x[x_7]], 15L); ! 181: lequals(__LINE__, Pl[x[x_7]] | Is[x_2], 15L); ! 182: lequals(__LINE__, Is[x_2] | Pul[x[x_8]], 15L); ! 183: lequals(__LINE__, Pul[x[x_8]] | Is[x_2], 15L); ! 184: iequals(__LINE__, Ii[x_3] | Pc[x[x_0]], 15); ! 185: iequals(__LINE__, Pc[x[x_0]] | Ii[x_3], 15); ! 186: #if ANSI ! 187: iequals(__LINE__, Ii[x_3] | Psc[x[x_1]], 10); ! 188: iequals(__LINE__, Psc[x[x_1]] | Ii[x_3], 10); ! 189: #endif ! 190: iequals(__LINE__, Ii[x_3] | Ps[x[x_2]], 11); ! 191: iequals(__LINE__, Ps[x[x_2]] | Ii[x_3], 11); ! 192: iequals(__LINE__, Ii[x_3] | Pi[x[x_3]], 10); ! 193: iequals(__LINE__, Pi[x[x_3]] | Ii[x_3], 10); ! 194: iequals(__LINE__, Ii[x_3] | Puc[x[x_4]], 11); ! 195: iequals(__LINE__, Puc[x[x_4]] | Ii[x_3], 11); ! 196: iequals(__LINE__, Ii[x_3] | Pus[x[x_5]], 14); ! 197: iequals(__LINE__, Pus[x[x_5]] | Ii[x_3], 14); ! 198: iequals(__LINE__, Ii[x_3] | Pui[x[x_6]], 15); ! 199: iequals(__LINE__, Pui[x[x_6]] | Ii[x_3], 15); ! 200: lequals(__LINE__, Ii[x_3] | Pl[x[x_7]], 14L); ! 201: lequals(__LINE__, Pl[x[x_7]] | Ii[x_3], 14L); ! 202: lequals(__LINE__, Ii[x_3] | Pul[x[x_8]], 15L); ! 203: lequals(__LINE__, Pul[x[x_8]] | Ii[x_3], 15L); ! 204: iequals(__LINE__, Iuc[x_4] | Pc[x[x_0]], 15); ! 205: iequals(__LINE__, Pc[x[x_0]] | Iuc[x_4], 15); ! 206: #if ANSI ! 207: iequals(__LINE__, Iuc[x_4] | Psc[x[x_1]], 11); ! 208: iequals(__LINE__, Psc[x[x_1]] | Iuc[x_4], 11); ! 209: #endif ! 210: iequals(__LINE__, Iuc[x_4] | Ps[x[x_2]], 11); ! 211: iequals(__LINE__, Ps[x[x_2]] | Iuc[x_4], 11); ! 212: iequals(__LINE__, Iuc[x_4] | Pi[x[x_3]], 11); ! 213: iequals(__LINE__, Pi[x[x_3]] | Iuc[x_4], 11); ! 214: iequals(__LINE__, Iuc[x_4] | Puc[x[x_4]], 11); ! 215: iequals(__LINE__, Puc[x[x_4]] | Iuc[x_4], 11); ! 216: iequals(__LINE__, Iuc[x_4] | Pus[x[x_5]], 15); ! 217: iequals(__LINE__, Pus[x[x_5]] | Iuc[x_4], 15); ! 218: iequals(__LINE__, Iuc[x_4] | Pui[x[x_6]], 15); ! 219: iequals(__LINE__, Pui[x[x_6]] | Iuc[x_4], 15); ! 220: lequals(__LINE__, Iuc[x_4] | Pl[x[x_7]], 15L); ! 221: lequals(__LINE__, Pl[x[x_7]] | Iuc[x_4], 15L); ! 222: lequals(__LINE__, Iuc[x_4] | Pul[x[x_8]], 15L); ! 223: lequals(__LINE__, Pul[x[x_8]] | Iuc[x_4], 15L); ! 224: iequals(__LINE__, Ius[x_5] | Pc[x[x_0]], 15); ! 225: iequals(__LINE__, Pc[x[x_0]] | Ius[x_5], 15); ! 226: #if ANSI ! 227: iequals(__LINE__, Ius[x_5] | Psc[x[x_1]], 12); ! 228: iequals(__LINE__, Psc[x[x_1]] | Ius[x_5], 12); ! 229: #endif ! 230: iequals(__LINE__, Ius[x_5] | Ps[x[x_2]], 13); ! 231: iequals(__LINE__, Ps[x[x_2]] | Ius[x_5], 13); ! 232: iequals(__LINE__, Ius[x_5] | Pi[x[x_3]], 14); ! 233: iequals(__LINE__, Pi[x[x_3]] | Ius[x_5], 14); ! 234: iequals(__LINE__, Ius[x_5] | Puc[x[x_4]], 15); ! 235: iequals(__LINE__, Puc[x[x_4]] | Ius[x_5], 15); ! 236: iequals(__LINE__, Ius[x_5] | Pus[x[x_5]], 12); ! 237: iequals(__LINE__, Pus[x[x_5]] | Ius[x_5], 12); ! 238: iequals(__LINE__, Ius[x_5] | Pui[x[x_6]], 13); ! 239: iequals(__LINE__, Pui[x[x_6]] | Ius[x_5], 13); ! 240: lequals(__LINE__, Ius[x_5] | Pl[x[x_7]], 14L); ! 241: lequals(__LINE__, Pl[x[x_7]] | Ius[x_5], 14L); ! 242: lequals(__LINE__, Ius[x_5] | Pul[x[x_8]], 15L); ! 243: lequals(__LINE__, Pul[x[x_8]] | Ius[x_5], 15L); ! 244: iequals(__LINE__, Iui[x_6] | Pc[x[x_0]], 15); ! 245: iequals(__LINE__, Pc[x[x_0]] | Iui[x_6], 15); ! 246: #if ANSI ! 247: iequals(__LINE__, Iui[x_6] | Psc[x[x_1]], 13); ! 248: iequals(__LINE__, Psc[x[x_1]] | Iui[x_6], 13); ! 249: #endif ! 250: iequals(__LINE__, Iui[x_6] | Ps[x[x_2]], 13); ! 251: iequals(__LINE__, Ps[x[x_2]] | Iui[x_6], 13); ! 252: iequals(__LINE__, Iui[x_6] | Pi[x[x_3]], 15); ! 253: iequals(__LINE__, Pi[x[x_3]] | Iui[x_6], 15); ! 254: iequals(__LINE__, Iui[x_6] | Puc[x[x_4]], 15); ! 255: iequals(__LINE__, Puc[x[x_4]] | Iui[x_6], 15); ! 256: iequals(__LINE__, Iui[x_6] | Pus[x[x_5]], 13); ! 257: iequals(__LINE__, Pus[x[x_5]] | Iui[x_6], 13); ! 258: iequals(__LINE__, Iui[x_6] | Pui[x[x_6]], 13); ! 259: iequals(__LINE__, Pui[x[x_6]] | Iui[x_6], 13); ! 260: lequals(__LINE__, Iui[x_6] | Pl[x[x_7]], 15L); ! 261: lequals(__LINE__, Pl[x[x_7]] | Iui[x_6], 15L); ! 262: lequals(__LINE__, Iui[x_6] | Pul[x[x_8]], 15L); ! 263: lequals(__LINE__, Pul[x[x_8]] | Iui[x_6], 15L); ! 264: lequals(__LINE__, Il[x_7] | Pc[x[x_0]], 15L); ! 265: lequals(__LINE__, Pc[x[x_0]] | Il[x_7], 15L); ! 266: #if ANSI ! 267: lequals(__LINE__, Il[x_7] | Psc[x[x_1]], 14L); ! 268: lequals(__LINE__, Psc[x[x_1]] | Il[x_7], 14L); ! 269: #endif ! 270: lequals(__LINE__, Il[x_7] | Ps[x[x_2]], 15L); ! 271: lequals(__LINE__, Ps[x[x_2]] | Il[x_7], 15L); ! 272: lequals(__LINE__, Il[x_7] | Pi[x[x_3]], 14L); ! 273: lequals(__LINE__, Pi[x[x_3]] | Il[x_7], 14L); ! 274: lequals(__LINE__, Il[x_7] | Puc[x[x_4]], 15L); ! 275: lequals(__LINE__, Puc[x[x_4]] | Il[x_7], 15L); ! 276: lequals(__LINE__, Il[x_7] | Pus[x[x_5]], 14L); ! 277: lequals(__LINE__, Pus[x[x_5]] | Il[x_7], 14L); ! 278: lequals(__LINE__, Il[x_7] | Pui[x[x_6]], 15L); ! 279: lequals(__LINE__, Pui[x[x_6]] | Il[x_7], 15L); ! 280: lequals(__LINE__, Il[x_7] | Pl[x[x_7]], 14L); ! 281: lequals(__LINE__, Pl[x[x_7]] | Il[x_7], 14L); ! 282: lequals(__LINE__, Il[x_7] | Pul[x[x_8]], 15L); ! 283: lequals(__LINE__, Pul[x[x_8]] | Il[x_7], 15L); ! 284: lequals(__LINE__, Iul[x_8] | Pc[x[x_0]], 15L); ! 285: lequals(__LINE__, Pc[x[x_0]] | Iul[x_8], 15L); ! 286: #if ANSI ! 287: lequals(__LINE__, Iul[x_8] | Psc[x[x_1]], 15L); ! 288: lequals(__LINE__, Psc[x[x_1]] | Iul[x_8], 15L); ! 289: #endif ! 290: lequals(__LINE__, Iul[x_8] | Ps[x[x_2]], 15L); ! 291: lequals(__LINE__, Ps[x[x_2]] | Iul[x_8], 15L); ! 292: lequals(__LINE__, Iul[x_8] | Pi[x[x_3]], 15L); ! 293: lequals(__LINE__, Pi[x[x_3]] | Iul[x_8], 15L); ! 294: lequals(__LINE__, Iul[x_8] | Puc[x[x_4]], 15L); ! 295: lequals(__LINE__, Puc[x[x_4]] | Iul[x_8], 15L); ! 296: lequals(__LINE__, Iul[x_8] | Pus[x[x_5]], 15L); ! 297: lequals(__LINE__, Pus[x[x_5]] | Iul[x_8], 15L); ! 298: lequals(__LINE__, Iul[x_8] | Pui[x[x_6]], 15L); ! 299: lequals(__LINE__, Pui[x[x_6]] | Iul[x_8], 15L); ! 300: lequals(__LINE__, Iul[x_8] | Pl[x[x_7]], 15L); ! 301: lequals(__LINE__, Pl[x[x_7]] | Iul[x_8], 15L); ! 302: lequals(__LINE__, Iul[x_8] | Pul[x[x_8]], 15L); ! 303: lequals(__LINE__, Pul[x[x_8]] | Iul[x_8], 15L); ! 304: }} ! 305: return report(Filename); ! 306: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.