|
|
researchv10 Norman
/* The Plum Hall Validation Suite for C
* Unpublished copyright (c) 1986-1991, Chiron Systems Inc and Plum Hall Inc.
* VERSION: 4
* DATE: 1993-01-01
* The "ANSI" mode of the Suite corresponds to the official ANSI C, X3.159-1989.
* As per your license agreement, your distribution is not to be moved or copied outside the Designated Site
* without specific permission from Plum Hall Inc.
*/
#define ANSI 1 /* This file follows ANSI arithmetic rules, which may not work in non-ANSI modes */
#include "types.h"
int main()
{
extern char *Filename;
auto CHAR Ac = 7;
#if ANSI
auto SCHAR Asc = 8;
#endif
auto SHORT As = 9;
auto INT Ai = 10;
auto UCHAR Auc = 21;
auto USHORT Aus = 22;
auto UINT Aui = 23;
auto LONG Al = 14;
auto ULONG Aul = 25;
auto FLOAT Af = 16;
auto DOUBLE Ad = 17;
#if ANSI
auto LDOUBLE Ald = 18;
#endif
{
auto CHAR Bc = 7;
auto CHAR *pBc = &Bc;
#if ANSI
auto SCHAR Bsc = 8;
auto SCHAR *pBsc = &Bsc;
#endif
auto SHORT Bs = 9;
auto SHORT *pBs = &Bs;
auto INT Bi = 10;
auto INT *pBi = &Bi;
auto UCHAR Buc = 21;
auto UCHAR *pBuc = &Buc;
auto USHORT Bus = 22;
auto USHORT *pBus = &Bus;
auto UINT Bui = 23;
auto UINT *pBui = &Bui;
auto LONG Bl = 14;
auto LONG *pBl = &Bl;
auto ULONG Bul = 25;
auto ULONG *pBul = &Bul;
auto FLOAT Bf = 16;
auto FLOAT *pBf = &Bf;
auto DOUBLE Bd = 17;
auto DOUBLE *pBd = &Bd;
#if ANSI
auto LDOUBLE Bld = 18;
auto LDOUBLE *pBld = &Bld;
#endif
{
int true = 1, false = 0;
Filename = " auto scalar auto pscalar1 mineq3 ";
*pBd = 17; Aus = 22;
*pBd -= Aus;
dequals(__LINE__, *pBd, (DOUBLE)-5.);
*pBd = 17;
dequals(__LINE__, *pBd -= Aus, (DOUBLE)-5.);
#if ANSI
Aus = 22; *pBld = 18;
Aus -= *pBld;
iequals(__LINE__, Aus, (USHORT)4);
Aus = 22;
iequals(__LINE__, Aus -= *pBld, (USHORT)4);
*pBld = 18; Aus = 22;
*pBld -= Aus;
ldequals(__LINE__, *pBld, (LDOUBLE)-4.L);
*pBld = 18;
ldequals(__LINE__, *pBld -= Aus, (LDOUBLE)-4.L);
#endif
Aui = 23; *pBc = 7;
Aui -= *pBc;
iequals(__LINE__, Aui, (UINT)16);
Aui = 23;
iequals(__LINE__, Aui -= *pBc, (UINT)16);
*pBc = 7; Aui = 23;
*pBc -= Aui;
iequals(__LINE__, *pBc, (CHAR)-16);
*pBc = 7;
iequals(__LINE__, *pBc -= Aui, (CHAR)-16);
#if ANSI
Aui = 23; *pBsc = 8;
Aui -= *pBsc;
iequals(__LINE__, Aui, (UINT)15);
Aui = 23;
iequals(__LINE__, Aui -= *pBsc, (UINT)15);
*pBsc = 8; Aui = 23;
*pBsc -= Aui;
iequals(__LINE__, *pBsc, (SCHAR)-15);
*pBsc = 8;
iequals(__LINE__, *pBsc -= Aui, (SCHAR)-15);
#endif
Aui = 23; *pBs = 9;
Aui -= *pBs;
iequals(__LINE__, Aui, (UINT)14);
Aui = 23;
iequals(__LINE__, Aui -= *pBs, (UINT)14);
*pBs = 9; Aui = 23;
*pBs -= Aui;
iequals(__LINE__, *pBs, (SHORT)(UINT)-14);
*pBs = 9;
iequals(__LINE__, *pBs -= Aui, (SHORT)(UINT)-14);
Aui = 23; *pBi = 10;
Aui -= *pBi;
iequals(__LINE__, Aui, (UINT)13);
Aui = 23;
iequals(__LINE__, Aui -= *pBi, (UINT)13);
*pBi = 10; Aui = 23;
*pBi -= Aui;
iequals(__LINE__, *pBi, (INT)(UINT)-13);
*pBi = 10;
iequals(__LINE__, *pBi -= Aui, (INT)(UINT)-13);
Aui = 23; *pBuc = 21;
Aui -= *pBuc;
iequals(__LINE__, Aui, (UINT)2);
Aui = 23;
iequals(__LINE__, Aui -= *pBuc, (UINT)2);
*pBuc = 21; Aui = 23;
*pBuc -= Aui;
iequals(__LINE__, *pBuc, (UCHAR)-2);
*pBuc = 21;
iequals(__LINE__, *pBuc -= Aui, (UCHAR)-2);
Aui = 23; *pBus = 22;
Aui -= *pBus;
iequals(__LINE__, Aui, (UINT)1);
Aui = 23;
iequals(__LINE__, Aui -= *pBus, (UINT)1);
*pBus = 22; Aui = 23;
*pBus -= Aui;
iequals(__LINE__, *pBus, (USHORT)-1);
*pBus = 22;
iequals(__LINE__, *pBus -= Aui, (USHORT)-1);
Aui = 23; *pBui = 23;
Aui -= *pBui;
iequals(__LINE__, Aui, (UINT)0);
Aui = 23;
iequals(__LINE__, Aui -= *pBui, (UINT)0);
*pBui = 23; Aui = 23;
*pBui -= Aui;
iequals(__LINE__, *pBui, (UINT)0);
*pBui = 23;
iequals(__LINE__, *pBui -= Aui, (UINT)0);
Aui = 23; *pBl = 14;
Aui -= *pBl;
iequals(__LINE__, Aui, (UINT)9);
Aui = 23;
iequals(__LINE__, Aui -= *pBl, (UINT)9);
*pBl = 14; Aui = 23;
*pBl -= Aui;
lequals(__LINE__, *pBl, (LONG)-9L);
*pBl = 14;
lequals(__LINE__, *pBl -= Aui, (LONG)-9L);
Aui = 23; *pBul = 25;
Aui -= *pBul;
iequals(__LINE__, Aui, (UINT)-2);
Aui = 23;
iequals(__LINE__, Aui -= *pBul, (UINT)-2);
*pBul = 25; Aui = 23;
*pBul -= Aui;
lequals(__LINE__, *pBul, (ULONG)2L);
*pBul = 25;
lequals(__LINE__, *pBul -= Aui, (ULONG)2L);
Aui = 23; *pBf = 16;
Aui -= *pBf;
iequals(__LINE__, Aui, (UINT)7);
Aui = 23;
iequals(__LINE__, Aui -= *pBf, (UINT)7);
*pBf = 16; Aui = 23;
*pBf -= Aui;
dequals(__LINE__, *pBf, (FLOAT)-7.);
*pBf = 16;
dequals(__LINE__, *pBf -= Aui, (FLOAT)-7.);
Aui = 23; *pBd = 17;
Aui -= *pBd;
iequals(__LINE__, Aui, (UINT)6);
Aui = 23;
iequals(__LINE__, Aui -= *pBd, (UINT)6);
*pBd = 17; Aui = 23;
*pBd -= Aui;
dequals(__LINE__, *pBd, (DOUBLE)-6.);
*pBd = 17;
dequals(__LINE__, *pBd -= Aui, (DOUBLE)-6.);
#if ANSI
Aui = 23; *pBld = 18;
Aui -= *pBld;
iequals(__LINE__, Aui, (UINT)5);
Aui = 23;
iequals(__LINE__, Aui -= *pBld, (UINT)5);
*pBld = 18; Aui = 23;
*pBld -= Aui;
ldequals(__LINE__, *pBld, (LDOUBLE)-5.L);
*pBld = 18;
ldequals(__LINE__, *pBld -= Aui, (LDOUBLE)-5.L);
#endif
Al = 14; *pBc = 7;
Al -= *pBc;
lequals(__LINE__, Al, (LONG)7L);
Al = 14;
lequals(__LINE__, Al -= *pBc, (LONG)7L);
*pBc = 7; Al = 14;
*pBc -= Al;
iequals(__LINE__, *pBc, (CHAR)-7);
*pBc = 7;
iequals(__LINE__, *pBc -= Al, (CHAR)-7);
#if ANSI
Al = 14; *pBsc = 8;
Al -= *pBsc;
lequals(__LINE__, Al, (LONG)6L);
Al = 14;
lequals(__LINE__, Al -= *pBsc, (LONG)6L);
*pBsc = 8; Al = 14;
*pBsc -= Al;
iequals(__LINE__, *pBsc, (SCHAR)-6);
*pBsc = 8;
iequals(__LINE__, *pBsc -= Al, (SCHAR)-6);
#endif
Al = 14; *pBs = 9;
Al -= *pBs;
lequals(__LINE__, Al, (LONG)5L);
Al = 14;
lequals(__LINE__, Al -= *pBs, (LONG)5L);
*pBs = 9; Al = 14;
*pBs -= Al;
iequals(__LINE__, *pBs, (SHORT)-5);
*pBs = 9;
iequals(__LINE__, *pBs -= Al, (SHORT)-5);
Al = 14; *pBi = 10;
Al -= *pBi;
lequals(__LINE__, Al, (LONG)4L);
Al = 14;
lequals(__LINE__, Al -= *pBi, (LONG)4L);
*pBi = 10; Al = 14;
*pBi -= Al;
iequals(__LINE__, *pBi, (INT)-4);
*pBi = 10;
iequals(__LINE__, *pBi -= Al, (INT)-4);
Al = 14; *pBuc = 21;
Al -= *pBuc;
lequals(__LINE__, Al, (LONG)-7L);
Al = 14;
lequals(__LINE__, Al -= *pBuc, (LONG)-7L);
*pBuc = 21; Al = 14;
*pBuc -= Al;
iequals(__LINE__, *pBuc, (UCHAR)7);
*pBuc = 21;
iequals(__LINE__, *pBuc -= Al, (UCHAR)7);
Al = 14; *pBus = 22;
Al -= *pBus;
lequals(__LINE__, Al, (LONG)-8L);
Al = 14;
lequals(__LINE__, Al -= *pBus, (LONG)-8L);
*pBus = 22; Al = 14;
*pBus -= Al;
iequals(__LINE__, *pBus, (USHORT)8);
*pBus = 22;
iequals(__LINE__, *pBus -= Al, (USHORT)8);
Al = 14; *pBui = 23;
Al -= *pBui;
lequals(__LINE__, Al, (LONG)-9L);
Al = 14;
lequals(__LINE__, Al -= *pBui, (LONG)-9L);
*pBui = 23; Al = 14;
*pBui -= Al;
iequals(__LINE__, *pBui, (UINT)9);
*pBui = 23;
iequals(__LINE__, *pBui -= Al, (UINT)9);
Al = 14; *pBl = 14;
Al -= *pBl;
lequals(__LINE__, Al, (LONG)0L);
Al = 14;
lequals(__LINE__, Al -= *pBl, (LONG)0L);
*pBl = 14; Al = 14;
*pBl -= Al;
lequals(__LINE__, *pBl, (LONG)0L);
*pBl = 14;
lequals(__LINE__, *pBl -= Al, (LONG)0L);
Al = 14; *pBul = 25;
Al -= *pBul;
lequals(__LINE__, Al, (LONG)(ULONG)-11L);
Al = 14;
lequals(__LINE__, Al -= *pBul, (LONG)(ULONG)-11L);
*pBul = 25; Al = 14;
*pBul -= Al;
lequals(__LINE__, *pBul, (ULONG)11L);
*pBul = 25;
lequals(__LINE__, *pBul -= Al, (ULONG)11L);
Al = 14; *pBf = 16;
Al -= *pBf;
lequals(__LINE__, Al, (LONG)-2L);
Al = 14;
lequals(__LINE__, Al -= *pBf, (LONG)-2L);
*pBf = 16; Al = 14;
*pBf -= Al;
dequals(__LINE__, *pBf, (FLOAT)2.);
*pBf = 16;
dequals(__LINE__, *pBf -= Al, (FLOAT)2.);
Al = 14; *pBd = 17;
Al -= *pBd;
lequals(__LINE__, Al, (LONG)-3L);
Al = 14;
lequals(__LINE__, Al -= *pBd, (LONG)-3L);
*pBd = 17; Al = 14;
*pBd -= Al;
dequals(__LINE__, *pBd, (DOUBLE)3.);
*pBd = 17;
dequals(__LINE__, *pBd -= Al, (DOUBLE)3.);
#if ANSI
Al = 14; *pBld = 18;
Al -= *pBld;
lequals(__LINE__, Al, (LONG)-4L);
Al = 14;
lequals(__LINE__, Al -= *pBld, (LONG)-4L);
*pBld = 18; Al = 14;
*pBld -= Al;
ldequals(__LINE__, *pBld, (LDOUBLE)4.L);
*pBld = 18;
ldequals(__LINE__, *pBld -= Al, (LDOUBLE)4.L);
#endif
Aul = 25; *pBc = 7;
Aul -= *pBc;
lequals(__LINE__, Aul, (ULONG)18L);
Aul = 25;
lequals(__LINE__, Aul -= *pBc, (ULONG)18L);
*pBc = 7; Aul = 25;
*pBc -= Aul;
iequals(__LINE__, *pBc, (CHAR)-18);
*pBc = 7;
iequals(__LINE__, *pBc -= Aul, (CHAR)-18);
#if ANSI
Aul = 25; *pBsc = 8;
Aul -= *pBsc;
lequals(__LINE__, Aul, (ULONG)17L);
Aul = 25;
lequals(__LINE__, Aul -= *pBsc, (ULONG)17L);
*pBsc = 8; Aul = 25;
*pBsc -= Aul;
iequals(__LINE__, *pBsc, (SCHAR)-17);
*pBsc = 8;
iequals(__LINE__, *pBsc -= Aul, (SCHAR)-17);
#endif
Aul = 25; *pBs = 9;
Aul -= *pBs;
lequals(__LINE__, Aul, (ULONG)16L);
Aul = 25;
lequals(__LINE__, Aul -= *pBs, (ULONG)16L);
*pBs = 9; Aul = 25;
*pBs -= Aul;
iequals(__LINE__, *pBs, (SHORT)(ULONG)-16);
*pBs = 9;
iequals(__LINE__, *pBs -= Aul, (SHORT)(ULONG)-16);
Aul = 25; *pBi = 10;
Aul -= *pBi;
lequals(__LINE__, Aul, (ULONG)15L);
Aul = 25;
lequals(__LINE__, Aul -= *pBi, (ULONG)15L);
*pBi = 10; Aul = 25;
*pBi -= Aul;
iequals(__LINE__, *pBi, (INT)(ULONG)-15);
*pBi = 10;
iequals(__LINE__, *pBi -= Aul, (INT)(ULONG)-15);
Aul = 25; *pBuc = 21;
Aul -= *pBuc;
lequals(__LINE__, Aul, (ULONG)4L);
Aul = 25;
lequals(__LINE__, Aul -= *pBuc, (ULONG)4L);
*pBuc = 21; Aul = 25;
*pBuc -= Aul;
iequals(__LINE__, *pBuc, (UCHAR)-4);
*pBuc = 21;
iequals(__LINE__, *pBuc -= Aul, (UCHAR)-4);
Aul = 25; *pBus = 22;
Aul -= *pBus;
lequals(__LINE__, Aul, (ULONG)3L);
Aul = 25;
lequals(__LINE__, Aul -= *pBus, (ULONG)3L);
*pBus = 22; Aul = 25;
*pBus -= Aul;
iequals(__LINE__, *pBus, (USHORT)-3);
*pBus = 22;
iequals(__LINE__, *pBus -= Aul, (USHORT)-3);
Aul = 25; *pBui = 23;
Aul -= *pBui;
lequals(__LINE__, Aul, (ULONG)2L);
Aul = 25;
lequals(__LINE__, Aul -= *pBui, (ULONG)2L);
*pBui = 23; Aul = 25;
*pBui -= Aul;
iequals(__LINE__, *pBui, (UINT)-2);
*pBui = 23;
iequals(__LINE__, *pBui -= Aul, (UINT)-2);
Aul = 25; *pBl = 14;
Aul -= *pBl;
lequals(__LINE__, Aul, (ULONG)11L);
Aul = 25;
lequals(__LINE__, Aul -= *pBl, (ULONG)11L);
*pBl = 14; Aul = 25;
*pBl -= Aul;
lequals(__LINE__, *pBl, (LONG)(ULONG)-11L);
*pBl = 14;
lequals(__LINE__, *pBl -= Aul, (LONG)(ULONG)-11L);
Aul = 25; *pBul = 25;
Aul -= *pBul;
lequals(__LINE__, Aul, (ULONG)0L);
Aul = 25;
lequals(__LINE__, Aul -= *pBul, (ULONG)0L);
*pBul = 25; Aul = 25;
*pBul -= Aul;
lequals(__LINE__, *pBul, (ULONG)0L);
*pBul = 25;
lequals(__LINE__, *pBul -= Aul, (ULONG)0L);
Aul = 25; *pBf = 16;
Aul -= *pBf;
lequals(__LINE__, Aul, (ULONG)9L);
Aul = 25;
lequals(__LINE__, Aul -= *pBf, (ULONG)9L);
*pBf = 16; Aul = 25;
*pBf -= Aul;
dequals(__LINE__, *pBf, (FLOAT)-9.);
*pBf = 16;
dequals(__LINE__, *pBf -= Aul, (FLOAT)-9.);
Aul = 25; *pBd = 17;
Aul -= *pBd;
lequals(__LINE__, Aul, (ULONG)8L);
Aul = 25;
lequals(__LINE__, Aul -= *pBd, (ULONG)8L);
*pBd = 17; Aul = 25;
*pBd -= Aul;
dequals(__LINE__, *pBd, (DOUBLE)-8.);
*pBd = 17;
dequals(__LINE__, *pBd -= Aul, (DOUBLE)-8.);
#if ANSI
Aul = 25; *pBld = 18;
Aul -= *pBld;
lequals(__LINE__, Aul, (ULONG)7L);
Aul = 25;
lequals(__LINE__, Aul -= *pBld, (ULONG)7L);
*pBld = 18; Aul = 25;
*pBld -= Aul;
ldequals(__LINE__, *pBld, (LDOUBLE)-7.L);
*pBld = 18;
ldequals(__LINE__, *pBld -= Aul, (LDOUBLE)-7.L);
#endif
Af = 16; *pBc = 7;
Af -= *pBc;
dequals(__LINE__, Af, (FLOAT)9.);
Af = 16;
dequals(__LINE__, Af -= *pBc, (FLOAT)9.);
*pBc = 7; Af = 16;
/* *pBc -= Af; DELETED: NON-PORTABLE */
/* iequals(__LINE__, *pBc, (CHAR)-9); DELETED: NON-PORTABLE */
*pBc = 7;
/* iequals(__LINE__, *pBc -= Af, (CHAR)-9); DELETED: NON-PORTABLE */
}}
return report(Filename);
}
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.