![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to or.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 or.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 Ic[12];
16: int x_0 = 0;
17: #if ANSI
18: auto SCHAR Isc[12];
19: int x_1 = 1;
20: #endif
21: auto SHORT Is[12];
22: int x_2 = 2;
23: auto INT Ii[12];
24: int x_3 = 3;
25: auto UCHAR Iuc[12];
26: int x_4 = 4;
27: auto USHORT Ius[12];
28: int x_5 = 5;
29: auto UINT Iui[12];
30: int x_6 = 6;
31: auto LONG Il[12];
32: int x_7 = 7;
33: auto ULONG Iul[12];
34: int x_8 = 8;
35: auto FLOAT If[12];
36: int x_9 = 9;
37: auto DOUBLE Id[12];
38: int x_10 = 10;
39: #if ANSI
40: auto LDOUBLE Ild[12];
41: int x_11 = 11;
42: #endif
43: Ic[x_0] = 7;
44: #if ANSI
45: Isc[x_1] = 8;
46: #endif
47: Is[x_2] = 9;
48: Ii[x_3] = 10;
49: Iuc[x_4] = 11;
50: Ius[x_5] = 12;
51: Iui[x_6] = 13;
52: Il[x_7] = 14;
53: Iul[x_8] = 15;
54: If[x_9] = 16;
55: Id[x_10] = 17;
56: #if ANSI
57: Ild[x_11] = 18;
58: #endif
59: {
60: static int x[12] = {0,1,2,3,4,5,6,7,8,9,10,11};
61: auto CHAR Pc[12];
62: int x_0 = 0;
63: #if ANSI
64: auto SCHAR Psc[12];
65: int x_1 = 1;
66: #endif
67: auto SHORT Ps[12];
68: int x_2 = 2;
69: auto INT Pi[12];
70: int x_3 = 3;
71: auto UCHAR Puc[12];
72: int x_4 = 4;
73: auto USHORT Pus[12];
74: int x_5 = 5;
75: auto UINT Pui[12];
76: int x_6 = 6;
77: auto LONG Pl[12];
78: int x_7 = 7;
79: auto ULONG Pul[12];
80: int x_8 = 8;
81: auto FLOAT Pf[12];
82: int x_9 = 9;
83: auto DOUBLE Pd[12];
84: int x_10 = 10;
85: #if ANSI
86: auto LDOUBLE Pld[12];
87: int x_11 = 11;
88: #endif
89: Pc[x[x_0]] = 7;
90: #if ANSI
91: Psc[x[x_1]] = 8;
92: #endif
93: Ps[x[x_2]] = 9;
94: Pi[x[x_3]] = 10;
95: Puc[x[x_4]] = 11;
96: Pus[x[x_5]] = 12;
97: Pui[x[x_6]] = 13;
98: Pl[x[x_7]] = 14;
99: Pul[x[x_8]] = 15;
100: Pf[x[x_9]] = 16;
101: Pd[x[x_10]] = 17;
102: #if ANSI
103: Pld[x[x_11]] = 18;
104: #endif
105: {
106: int true = 1, false = 0;
107: Filename = " auto array1 auto arrarr or ";
108: iequals(__LINE__, Ic[x_0] | Pc[x[x_0]], 7);
109: iequals(__LINE__, Pc[x[x_0]] | Ic[x_0], 7);
110: #if ANSI
111: iequals(__LINE__, Ic[x_0] | Psc[x[x_1]], 15);
112: iequals(__LINE__, Psc[x[x_1]] | Ic[x_0], 15);
113: #endif
114: iequals(__LINE__, Ic[x_0] | Ps[x[x_2]], 15);
115: iequals(__LINE__, Ps[x[x_2]] | Ic[x_0], 15);
116: iequals(__LINE__, Ic[x_0] | Pi[x[x_3]], 15);
117: iequals(__LINE__, Pi[x[x_3]] | Ic[x_0], 15);
118: iequals(__LINE__, Ic[x_0] | Puc[x[x_4]], 15);
119: iequals(__LINE__, Puc[x[x_4]] | Ic[x_0], 15);
120: iequals(__LINE__, Ic[x_0] | Pus[x[x_5]], 15);
121: iequals(__LINE__, Pus[x[x_5]] | Ic[x_0], 15);
122: iequals(__LINE__, Ic[x_0] | Pui[x[x_6]], 15);
123: iequals(__LINE__, Pui[x[x_6]] | Ic[x_0], 15);
124: lequals(__LINE__, Ic[x_0] | Pl[x[x_7]], 15L);
125: lequals(__LINE__, Pl[x[x_7]] | Ic[x_0], 15L);
126: lequals(__LINE__, Ic[x_0] | Pul[x[x_8]], 15L);
127: lequals(__LINE__, Pul[x[x_8]] | Ic[x_0], 15L);
128: #if ANSI
129: iequals(__LINE__, Isc[x_1] | Pc[x[x_0]], 15);
130: iequals(__LINE__, Pc[x[x_0]] | Isc[x_1], 15);
131: #endif
132: #if ANSI
133: iequals(__LINE__, Isc[x_1] | Psc[x[x_1]], 8);
134: iequals(__LINE__, Psc[x[x_1]] | Isc[x_1], 8);
135: #endif
136: #if ANSI
137: iequals(__LINE__, Isc[x_1] | Ps[x[x_2]], 9);
138: iequals(__LINE__, Ps[x[x_2]] | Isc[x_1], 9);
139: #endif
140: #if ANSI
141: iequals(__LINE__, Isc[x_1] | Pi[x[x_3]], 10);
142: iequals(__LINE__, Pi[x[x_3]] | Isc[x_1], 10);
143: #endif
144: #if ANSI
145: iequals(__LINE__, Isc[x_1] | Puc[x[x_4]], 11);
146: iequals(__LINE__, Puc[x[x_4]] | Isc[x_1], 11);
147: #endif
148: #if ANSI
149: iequals(__LINE__, Isc[x_1] | Pus[x[x_5]], 12);
150: iequals(__LINE__, Pus[x[x_5]] | Isc[x_1], 12);
151: #endif
152: #if ANSI
153: iequals(__LINE__, Isc[x_1] | Pui[x[x_6]], 13);
154: iequals(__LINE__, Pui[x[x_6]] | Isc[x_1], 13);
155: #endif
156: #if ANSI
157: lequals(__LINE__, Isc[x_1] | Pl[x[x_7]], 14L);
158: lequals(__LINE__, Pl[x[x_7]] | Isc[x_1], 14L);
159: #endif
160: #if ANSI
161: lequals(__LINE__, Isc[x_1] | Pul[x[x_8]], 15L);
162: lequals(__LINE__, Pul[x[x_8]] | Isc[x_1], 15L);
163: #endif
164: iequals(__LINE__, Is[x_2] | Pc[x[x_0]], 15);
165: iequals(__LINE__, Pc[x[x_0]] | Is[x_2], 15);
166: #if ANSI
167: iequals(__LINE__, Is[x_2] | Psc[x[x_1]], 9);
168: iequals(__LINE__, Psc[x[x_1]] | Is[x_2], 9);
169: #endif
170: iequals(__LINE__, Is[x_2] | Ps[x[x_2]], 9);
171: iequals(__LINE__, Ps[x[x_2]] | Is[x_2], 9);
172: iequals(__LINE__, Is[x_2] | Pi[x[x_3]], 11);
173: iequals(__LINE__, Pi[x[x_3]] | Is[x_2], 11);
174: iequals(__LINE__, Is[x_2] | Puc[x[x_4]], 11);
175: iequals(__LINE__, Puc[x[x_4]] | Is[x_2], 11);
176: iequals(__LINE__, Is[x_2] | Pus[x[x_5]], 13);
177: iequals(__LINE__, Pus[x[x_5]] | Is[x_2], 13);
178: iequals(__LINE__, Is[x_2] | Pui[x[x_6]], 13);
179: iequals(__LINE__, Pui[x[x_6]] | Is[x_2], 13);
180: lequals(__LINE__, Is[x_2] | Pl[x[x_7]], 15L);
181: lequals(__LINE__, Pl[x[x_7]] | Is[x_2], 15L);
182: lequals(__LINE__, Is[x_2] | Pul[x[x_8]], 15L);
183: lequals(__LINE__, Pul[x[x_8]] | Is[x_2], 15L);
184: iequals(__LINE__, Ii[x_3] | Pc[x[x_0]], 15);
185: iequals(__LINE__, Pc[x[x_0]] | Ii[x_3], 15);
186: #if ANSI
187: iequals(__LINE__, Ii[x_3] | Psc[x[x_1]], 10);
188: iequals(__LINE__, Psc[x[x_1]] | Ii[x_3], 10);
189: #endif
190: iequals(__LINE__, Ii[x_3] | Ps[x[x_2]], 11);
191: iequals(__LINE__, Ps[x[x_2]] | Ii[x_3], 11);
192: iequals(__LINE__, Ii[x_3] | Pi[x[x_3]], 10);
193: iequals(__LINE__, Pi[x[x_3]] | Ii[x_3], 10);
194: iequals(__LINE__, Ii[x_3] | Puc[x[x_4]], 11);
195: iequals(__LINE__, Puc[x[x_4]] | Ii[x_3], 11);
196: iequals(__LINE__, Ii[x_3] | Pus[x[x_5]], 14);
197: iequals(__LINE__, Pus[x[x_5]] | Ii[x_3], 14);
198: iequals(__LINE__, Ii[x_3] | Pui[x[x_6]], 15);
199: iequals(__LINE__, Pui[x[x_6]] | Ii[x_3], 15);
200: lequals(__LINE__, Ii[x_3] | Pl[x[x_7]], 14L);
201: lequals(__LINE__, Pl[x[x_7]] | Ii[x_3], 14L);
202: lequals(__LINE__, Ii[x_3] | Pul[x[x_8]], 15L);
203: lequals(__LINE__, Pul[x[x_8]] | Ii[x_3], 15L);
204: iequals(__LINE__, Iuc[x_4] | Pc[x[x_0]], 15);
205: iequals(__LINE__, Pc[x[x_0]] | Iuc[x_4], 15);
206: #if ANSI
207: iequals(__LINE__, Iuc[x_4] | Psc[x[x_1]], 11);
208: iequals(__LINE__, Psc[x[x_1]] | Iuc[x_4], 11);
209: #endif
210: iequals(__LINE__, Iuc[x_4] | Ps[x[x_2]], 11);
211: iequals(__LINE__, Ps[x[x_2]] | Iuc[x_4], 11);
212: iequals(__LINE__, Iuc[x_4] | Pi[x[x_3]], 11);
213: iequals(__LINE__, Pi[x[x_3]] | Iuc[x_4], 11);
214: iequals(__LINE__, Iuc[x_4] | Puc[x[x_4]], 11);
215: iequals(__LINE__, Puc[x[x_4]] | Iuc[x_4], 11);
216: iequals(__LINE__, Iuc[x_4] | Pus[x[x_5]], 15);
217: iequals(__LINE__, Pus[x[x_5]] | Iuc[x_4], 15);
218: iequals(__LINE__, Iuc[x_4] | Pui[x[x_6]], 15);
219: iequals(__LINE__, Pui[x[x_6]] | Iuc[x_4], 15);
220: lequals(__LINE__, Iuc[x_4] | Pl[x[x_7]], 15L);
221: lequals(__LINE__, Pl[x[x_7]] | Iuc[x_4], 15L);
222: lequals(__LINE__, Iuc[x_4] | Pul[x[x_8]], 15L);
223: lequals(__LINE__, Pul[x[x_8]] | Iuc[x_4], 15L);
224: iequals(__LINE__, Ius[x_5] | Pc[x[x_0]], 15);
225: iequals(__LINE__, Pc[x[x_0]] | Ius[x_5], 15);
226: #if ANSI
227: iequals(__LINE__, Ius[x_5] | Psc[x[x_1]], 12);
228: iequals(__LINE__, Psc[x[x_1]] | Ius[x_5], 12);
229: #endif
230: iequals(__LINE__, Ius[x_5] | Ps[x[x_2]], 13);
231: iequals(__LINE__, Ps[x[x_2]] | Ius[x_5], 13);
232: iequals(__LINE__, Ius[x_5] | Pi[x[x_3]], 14);
233: iequals(__LINE__, Pi[x[x_3]] | Ius[x_5], 14);
234: iequals(__LINE__, Ius[x_5] | Puc[x[x_4]], 15);
235: iequals(__LINE__, Puc[x[x_4]] | Ius[x_5], 15);
236: iequals(__LINE__, Ius[x_5] | Pus[x[x_5]], 12);
237: iequals(__LINE__, Pus[x[x_5]] | Ius[x_5], 12);
238: iequals(__LINE__, Ius[x_5] | Pui[x[x_6]], 13);
239: iequals(__LINE__, Pui[x[x_6]] | Ius[x_5], 13);
240: lequals(__LINE__, Ius[x_5] | Pl[x[x_7]], 14L);
241: lequals(__LINE__, Pl[x[x_7]] | Ius[x_5], 14L);
242: lequals(__LINE__, Ius[x_5] | Pul[x[x_8]], 15L);
243: lequals(__LINE__, Pul[x[x_8]] | Ius[x_5], 15L);
244: iequals(__LINE__, Iui[x_6] | Pc[x[x_0]], 15);
245: iequals(__LINE__, Pc[x[x_0]] | Iui[x_6], 15);
246: #if ANSI
247: iequals(__LINE__, Iui[x_6] | Psc[x[x_1]], 13);
248: iequals(__LINE__, Psc[x[x_1]] | Iui[x_6], 13);
249: #endif
250: iequals(__LINE__, Iui[x_6] | Ps[x[x_2]], 13);
251: iequals(__LINE__, Ps[x[x_2]] | Iui[x_6], 13);
252: iequals(__LINE__, Iui[x_6] | Pi[x[x_3]], 15);
253: iequals(__LINE__, Pi[x[x_3]] | Iui[x_6], 15);
254: iequals(__LINE__, Iui[x_6] | Puc[x[x_4]], 15);
255: iequals(__LINE__, Puc[x[x_4]] | Iui[x_6], 15);
256: iequals(__LINE__, Iui[x_6] | Pus[x[x_5]], 13);
257: iequals(__LINE__, Pus[x[x_5]] | Iui[x_6], 13);
258: iequals(__LINE__, Iui[x_6] | Pui[x[x_6]], 13);
259: iequals(__LINE__, Pui[x[x_6]] | Iui[x_6], 13);
260: lequals(__LINE__, Iui[x_6] | Pl[x[x_7]], 15L);
261: lequals(__LINE__, Pl[x[x_7]] | Iui[x_6], 15L);
262: lequals(__LINE__, Iui[x_6] | Pul[x[x_8]], 15L);
263: lequals(__LINE__, Pul[x[x_8]] | Iui[x_6], 15L);
264: lequals(__LINE__, Il[x_7] | Pc[x[x_0]], 15L);
265: lequals(__LINE__, Pc[x[x_0]] | Il[x_7], 15L);
266: #if ANSI
267: lequals(__LINE__, Il[x_7] | Psc[x[x_1]], 14L);
268: lequals(__LINE__, Psc[x[x_1]] | Il[x_7], 14L);
269: #endif
270: lequals(__LINE__, Il[x_7] | Ps[x[x_2]], 15L);
271: lequals(__LINE__, Ps[x[x_2]] | Il[x_7], 15L);
272: lequals(__LINE__, Il[x_7] | Pi[x[x_3]], 14L);
273: lequals(__LINE__, Pi[x[x_3]] | Il[x_7], 14L);
274: lequals(__LINE__, Il[x_7] | Puc[x[x_4]], 15L);
275: lequals(__LINE__, Puc[x[x_4]] | Il[x_7], 15L);
276: lequals(__LINE__, Il[x_7] | Pus[x[x_5]], 14L);
277: lequals(__LINE__, Pus[x[x_5]] | Il[x_7], 14L);
278: lequals(__LINE__, Il[x_7] | Pui[x[x_6]], 15L);
279: lequals(__LINE__, Pui[x[x_6]] | Il[x_7], 15L);
280: lequals(__LINE__, Il[x_7] | Pl[x[x_7]], 14L);
281: lequals(__LINE__, Pl[x[x_7]] | Il[x_7], 14L);
282: lequals(__LINE__, Il[x_7] | Pul[x[x_8]], 15L);
283: lequals(__LINE__, Pul[x[x_8]] | Il[x_7], 15L);
284: lequals(__LINE__, Iul[x_8] | Pc[x[x_0]], 15L);
285: lequals(__LINE__, Pc[x[x_0]] | Iul[x_8], 15L);
286: #if ANSI
287: lequals(__LINE__, Iul[x_8] | Psc[x[x_1]], 15L);
288: lequals(__LINE__, Psc[x[x_1]] | Iul[x_8], 15L);
289: #endif
290: lequals(__LINE__, Iul[x_8] | Ps[x[x_2]], 15L);
291: lequals(__LINE__, Ps[x[x_2]] | Iul[x_8], 15L);
292: lequals(__LINE__, Iul[x_8] | Pi[x[x_3]], 15L);
293: lequals(__LINE__, Pi[x[x_3]] | Iul[x_8], 15L);
294: lequals(__LINE__, Iul[x_8] | Puc[x[x_4]], 15L);
295: lequals(__LINE__, Puc[x[x_4]] | Iul[x_8], 15L);
296: lequals(__LINE__, Iul[x_8] | Pus[x[x_5]], 15L);
297: lequals(__LINE__, Pus[x[x_5]] | Iul[x_8], 15L);
298: lequals(__LINE__, Iul[x_8] | Pui[x[x_6]], 15L);
299: lequals(__LINE__, Pui[x[x_6]] | Iul[x_8], 15L);
300: lequals(__LINE__, Iul[x_8] | Pl[x[x_7]], 15L);
301: lequals(__LINE__, Pl[x[x_7]] | Iul[x_8], 15L);
302: lequals(__LINE__, Iul[x_8] | Pul[x[x_8]], 15L);
303: lequals(__LINE__, Pul[x[x_8]] | Iul[x_8], 15L);
304: }}
305: return report(Filename);
306: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.