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