|
|
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 = 11;
auto USHORT Aus = 12;
auto UINT Aui = 13;
auto LONG Al = 14;
auto ULONG Aul = 15;
auto FLOAT Af = 16;
auto DOUBLE Ad = 17;
#if ANSI
auto LDOUBLE Ald = 18;
#endif
{
static int x[12] = {0,1,2,3,4,5,6,7,8,9,10,11};
auto CHAR Pc[12];
int x_0 = 0;
#if ANSI
auto SCHAR Psc[12];
int x_1 = 1;
#endif
auto SHORT Ps[12];
int x_2 = 2;
auto INT Pi[12];
int x_3 = 3;
auto UCHAR Puc[12];
int x_4 = 4;
auto USHORT Pus[12];
int x_5 = 5;
auto UINT Pui[12];
int x_6 = 6;
auto LONG Pl[12];
int x_7 = 7;
auto ULONG Pul[12];
int x_8 = 8;
auto FLOAT Pf[12];
int x_9 = 9;
auto DOUBLE Pd[12];
int x_10 = 10;
#if ANSI
auto LDOUBLE Pld[12];
int x_11 = 11;
#endif
Pc[x[x_0]] = 7;
#if ANSI
Psc[x[x_1]] = 8;
#endif
Ps[x[x_2]] = 9;
Pi[x[x_3]] = 10;
Puc[x[x_4]] = 11;
Pus[x[x_5]] = 12;
Pui[x[x_6]] = 13;
Pl[x[x_7]] = 14;
Pul[x[x_8]] = 15;
Pf[x[x_9]] = 16;
Pd[x[x_10]] = 17;
#if ANSI
Pld[x[x_11]] = 18;
#endif
{
int true = 1, false = 0;
Filename = " auto scalar auto arrarr diveq2 ";
As = 26;
Pui[x[x_6]] = 13;As /= Pui[x[x_6]];
iequals(__LINE__, As, (SHORT)2);
As = 26;
iequals(__LINE__, As /= Pui[x[x_6]], (SHORT)2);
Pui[x[x_6]] = 18;
As = 9;Pui[x[x_6]] /= As;
iequals(__LINE__, Pui[x[x_6]], (UINT)2);
Pui[x[x_6]] = 18;
iequals(__LINE__, Pui[x[x_6]] /= As, (UINT)2);
As = 28;
Pl[x[x_7]] = 14;As /= Pl[x[x_7]];
iequals(__LINE__, As, (SHORT)2);
As = 28;
iequals(__LINE__, As /= Pl[x[x_7]], (SHORT)2);
Pl[x[x_7]] = 18;
As = 9;Pl[x[x_7]] /= As;
lequals(__LINE__, Pl[x[x_7]], (LONG)2L);
Pl[x[x_7]] = 18;
lequals(__LINE__, Pl[x[x_7]] /= As, (LONG)2L);
As = 30;
Pul[x[x_8]] = 15;As /= Pul[x[x_8]];
iequals(__LINE__, As, (SHORT)2);
As = 30;
iequals(__LINE__, As /= Pul[x[x_8]], (SHORT)2);
Pul[x[x_8]] = 18;
As = 9;Pul[x[x_8]] /= As;
lequals(__LINE__, Pul[x[x_8]], (ULONG)2L);
Pul[x[x_8]] = 18;
lequals(__LINE__, Pul[x[x_8]] /= As, (ULONG)2L);
As = 32;
Pf[x[x_9]] = 16;As /= Pf[x[x_9]];
iequals(__LINE__, As, (SHORT)2);
As = 32;
iequals(__LINE__, As /= Pf[x[x_9]], (SHORT)2);
Pf[x[x_9]] = 18;
As = 9;Pf[x[x_9]] /= As;
dequals(__LINE__, Pf[x[x_9]], (FLOAT)2.);
Pf[x[x_9]] = 18;
dequals(__LINE__, Pf[x[x_9]] /= As, (FLOAT)2.);
As = 34;
Pd[x[x_10]] = 17;As /= Pd[x[x_10]];
iequals(__LINE__, As, (SHORT)2);
As = 34;
iequals(__LINE__, As /= Pd[x[x_10]], (SHORT)2);
Pd[x[x_10]] = 18;
As = 9;Pd[x[x_10]] /= As;
dequals(__LINE__, Pd[x[x_10]], (DOUBLE)2.);
Pd[x[x_10]] = 18;
dequals(__LINE__, Pd[x[x_10]] /= As, (DOUBLE)2.);
#if ANSI
As = 36;
Pld[x[x_11]] = 18;As /= Pld[x[x_11]];
iequals(__LINE__, As, (SHORT)2);
As = 36;
iequals(__LINE__, As /= Pld[x[x_11]], (SHORT)2);
Pld[x[x_11]] = 18;
As = 9;Pld[x[x_11]] /= As;
ldequals(__LINE__, Pld[x[x_11]], (LDOUBLE)2.L);
Pld[x[x_11]] = 18;
ldequals(__LINE__, Pld[x[x_11]] /= As, (LDOUBLE)2.L);
#endif
Ai = 14;
Pc[x[x_0]] = 7;Ai /= Pc[x[x_0]];
iequals(__LINE__, Ai, (INT)2);
Ai = 14;
iequals(__LINE__, Ai /= Pc[x[x_0]], (INT)2);
Pc[x[x_0]] = 20;
Ai = 10;Pc[x[x_0]] /= Ai;
iequals(__LINE__, Pc[x[x_0]], (CHAR)2);
Pc[x[x_0]] = 20;
iequals(__LINE__, Pc[x[x_0]] /= Ai, (CHAR)2);
#if ANSI
Ai = 16;
Psc[x[x_1]] = 8;Ai /= Psc[x[x_1]];
iequals(__LINE__, Ai, (INT)2);
Ai = 16;
iequals(__LINE__, Ai /= Psc[x[x_1]], (INT)2);
Psc[x[x_1]] = 20;
Ai = 10;Psc[x[x_1]] /= Ai;
iequals(__LINE__, Psc[x[x_1]], (SCHAR)2);
Psc[x[x_1]] = 20;
iequals(__LINE__, Psc[x[x_1]] /= Ai, (SCHAR)2);
#endif
Ai = 18;
Ps[x[x_2]] = 9;Ai /= Ps[x[x_2]];
iequals(__LINE__, Ai, (INT)2);
Ai = 18;
iequals(__LINE__, Ai /= Ps[x[x_2]], (INT)2);
Ps[x[x_2]] = 20;
Ai = 10;Ps[x[x_2]] /= Ai;
iequals(__LINE__, Ps[x[x_2]], (SHORT)2);
Ps[x[x_2]] = 20;
iequals(__LINE__, Ps[x[x_2]] /= Ai, (SHORT)2);
Ai = 20;
Pi[x[x_3]] = 10;Ai /= Pi[x[x_3]];
iequals(__LINE__, Ai, (INT)2);
Ai = 20;
iequals(__LINE__, Ai /= Pi[x[x_3]], (INT)2);
Pi[x[x_3]] = 20;
Ai = 10;Pi[x[x_3]] /= Ai;
iequals(__LINE__, Pi[x[x_3]], (INT)2);
Pi[x[x_3]] = 20;
iequals(__LINE__, Pi[x[x_3]] /= Ai, (INT)2);
Ai = 22;
Puc[x[x_4]] = 11;Ai /= Puc[x[x_4]];
iequals(__LINE__, Ai, (INT)2);
Ai = 22;
iequals(__LINE__, Ai /= Puc[x[x_4]], (INT)2);
Puc[x[x_4]] = 20;
Ai = 10;Puc[x[x_4]] /= Ai;
iequals(__LINE__, Puc[x[x_4]], (UCHAR)2);
Puc[x[x_4]] = 20;
iequals(__LINE__, Puc[x[x_4]] /= Ai, (UCHAR)2);
Ai = 24;
Pus[x[x_5]] = 12;Ai /= Pus[x[x_5]];
iequals(__LINE__, Ai, (INT)2);
Ai = 24;
iequals(__LINE__, Ai /= Pus[x[x_5]], (INT)2);
Pus[x[x_5]] = 20;
Ai = 10;Pus[x[x_5]] /= Ai;
iequals(__LINE__, Pus[x[x_5]], (USHORT)2);
Pus[x[x_5]] = 20;
iequals(__LINE__, Pus[x[x_5]] /= Ai, (USHORT)2);
Ai = 26;
Pui[x[x_6]] = 13;Ai /= Pui[x[x_6]];
iequals(__LINE__, Ai, (INT)2);
Ai = 26;
iequals(__LINE__, Ai /= Pui[x[x_6]], (INT)2);
Pui[x[x_6]] = 20;
Ai = 10;Pui[x[x_6]] /= Ai;
iequals(__LINE__, Pui[x[x_6]], (UINT)2);
Pui[x[x_6]] = 20;
iequals(__LINE__, Pui[x[x_6]] /= Ai, (UINT)2);
Ai = 28;
Pl[x[x_7]] = 14;Ai /= Pl[x[x_7]];
iequals(__LINE__, Ai, (INT)2);
Ai = 28;
iequals(__LINE__, Ai /= Pl[x[x_7]], (INT)2);
Pl[x[x_7]] = 20;
Ai = 10;Pl[x[x_7]] /= Ai;
lequals(__LINE__, Pl[x[x_7]], (LONG)2L);
Pl[x[x_7]] = 20;
lequals(__LINE__, Pl[x[x_7]] /= Ai, (LONG)2L);
Ai = 30;
Pul[x[x_8]] = 15;Ai /= Pul[x[x_8]];
iequals(__LINE__, Ai, (INT)2);
Ai = 30;
iequals(__LINE__, Ai /= Pul[x[x_8]], (INT)2);
Pul[x[x_8]] = 20;
Ai = 10;Pul[x[x_8]] /= Ai;
lequals(__LINE__, Pul[x[x_8]], (ULONG)2L);
Pul[x[x_8]] = 20;
lequals(__LINE__, Pul[x[x_8]] /= Ai, (ULONG)2L);
Ai = 32;
Pf[x[x_9]] = 16;Ai /= Pf[x[x_9]];
iequals(__LINE__, Ai, (INT)2);
Ai = 32;
iequals(__LINE__, Ai /= Pf[x[x_9]], (INT)2);
Pf[x[x_9]] = 20;
Ai = 10;Pf[x[x_9]] /= Ai;
dequals(__LINE__, Pf[x[x_9]], (FLOAT)2.);
Pf[x[x_9]] = 20;
dequals(__LINE__, Pf[x[x_9]] /= Ai, (FLOAT)2.);
Ai = 34;
Pd[x[x_10]] = 17;Ai /= Pd[x[x_10]];
iequals(__LINE__, Ai, (INT)2);
Ai = 34;
iequals(__LINE__, Ai /= Pd[x[x_10]], (INT)2);
Pd[x[x_10]] = 20;
Ai = 10;Pd[x[x_10]] /= Ai;
dequals(__LINE__, Pd[x[x_10]], (DOUBLE)2.);
Pd[x[x_10]] = 20;
dequals(__LINE__, Pd[x[x_10]] /= Ai, (DOUBLE)2.);
#if ANSI
Ai = 36;
Pld[x[x_11]] = 18;Ai /= Pld[x[x_11]];
iequals(__LINE__, Ai, (INT)2);
Ai = 36;
iequals(__LINE__, Ai /= Pld[x[x_11]], (INT)2);
Pld[x[x_11]] = 20;
Ai = 10;Pld[x[x_11]] /= Ai;
ldequals(__LINE__, Pld[x[x_11]], (LDOUBLE)2.L);
Pld[x[x_11]] = 20;
ldequals(__LINE__, Pld[x[x_11]] /= Ai, (LDOUBLE)2.L);
#endif
Auc = 14;
Pc[x[x_0]] = 7;Auc /= Pc[x[x_0]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 14;
iequals(__LINE__, Auc /= Pc[x[x_0]], (UCHAR)2);
Pc[x[x_0]] = 22;
Auc = 11;Pc[x[x_0]] /= Auc;
iequals(__LINE__, Pc[x[x_0]], (CHAR)2);
Pc[x[x_0]] = 22;
iequals(__LINE__, Pc[x[x_0]] /= Auc, (CHAR)2);
#if ANSI
Auc = 16;
Psc[x[x_1]] = 8;Auc /= Psc[x[x_1]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 16;
iequals(__LINE__, Auc /= Psc[x[x_1]], (UCHAR)2);
Psc[x[x_1]] = 22;
Auc = 11;Psc[x[x_1]] /= Auc;
iequals(__LINE__, Psc[x[x_1]], (SCHAR)2);
Psc[x[x_1]] = 22;
iequals(__LINE__, Psc[x[x_1]] /= Auc, (SCHAR)2);
#endif
Auc = 18;
Ps[x[x_2]] = 9;Auc /= Ps[x[x_2]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 18;
iequals(__LINE__, Auc /= Ps[x[x_2]], (UCHAR)2);
Ps[x[x_2]] = 22;
Auc = 11;Ps[x[x_2]] /= Auc;
iequals(__LINE__, Ps[x[x_2]], (SHORT)2);
Ps[x[x_2]] = 22;
iequals(__LINE__, Ps[x[x_2]] /= Auc, (SHORT)2);
Auc = 20;
Pi[x[x_3]] = 10;Auc /= Pi[x[x_3]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 20;
iequals(__LINE__, Auc /= Pi[x[x_3]], (UCHAR)2);
Pi[x[x_3]] = 22;
Auc = 11;Pi[x[x_3]] /= Auc;
iequals(__LINE__, Pi[x[x_3]], (INT)2);
Pi[x[x_3]] = 22;
iequals(__LINE__, Pi[x[x_3]] /= Auc, (INT)2);
Auc = 22;
Puc[x[x_4]] = 11;Auc /= Puc[x[x_4]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 22;
iequals(__LINE__, Auc /= Puc[x[x_4]], (UCHAR)2);
Puc[x[x_4]] = 22;
Auc = 11;Puc[x[x_4]] /= Auc;
iequals(__LINE__, Puc[x[x_4]], (UCHAR)2);
Puc[x[x_4]] = 22;
iequals(__LINE__, Puc[x[x_4]] /= Auc, (UCHAR)2);
Auc = 24;
Pus[x[x_5]] = 12;Auc /= Pus[x[x_5]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 24;
iequals(__LINE__, Auc /= Pus[x[x_5]], (UCHAR)2);
Pus[x[x_5]] = 22;
Auc = 11;Pus[x[x_5]] /= Auc;
iequals(__LINE__, Pus[x[x_5]], (USHORT)2);
Pus[x[x_5]] = 22;
iequals(__LINE__, Pus[x[x_5]] /= Auc, (USHORT)2);
Auc = 26;
Pui[x[x_6]] = 13;Auc /= Pui[x[x_6]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 26;
iequals(__LINE__, Auc /= Pui[x[x_6]], (UCHAR)2);
Pui[x[x_6]] = 22;
Auc = 11;Pui[x[x_6]] /= Auc;
iequals(__LINE__, Pui[x[x_6]], (UINT)2);
Pui[x[x_6]] = 22;
iequals(__LINE__, Pui[x[x_6]] /= Auc, (UINT)2);
Auc = 28;
Pl[x[x_7]] = 14;Auc /= Pl[x[x_7]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 28;
iequals(__LINE__, Auc /= Pl[x[x_7]], (UCHAR)2);
Pl[x[x_7]] = 22;
Auc = 11;Pl[x[x_7]] /= Auc;
lequals(__LINE__, Pl[x[x_7]], (LONG)2L);
Pl[x[x_7]] = 22;
lequals(__LINE__, Pl[x[x_7]] /= Auc, (LONG)2L);
Auc = 30;
Pul[x[x_8]] = 15;Auc /= Pul[x[x_8]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 30;
iequals(__LINE__, Auc /= Pul[x[x_8]], (UCHAR)2);
Pul[x[x_8]] = 22;
Auc = 11;Pul[x[x_8]] /= Auc;
lequals(__LINE__, Pul[x[x_8]], (ULONG)2L);
Pul[x[x_8]] = 22;
lequals(__LINE__, Pul[x[x_8]] /= Auc, (ULONG)2L);
Auc = 32;
Pf[x[x_9]] = 16;Auc /= Pf[x[x_9]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 32;
iequals(__LINE__, Auc /= Pf[x[x_9]], (UCHAR)2);
Pf[x[x_9]] = 22;
Auc = 11;Pf[x[x_9]] /= Auc;
dequals(__LINE__, Pf[x[x_9]], (FLOAT)2.);
Pf[x[x_9]] = 22;
dequals(__LINE__, Pf[x[x_9]] /= Auc, (FLOAT)2.);
Auc = 34;
Pd[x[x_10]] = 17;Auc /= Pd[x[x_10]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 34;
iequals(__LINE__, Auc /= Pd[x[x_10]], (UCHAR)2);
Pd[x[x_10]] = 22;
Auc = 11;Pd[x[x_10]] /= Auc;
dequals(__LINE__, Pd[x[x_10]], (DOUBLE)2.);
Pd[x[x_10]] = 22;
dequals(__LINE__, Pd[x[x_10]] /= Auc, (DOUBLE)2.);
#if ANSI
Auc = 36;
Pld[x[x_11]] = 18;Auc /= Pld[x[x_11]];
iequals(__LINE__, Auc, (UCHAR)2);
Auc = 36;
iequals(__LINE__, Auc /= Pld[x[x_11]], (UCHAR)2);
Pld[x[x_11]] = 22;
Auc = 11;Pld[x[x_11]] /= Auc;
ldequals(__LINE__, Pld[x[x_11]], (LDOUBLE)2.L);
Pld[x[x_11]] = 22;
ldequals(__LINE__, Pld[x[x_11]] /= Auc, (LDOUBLE)2.L);
#endif
Aus = 14;
Pc[x[x_0]] = 7;Aus /= Pc[x[x_0]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 14;
iequals(__LINE__, Aus /= Pc[x[x_0]], (USHORT)2);
Pc[x[x_0]] = 24;
Aus = 12;Pc[x[x_0]] /= Aus;
iequals(__LINE__, Pc[x[x_0]], (CHAR)2);
Pc[x[x_0]] = 24;
iequals(__LINE__, Pc[x[x_0]] /= Aus, (CHAR)2);
#if ANSI
Aus = 16;
Psc[x[x_1]] = 8;Aus /= Psc[x[x_1]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 16;
iequals(__LINE__, Aus /= Psc[x[x_1]], (USHORT)2);
Psc[x[x_1]] = 24;
Aus = 12;Psc[x[x_1]] /= Aus;
iequals(__LINE__, Psc[x[x_1]], (SCHAR)2);
Psc[x[x_1]] = 24;
iequals(__LINE__, Psc[x[x_1]] /= Aus, (SCHAR)2);
#endif
Aus = 18;
Ps[x[x_2]] = 9;Aus /= Ps[x[x_2]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 18;
iequals(__LINE__, Aus /= Ps[x[x_2]], (USHORT)2);
Ps[x[x_2]] = 24;
Aus = 12;Ps[x[x_2]] /= Aus;
iequals(__LINE__, Ps[x[x_2]], (SHORT)2);
Ps[x[x_2]] = 24;
iequals(__LINE__, Ps[x[x_2]] /= Aus, (SHORT)2);
Aus = 20;
Pi[x[x_3]] = 10;Aus /= Pi[x[x_3]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 20;
iequals(__LINE__, Aus /= Pi[x[x_3]], (USHORT)2);
Pi[x[x_3]] = 24;
Aus = 12;Pi[x[x_3]] /= Aus;
iequals(__LINE__, Pi[x[x_3]], (INT)2);
Pi[x[x_3]] = 24;
iequals(__LINE__, Pi[x[x_3]] /= Aus, (INT)2);
Aus = 22;
Puc[x[x_4]] = 11;Aus /= Puc[x[x_4]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 22;
iequals(__LINE__, Aus /= Puc[x[x_4]], (USHORT)2);
Puc[x[x_4]] = 24;
Aus = 12;Puc[x[x_4]] /= Aus;
iequals(__LINE__, Puc[x[x_4]], (UCHAR)2);
Puc[x[x_4]] = 24;
iequals(__LINE__, Puc[x[x_4]] /= Aus, (UCHAR)2);
Aus = 24;
Pus[x[x_5]] = 12;Aus /= Pus[x[x_5]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 24;
iequals(__LINE__, Aus /= Pus[x[x_5]], (USHORT)2);
Pus[x[x_5]] = 24;
Aus = 12;Pus[x[x_5]] /= Aus;
iequals(__LINE__, Pus[x[x_5]], (USHORT)2);
Pus[x[x_5]] = 24;
iequals(__LINE__, Pus[x[x_5]] /= Aus, (USHORT)2);
Aus = 26;
Pui[x[x_6]] = 13;Aus /= Pui[x[x_6]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 26;
iequals(__LINE__, Aus /= Pui[x[x_6]], (USHORT)2);
Pui[x[x_6]] = 24;
Aus = 12;Pui[x[x_6]] /= Aus;
iequals(__LINE__, Pui[x[x_6]], (UINT)2);
Pui[x[x_6]] = 24;
iequals(__LINE__, Pui[x[x_6]] /= Aus, (UINT)2);
Aus = 28;
Pl[x[x_7]] = 14;Aus /= Pl[x[x_7]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 28;
iequals(__LINE__, Aus /= Pl[x[x_7]], (USHORT)2);
Pl[x[x_7]] = 24;
Aus = 12;Pl[x[x_7]] /= Aus;
lequals(__LINE__, Pl[x[x_7]], (LONG)2L);
Pl[x[x_7]] = 24;
lequals(__LINE__, Pl[x[x_7]] /= Aus, (LONG)2L);
Aus = 30;
Pul[x[x_8]] = 15;Aus /= Pul[x[x_8]];
iequals(__LINE__, Aus, (USHORT)2);
Aus = 30;
iequals(__LINE__, Aus /= Pul[x[x_8]], (USHORT)2);
Pul[x[x_8]] = 24;
Aus = 12;Pul[x[x_8]] /= Aus;
lequals(__LINE__, Pul[x[x_8]], (ULONG)2L);
Pul[x[x_8]] = 24;
lequals(__LINE__, Pul[x[x_8]] /= Aus, (ULONG)2L);
}}
return report(Filename);
}
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.