![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to mineq3.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 mineq3.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 Ac = 7; ! 16: #if ANSI ! 17: auto SCHAR Asc = 8; ! 18: #endif ! 19: auto SHORT As = 9; ! 20: auto INT Ai = 10; ! 21: auto UCHAR Auc = 21; ! 22: auto USHORT Aus = 22; ! 23: auto UINT Aui = 23; ! 24: auto LONG Al = 14; ! 25: auto ULONG Aul = 25; ! 26: auto FLOAT Af = 16; ! 27: auto DOUBLE Ad = 17; ! 28: #if ANSI ! 29: auto LDOUBLE Ald = 18; ! 30: #endif ! 31: { ! 32: auto CHAR Bc = 7; ! 33: auto CHAR *pBc = &Bc; ! 34: #if ANSI ! 35: auto SCHAR Bsc = 8; ! 36: auto SCHAR *pBsc = &Bsc; ! 37: #endif ! 38: auto SHORT Bs = 9; ! 39: auto SHORT *pBs = &Bs; ! 40: auto INT Bi = 10; ! 41: auto INT *pBi = &Bi; ! 42: auto UCHAR Buc = 21; ! 43: auto UCHAR *pBuc = &Buc; ! 44: auto USHORT Bus = 22; ! 45: auto USHORT *pBus = &Bus; ! 46: auto UINT Bui = 23; ! 47: auto UINT *pBui = &Bui; ! 48: auto LONG Bl = 14; ! 49: auto LONG *pBl = &Bl; ! 50: auto ULONG Bul = 25; ! 51: auto ULONG *pBul = &Bul; ! 52: auto FLOAT Bf = 16; ! 53: auto FLOAT *pBf = &Bf; ! 54: auto DOUBLE Bd = 17; ! 55: auto DOUBLE *pBd = &Bd; ! 56: #if ANSI ! 57: auto LDOUBLE Bld = 18; ! 58: auto LDOUBLE *pBld = &Bld; ! 59: #endif ! 60: { ! 61: int true = 1, false = 0; ! 62: Filename = " auto scalar auto pscalar1 mineq3 "; ! 63: *pBd = 17; Aus = 22; ! 64: *pBd -= Aus; ! 65: dequals(__LINE__, *pBd, (DOUBLE)-5.); ! 66: *pBd = 17; ! 67: dequals(__LINE__, *pBd -= Aus, (DOUBLE)-5.); ! 68: #if ANSI ! 69: Aus = 22; *pBld = 18; ! 70: Aus -= *pBld; ! 71: iequals(__LINE__, Aus, (USHORT)4); ! 72: Aus = 22; ! 73: iequals(__LINE__, Aus -= *pBld, (USHORT)4); ! 74: *pBld = 18; Aus = 22; ! 75: *pBld -= Aus; ! 76: ldequals(__LINE__, *pBld, (LDOUBLE)-4.L); ! 77: *pBld = 18; ! 78: ldequals(__LINE__, *pBld -= Aus, (LDOUBLE)-4.L); ! 79: #endif ! 80: Aui = 23; *pBc = 7; ! 81: Aui -= *pBc; ! 82: iequals(__LINE__, Aui, (UINT)16); ! 83: Aui = 23; ! 84: iequals(__LINE__, Aui -= *pBc, (UINT)16); ! 85: *pBc = 7; Aui = 23; ! 86: *pBc -= Aui; ! 87: iequals(__LINE__, *pBc, (CHAR)-16); ! 88: *pBc = 7; ! 89: iequals(__LINE__, *pBc -= Aui, (CHAR)-16); ! 90: #if ANSI ! 91: Aui = 23; *pBsc = 8; ! 92: Aui -= *pBsc; ! 93: iequals(__LINE__, Aui, (UINT)15); ! 94: Aui = 23; ! 95: iequals(__LINE__, Aui -= *pBsc, (UINT)15); ! 96: *pBsc = 8; Aui = 23; ! 97: *pBsc -= Aui; ! 98: iequals(__LINE__, *pBsc, (SCHAR)-15); ! 99: *pBsc = 8; ! 100: iequals(__LINE__, *pBsc -= Aui, (SCHAR)-15); ! 101: #endif ! 102: Aui = 23; *pBs = 9; ! 103: Aui -= *pBs; ! 104: iequals(__LINE__, Aui, (UINT)14); ! 105: Aui = 23; ! 106: iequals(__LINE__, Aui -= *pBs, (UINT)14); ! 107: *pBs = 9; Aui = 23; ! 108: *pBs -= Aui; ! 109: iequals(__LINE__, *pBs, (SHORT)(UINT)-14); ! 110: *pBs = 9; ! 111: iequals(__LINE__, *pBs -= Aui, (SHORT)(UINT)-14); ! 112: Aui = 23; *pBi = 10; ! 113: Aui -= *pBi; ! 114: iequals(__LINE__, Aui, (UINT)13); ! 115: Aui = 23; ! 116: iequals(__LINE__, Aui -= *pBi, (UINT)13); ! 117: *pBi = 10; Aui = 23; ! 118: *pBi -= Aui; ! 119: iequals(__LINE__, *pBi, (INT)(UINT)-13); ! 120: *pBi = 10; ! 121: iequals(__LINE__, *pBi -= Aui, (INT)(UINT)-13); ! 122: Aui = 23; *pBuc = 21; ! 123: Aui -= *pBuc; ! 124: iequals(__LINE__, Aui, (UINT)2); ! 125: Aui = 23; ! 126: iequals(__LINE__, Aui -= *pBuc, (UINT)2); ! 127: *pBuc = 21; Aui = 23; ! 128: *pBuc -= Aui; ! 129: iequals(__LINE__, *pBuc, (UCHAR)-2); ! 130: *pBuc = 21; ! 131: iequals(__LINE__, *pBuc -= Aui, (UCHAR)-2); ! 132: Aui = 23; *pBus = 22; ! 133: Aui -= *pBus; ! 134: iequals(__LINE__, Aui, (UINT)1); ! 135: Aui = 23; ! 136: iequals(__LINE__, Aui -= *pBus, (UINT)1); ! 137: *pBus = 22; Aui = 23; ! 138: *pBus -= Aui; ! 139: iequals(__LINE__, *pBus, (USHORT)-1); ! 140: *pBus = 22; ! 141: iequals(__LINE__, *pBus -= Aui, (USHORT)-1); ! 142: Aui = 23; *pBui = 23; ! 143: Aui -= *pBui; ! 144: iequals(__LINE__, Aui, (UINT)0); ! 145: Aui = 23; ! 146: iequals(__LINE__, Aui -= *pBui, (UINT)0); ! 147: *pBui = 23; Aui = 23; ! 148: *pBui -= Aui; ! 149: iequals(__LINE__, *pBui, (UINT)0); ! 150: *pBui = 23; ! 151: iequals(__LINE__, *pBui -= Aui, (UINT)0); ! 152: Aui = 23; *pBl = 14; ! 153: Aui -= *pBl; ! 154: iequals(__LINE__, Aui, (UINT)9); ! 155: Aui = 23; ! 156: iequals(__LINE__, Aui -= *pBl, (UINT)9); ! 157: *pBl = 14; Aui = 23; ! 158: *pBl -= Aui; ! 159: lequals(__LINE__, *pBl, (LONG)-9L); ! 160: *pBl = 14; ! 161: lequals(__LINE__, *pBl -= Aui, (LONG)-9L); ! 162: Aui = 23; *pBul = 25; ! 163: Aui -= *pBul; ! 164: iequals(__LINE__, Aui, (UINT)-2); ! 165: Aui = 23; ! 166: iequals(__LINE__, Aui -= *pBul, (UINT)-2); ! 167: *pBul = 25; Aui = 23; ! 168: *pBul -= Aui; ! 169: lequals(__LINE__, *pBul, (ULONG)2L); ! 170: *pBul = 25; ! 171: lequals(__LINE__, *pBul -= Aui, (ULONG)2L); ! 172: Aui = 23; *pBf = 16; ! 173: Aui -= *pBf; ! 174: iequals(__LINE__, Aui, (UINT)7); ! 175: Aui = 23; ! 176: iequals(__LINE__, Aui -= *pBf, (UINT)7); ! 177: *pBf = 16; Aui = 23; ! 178: *pBf -= Aui; ! 179: dequals(__LINE__, *pBf, (FLOAT)-7.); ! 180: *pBf = 16; ! 181: dequals(__LINE__, *pBf -= Aui, (FLOAT)-7.); ! 182: Aui = 23; *pBd = 17; ! 183: Aui -= *pBd; ! 184: iequals(__LINE__, Aui, (UINT)6); ! 185: Aui = 23; ! 186: iequals(__LINE__, Aui -= *pBd, (UINT)6); ! 187: *pBd = 17; Aui = 23; ! 188: *pBd -= Aui; ! 189: dequals(__LINE__, *pBd, (DOUBLE)-6.); ! 190: *pBd = 17; ! 191: dequals(__LINE__, *pBd -= Aui, (DOUBLE)-6.); ! 192: #if ANSI ! 193: Aui = 23; *pBld = 18; ! 194: Aui -= *pBld; ! 195: iequals(__LINE__, Aui, (UINT)5); ! 196: Aui = 23; ! 197: iequals(__LINE__, Aui -= *pBld, (UINT)5); ! 198: *pBld = 18; Aui = 23; ! 199: *pBld -= Aui; ! 200: ldequals(__LINE__, *pBld, (LDOUBLE)-5.L); ! 201: *pBld = 18; ! 202: ldequals(__LINE__, *pBld -= Aui, (LDOUBLE)-5.L); ! 203: #endif ! 204: Al = 14; *pBc = 7; ! 205: Al -= *pBc; ! 206: lequals(__LINE__, Al, (LONG)7L); ! 207: Al = 14; ! 208: lequals(__LINE__, Al -= *pBc, (LONG)7L); ! 209: *pBc = 7; Al = 14; ! 210: *pBc -= Al; ! 211: iequals(__LINE__, *pBc, (CHAR)-7); ! 212: *pBc = 7; ! 213: iequals(__LINE__, *pBc -= Al, (CHAR)-7); ! 214: #if ANSI ! 215: Al = 14; *pBsc = 8; ! 216: Al -= *pBsc; ! 217: lequals(__LINE__, Al, (LONG)6L); ! 218: Al = 14; ! 219: lequals(__LINE__, Al -= *pBsc, (LONG)6L); ! 220: *pBsc = 8; Al = 14; ! 221: *pBsc -= Al; ! 222: iequals(__LINE__, *pBsc, (SCHAR)-6); ! 223: *pBsc = 8; ! 224: iequals(__LINE__, *pBsc -= Al, (SCHAR)-6); ! 225: #endif ! 226: Al = 14; *pBs = 9; ! 227: Al -= *pBs; ! 228: lequals(__LINE__, Al, (LONG)5L); ! 229: Al = 14; ! 230: lequals(__LINE__, Al -= *pBs, (LONG)5L); ! 231: *pBs = 9; Al = 14; ! 232: *pBs -= Al; ! 233: iequals(__LINE__, *pBs, (SHORT)-5); ! 234: *pBs = 9; ! 235: iequals(__LINE__, *pBs -= Al, (SHORT)-5); ! 236: Al = 14; *pBi = 10; ! 237: Al -= *pBi; ! 238: lequals(__LINE__, Al, (LONG)4L); ! 239: Al = 14; ! 240: lequals(__LINE__, Al -= *pBi, (LONG)4L); ! 241: *pBi = 10; Al = 14; ! 242: *pBi -= Al; ! 243: iequals(__LINE__, *pBi, (INT)-4); ! 244: *pBi = 10; ! 245: iequals(__LINE__, *pBi -= Al, (INT)-4); ! 246: Al = 14; *pBuc = 21; ! 247: Al -= *pBuc; ! 248: lequals(__LINE__, Al, (LONG)-7L); ! 249: Al = 14; ! 250: lequals(__LINE__, Al -= *pBuc, (LONG)-7L); ! 251: *pBuc = 21; Al = 14; ! 252: *pBuc -= Al; ! 253: iequals(__LINE__, *pBuc, (UCHAR)7); ! 254: *pBuc = 21; ! 255: iequals(__LINE__, *pBuc -= Al, (UCHAR)7); ! 256: Al = 14; *pBus = 22; ! 257: Al -= *pBus; ! 258: lequals(__LINE__, Al, (LONG)-8L); ! 259: Al = 14; ! 260: lequals(__LINE__, Al -= *pBus, (LONG)-8L); ! 261: *pBus = 22; Al = 14; ! 262: *pBus -= Al; ! 263: iequals(__LINE__, *pBus, (USHORT)8); ! 264: *pBus = 22; ! 265: iequals(__LINE__, *pBus -= Al, (USHORT)8); ! 266: Al = 14; *pBui = 23; ! 267: Al -= *pBui; ! 268: lequals(__LINE__, Al, (LONG)-9L); ! 269: Al = 14; ! 270: lequals(__LINE__, Al -= *pBui, (LONG)-9L); ! 271: *pBui = 23; Al = 14; ! 272: *pBui -= Al; ! 273: iequals(__LINE__, *pBui, (UINT)9); ! 274: *pBui = 23; ! 275: iequals(__LINE__, *pBui -= Al, (UINT)9); ! 276: Al = 14; *pBl = 14; ! 277: Al -= *pBl; ! 278: lequals(__LINE__, Al, (LONG)0L); ! 279: Al = 14; ! 280: lequals(__LINE__, Al -= *pBl, (LONG)0L); ! 281: *pBl = 14; Al = 14; ! 282: *pBl -= Al; ! 283: lequals(__LINE__, *pBl, (LONG)0L); ! 284: *pBl = 14; ! 285: lequals(__LINE__, *pBl -= Al, (LONG)0L); ! 286: Al = 14; *pBul = 25; ! 287: Al -= *pBul; ! 288: lequals(__LINE__, Al, (LONG)(ULONG)-11L); ! 289: Al = 14; ! 290: lequals(__LINE__, Al -= *pBul, (LONG)(ULONG)-11L); ! 291: *pBul = 25; Al = 14; ! 292: *pBul -= Al; ! 293: lequals(__LINE__, *pBul, (ULONG)11L); ! 294: *pBul = 25; ! 295: lequals(__LINE__, *pBul -= Al, (ULONG)11L); ! 296: Al = 14; *pBf = 16; ! 297: Al -= *pBf; ! 298: lequals(__LINE__, Al, (LONG)-2L); ! 299: Al = 14; ! 300: lequals(__LINE__, Al -= *pBf, (LONG)-2L); ! 301: *pBf = 16; Al = 14; ! 302: *pBf -= Al; ! 303: dequals(__LINE__, *pBf, (FLOAT)2.); ! 304: *pBf = 16; ! 305: dequals(__LINE__, *pBf -= Al, (FLOAT)2.); ! 306: Al = 14; *pBd = 17; ! 307: Al -= *pBd; ! 308: lequals(__LINE__, Al, (LONG)-3L); ! 309: Al = 14; ! 310: lequals(__LINE__, Al -= *pBd, (LONG)-3L); ! 311: *pBd = 17; Al = 14; ! 312: *pBd -= Al; ! 313: dequals(__LINE__, *pBd, (DOUBLE)3.); ! 314: *pBd = 17; ! 315: dequals(__LINE__, *pBd -= Al, (DOUBLE)3.); ! 316: #if ANSI ! 317: Al = 14; *pBld = 18; ! 318: Al -= *pBld; ! 319: lequals(__LINE__, Al, (LONG)-4L); ! 320: Al = 14; ! 321: lequals(__LINE__, Al -= *pBld, (LONG)-4L); ! 322: *pBld = 18; Al = 14; ! 323: *pBld -= Al; ! 324: ldequals(__LINE__, *pBld, (LDOUBLE)4.L); ! 325: *pBld = 18; ! 326: ldequals(__LINE__, *pBld -= Al, (LDOUBLE)4.L); ! 327: #endif ! 328: Aul = 25; *pBc = 7; ! 329: Aul -= *pBc; ! 330: lequals(__LINE__, Aul, (ULONG)18L); ! 331: Aul = 25; ! 332: lequals(__LINE__, Aul -= *pBc, (ULONG)18L); ! 333: *pBc = 7; Aul = 25; ! 334: *pBc -= Aul; ! 335: iequals(__LINE__, *pBc, (CHAR)-18); ! 336: *pBc = 7; ! 337: iequals(__LINE__, *pBc -= Aul, (CHAR)-18); ! 338: #if ANSI ! 339: Aul = 25; *pBsc = 8; ! 340: Aul -= *pBsc; ! 341: lequals(__LINE__, Aul, (ULONG)17L); ! 342: Aul = 25; ! 343: lequals(__LINE__, Aul -= *pBsc, (ULONG)17L); ! 344: *pBsc = 8; Aul = 25; ! 345: *pBsc -= Aul; ! 346: iequals(__LINE__, *pBsc, (SCHAR)-17); ! 347: *pBsc = 8; ! 348: iequals(__LINE__, *pBsc -= Aul, (SCHAR)-17); ! 349: #endif ! 350: Aul = 25; *pBs = 9; ! 351: Aul -= *pBs; ! 352: lequals(__LINE__, Aul, (ULONG)16L); ! 353: Aul = 25; ! 354: lequals(__LINE__, Aul -= *pBs, (ULONG)16L); ! 355: *pBs = 9; Aul = 25; ! 356: *pBs -= Aul; ! 357: iequals(__LINE__, *pBs, (SHORT)(ULONG)-16); ! 358: *pBs = 9; ! 359: iequals(__LINE__, *pBs -= Aul, (SHORT)(ULONG)-16); ! 360: Aul = 25; *pBi = 10; ! 361: Aul -= *pBi; ! 362: lequals(__LINE__, Aul, (ULONG)15L); ! 363: Aul = 25; ! 364: lequals(__LINE__, Aul -= *pBi, (ULONG)15L); ! 365: *pBi = 10; Aul = 25; ! 366: *pBi -= Aul; ! 367: iequals(__LINE__, *pBi, (INT)(ULONG)-15); ! 368: *pBi = 10; ! 369: iequals(__LINE__, *pBi -= Aul, (INT)(ULONG)-15); ! 370: Aul = 25; *pBuc = 21; ! 371: Aul -= *pBuc; ! 372: lequals(__LINE__, Aul, (ULONG)4L); ! 373: Aul = 25; ! 374: lequals(__LINE__, Aul -= *pBuc, (ULONG)4L); ! 375: *pBuc = 21; Aul = 25; ! 376: *pBuc -= Aul; ! 377: iequals(__LINE__, *pBuc, (UCHAR)-4); ! 378: *pBuc = 21; ! 379: iequals(__LINE__, *pBuc -= Aul, (UCHAR)-4); ! 380: Aul = 25; *pBus = 22; ! 381: Aul -= *pBus; ! 382: lequals(__LINE__, Aul, (ULONG)3L); ! 383: Aul = 25; ! 384: lequals(__LINE__, Aul -= *pBus, (ULONG)3L); ! 385: *pBus = 22; Aul = 25; ! 386: *pBus -= Aul; ! 387: iequals(__LINE__, *pBus, (USHORT)-3); ! 388: *pBus = 22; ! 389: iequals(__LINE__, *pBus -= Aul, (USHORT)-3); ! 390: Aul = 25; *pBui = 23; ! 391: Aul -= *pBui; ! 392: lequals(__LINE__, Aul, (ULONG)2L); ! 393: Aul = 25; ! 394: lequals(__LINE__, Aul -= *pBui, (ULONG)2L); ! 395: *pBui = 23; Aul = 25; ! 396: *pBui -= Aul; ! 397: iequals(__LINE__, *pBui, (UINT)-2); ! 398: *pBui = 23; ! 399: iequals(__LINE__, *pBui -= Aul, (UINT)-2); ! 400: Aul = 25; *pBl = 14; ! 401: Aul -= *pBl; ! 402: lequals(__LINE__, Aul, (ULONG)11L); ! 403: Aul = 25; ! 404: lequals(__LINE__, Aul -= *pBl, (ULONG)11L); ! 405: *pBl = 14; Aul = 25; ! 406: *pBl -= Aul; ! 407: lequals(__LINE__, *pBl, (LONG)(ULONG)-11L); ! 408: *pBl = 14; ! 409: lequals(__LINE__, *pBl -= Aul, (LONG)(ULONG)-11L); ! 410: Aul = 25; *pBul = 25; ! 411: Aul -= *pBul; ! 412: lequals(__LINE__, Aul, (ULONG)0L); ! 413: Aul = 25; ! 414: lequals(__LINE__, Aul -= *pBul, (ULONG)0L); ! 415: *pBul = 25; Aul = 25; ! 416: *pBul -= Aul; ! 417: lequals(__LINE__, *pBul, (ULONG)0L); ! 418: *pBul = 25; ! 419: lequals(__LINE__, *pBul -= Aul, (ULONG)0L); ! 420: Aul = 25; *pBf = 16; ! 421: Aul -= *pBf; ! 422: lequals(__LINE__, Aul, (ULONG)9L); ! 423: Aul = 25; ! 424: lequals(__LINE__, Aul -= *pBf, (ULONG)9L); ! 425: *pBf = 16; Aul = 25; ! 426: *pBf -= Aul; ! 427: dequals(__LINE__, *pBf, (FLOAT)-9.); ! 428: *pBf = 16; ! 429: dequals(__LINE__, *pBf -= Aul, (FLOAT)-9.); ! 430: Aul = 25; *pBd = 17; ! 431: Aul -= *pBd; ! 432: lequals(__LINE__, Aul, (ULONG)8L); ! 433: Aul = 25; ! 434: lequals(__LINE__, Aul -= *pBd, (ULONG)8L); ! 435: *pBd = 17; Aul = 25; ! 436: *pBd -= Aul; ! 437: dequals(__LINE__, *pBd, (DOUBLE)-8.); ! 438: *pBd = 17; ! 439: dequals(__LINE__, *pBd -= Aul, (DOUBLE)-8.); ! 440: #if ANSI ! 441: Aul = 25; *pBld = 18; ! 442: Aul -= *pBld; ! 443: lequals(__LINE__, Aul, (ULONG)7L); ! 444: Aul = 25; ! 445: lequals(__LINE__, Aul -= *pBld, (ULONG)7L); ! 446: *pBld = 18; Aul = 25; ! 447: *pBld -= Aul; ! 448: ldequals(__LINE__, *pBld, (LDOUBLE)-7.L); ! 449: *pBld = 18; ! 450: ldequals(__LINE__, *pBld -= Aul, (LDOUBLE)-7.L); ! 451: #endif ! 452: Af = 16; *pBc = 7; ! 453: Af -= *pBc; ! 454: dequals(__LINE__, Af, (FLOAT)9.); ! 455: Af = 16; ! 456: dequals(__LINE__, Af -= *pBc, (FLOAT)9.); ! 457: *pBc = 7; Af = 16; ! 458: /* *pBc -= Af; DELETED: NON-PORTABLE */ ! 459: /* iequals(__LINE__, *pBc, (CHAR)-9); DELETED: NON-PORTABLE */ ! 460: *pBc = 7; ! 461: /* iequals(__LINE__, *pBc -= Af, (CHAR)-9); DELETED: NON-PORTABLE */ ! 462: }} ! 463: return report(Filename); ! 464: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.