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