File:  [Research Unix] / researchv10no / cmd / lcc / ph / mineq3.c
Revision 1.1.1.1 (vendor branch): download - view: text, annotated - select for diffs
Tue Apr 24 17:21:35 2018 UTC (8 years, 1 month ago) by root
Branches: belllabs, MAIN
CVS tags: researchv10, HEAD
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);
	}

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.