![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to mineq3.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 mineq3.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 Ac = 7;
16: #if ANSI
17: auto SCHAR Asc = 8;
18: #endif
19: auto SHORT As = 9;
20: auto INT Ai = 10;
21: auto UCHAR Auc = 21;
22: auto USHORT Aus = 22;
23: auto UINT Aui = 23;
24: auto LONG Al = 14;
25: auto ULONG Aul = 25;
26: auto FLOAT Af = 16;
27: auto DOUBLE Ad = 17;
28: #if ANSI
29: auto LDOUBLE Ald = 18;
30: #endif
31: {
32: auto CHAR Bc = 7;
33: auto CHAR *pBc = &Bc;
34: #if ANSI
35: auto SCHAR Bsc = 8;
36: auto SCHAR *pBsc = &Bsc;
37: #endif
38: auto SHORT Bs = 9;
39: auto SHORT *pBs = &Bs;
40: auto INT Bi = 10;
41: auto INT *pBi = &Bi;
42: auto UCHAR Buc = 21;
43: auto UCHAR *pBuc = &Buc;
44: auto USHORT Bus = 22;
45: auto USHORT *pBus = &Bus;
46: auto UINT Bui = 23;
47: auto UINT *pBui = &Bui;
48: auto LONG Bl = 14;
49: auto LONG *pBl = &Bl;
50: auto ULONG Bul = 25;
51: auto ULONG *pBul = &Bul;
52: auto FLOAT Bf = 16;
53: auto FLOAT *pBf = &Bf;
54: auto DOUBLE Bd = 17;
55: auto DOUBLE *pBd = &Bd;
56: #if ANSI
57: auto LDOUBLE Bld = 18;
58: auto LDOUBLE *pBld = &Bld;
59: #endif
60: {
61: int true = 1, false = 0;
62: Filename = " auto scalar auto pscalar1 mineq3 ";
63: *pBd = 17; Aus = 22;
64: *pBd -= Aus;
65: dequals(__LINE__, *pBd, (DOUBLE)-5.);
66: *pBd = 17;
67: dequals(__LINE__, *pBd -= Aus, (DOUBLE)-5.);
68: #if ANSI
69: Aus = 22; *pBld = 18;
70: Aus -= *pBld;
71: iequals(__LINE__, Aus, (USHORT)4);
72: Aus = 22;
73: iequals(__LINE__, Aus -= *pBld, (USHORT)4);
74: *pBld = 18; Aus = 22;
75: *pBld -= Aus;
76: ldequals(__LINE__, *pBld, (LDOUBLE)-4.L);
77: *pBld = 18;
78: ldequals(__LINE__, *pBld -= Aus, (LDOUBLE)-4.L);
79: #endif
80: Aui = 23; *pBc = 7;
81: Aui -= *pBc;
82: iequals(__LINE__, Aui, (UINT)16);
83: Aui = 23;
84: iequals(__LINE__, Aui -= *pBc, (UINT)16);
85: *pBc = 7; Aui = 23;
86: *pBc -= Aui;
87: iequals(__LINE__, *pBc, (CHAR)-16);
88: *pBc = 7;
89: iequals(__LINE__, *pBc -= Aui, (CHAR)-16);
90: #if ANSI
91: Aui = 23; *pBsc = 8;
92: Aui -= *pBsc;
93: iequals(__LINE__, Aui, (UINT)15);
94: Aui = 23;
95: iequals(__LINE__, Aui -= *pBsc, (UINT)15);
96: *pBsc = 8; Aui = 23;
97: *pBsc -= Aui;
98: iequals(__LINE__, *pBsc, (SCHAR)-15);
99: *pBsc = 8;
100: iequals(__LINE__, *pBsc -= Aui, (SCHAR)-15);
101: #endif
102: Aui = 23; *pBs = 9;
103: Aui -= *pBs;
104: iequals(__LINE__, Aui, (UINT)14);
105: Aui = 23;
106: iequals(__LINE__, Aui -= *pBs, (UINT)14);
107: *pBs = 9; Aui = 23;
108: *pBs -= Aui;
109: iequals(__LINE__, *pBs, (SHORT)(UINT)-14);
110: *pBs = 9;
111: iequals(__LINE__, *pBs -= Aui, (SHORT)(UINT)-14);
112: Aui = 23; *pBi = 10;
113: Aui -= *pBi;
114: iequals(__LINE__, Aui, (UINT)13);
115: Aui = 23;
116: iequals(__LINE__, Aui -= *pBi, (UINT)13);
117: *pBi = 10; Aui = 23;
118: *pBi -= Aui;
119: iequals(__LINE__, *pBi, (INT)(UINT)-13);
120: *pBi = 10;
121: iequals(__LINE__, *pBi -= Aui, (INT)(UINT)-13);
122: Aui = 23; *pBuc = 21;
123: Aui -= *pBuc;
124: iequals(__LINE__, Aui, (UINT)2);
125: Aui = 23;
126: iequals(__LINE__, Aui -= *pBuc, (UINT)2);
127: *pBuc = 21; Aui = 23;
128: *pBuc -= Aui;
129: iequals(__LINE__, *pBuc, (UCHAR)-2);
130: *pBuc = 21;
131: iequals(__LINE__, *pBuc -= Aui, (UCHAR)-2);
132: Aui = 23; *pBus = 22;
133: Aui -= *pBus;
134: iequals(__LINE__, Aui, (UINT)1);
135: Aui = 23;
136: iequals(__LINE__, Aui -= *pBus, (UINT)1);
137: *pBus = 22; Aui = 23;
138: *pBus -= Aui;
139: iequals(__LINE__, *pBus, (USHORT)-1);
140: *pBus = 22;
141: iequals(__LINE__, *pBus -= Aui, (USHORT)-1);
142: Aui = 23; *pBui = 23;
143: Aui -= *pBui;
144: iequals(__LINE__, Aui, (UINT)0);
145: Aui = 23;
146: iequals(__LINE__, Aui -= *pBui, (UINT)0);
147: *pBui = 23; Aui = 23;
148: *pBui -= Aui;
149: iequals(__LINE__, *pBui, (UINT)0);
150: *pBui = 23;
151: iequals(__LINE__, *pBui -= Aui, (UINT)0);
152: Aui = 23; *pBl = 14;
153: Aui -= *pBl;
154: iequals(__LINE__, Aui, (UINT)9);
155: Aui = 23;
156: iequals(__LINE__, Aui -= *pBl, (UINT)9);
157: *pBl = 14; Aui = 23;
158: *pBl -= Aui;
159: lequals(__LINE__, *pBl, (LONG)-9L);
160: *pBl = 14;
161: lequals(__LINE__, *pBl -= Aui, (LONG)-9L);
162: Aui = 23; *pBul = 25;
163: Aui -= *pBul;
164: iequals(__LINE__, Aui, (UINT)-2);
165: Aui = 23;
166: iequals(__LINE__, Aui -= *pBul, (UINT)-2);
167: *pBul = 25; Aui = 23;
168: *pBul -= Aui;
169: lequals(__LINE__, *pBul, (ULONG)2L);
170: *pBul = 25;
171: lequals(__LINE__, *pBul -= Aui, (ULONG)2L);
172: Aui = 23; *pBf = 16;
173: Aui -= *pBf;
174: iequals(__LINE__, Aui, (UINT)7);
175: Aui = 23;
176: iequals(__LINE__, Aui -= *pBf, (UINT)7);
177: *pBf = 16; Aui = 23;
178: *pBf -= Aui;
179: dequals(__LINE__, *pBf, (FLOAT)-7.);
180: *pBf = 16;
181: dequals(__LINE__, *pBf -= Aui, (FLOAT)-7.);
182: Aui = 23; *pBd = 17;
183: Aui -= *pBd;
184: iequals(__LINE__, Aui, (UINT)6);
185: Aui = 23;
186: iequals(__LINE__, Aui -= *pBd, (UINT)6);
187: *pBd = 17; Aui = 23;
188: *pBd -= Aui;
189: dequals(__LINE__, *pBd, (DOUBLE)-6.);
190: *pBd = 17;
191: dequals(__LINE__, *pBd -= Aui, (DOUBLE)-6.);
192: #if ANSI
193: Aui = 23; *pBld = 18;
194: Aui -= *pBld;
195: iequals(__LINE__, Aui, (UINT)5);
196: Aui = 23;
197: iequals(__LINE__, Aui -= *pBld, (UINT)5);
198: *pBld = 18; Aui = 23;
199: *pBld -= Aui;
200: ldequals(__LINE__, *pBld, (LDOUBLE)-5.L);
201: *pBld = 18;
202: ldequals(__LINE__, *pBld -= Aui, (LDOUBLE)-5.L);
203: #endif
204: Al = 14; *pBc = 7;
205: Al -= *pBc;
206: lequals(__LINE__, Al, (LONG)7L);
207: Al = 14;
208: lequals(__LINE__, Al -= *pBc, (LONG)7L);
209: *pBc = 7; Al = 14;
210: *pBc -= Al;
211: iequals(__LINE__, *pBc, (CHAR)-7);
212: *pBc = 7;
213: iequals(__LINE__, *pBc -= Al, (CHAR)-7);
214: #if ANSI
215: Al = 14; *pBsc = 8;
216: Al -= *pBsc;
217: lequals(__LINE__, Al, (LONG)6L);
218: Al = 14;
219: lequals(__LINE__, Al -= *pBsc, (LONG)6L);
220: *pBsc = 8; Al = 14;
221: *pBsc -= Al;
222: iequals(__LINE__, *pBsc, (SCHAR)-6);
223: *pBsc = 8;
224: iequals(__LINE__, *pBsc -= Al, (SCHAR)-6);
225: #endif
226: Al = 14; *pBs = 9;
227: Al -= *pBs;
228: lequals(__LINE__, Al, (LONG)5L);
229: Al = 14;
230: lequals(__LINE__, Al -= *pBs, (LONG)5L);
231: *pBs = 9; Al = 14;
232: *pBs -= Al;
233: iequals(__LINE__, *pBs, (SHORT)-5);
234: *pBs = 9;
235: iequals(__LINE__, *pBs -= Al, (SHORT)-5);
236: Al = 14; *pBi = 10;
237: Al -= *pBi;
238: lequals(__LINE__, Al, (LONG)4L);
239: Al = 14;
240: lequals(__LINE__, Al -= *pBi, (LONG)4L);
241: *pBi = 10; Al = 14;
242: *pBi -= Al;
243: iequals(__LINE__, *pBi, (INT)-4);
244: *pBi = 10;
245: iequals(__LINE__, *pBi -= Al, (INT)-4);
246: Al = 14; *pBuc = 21;
247: Al -= *pBuc;
248: lequals(__LINE__, Al, (LONG)-7L);
249: Al = 14;
250: lequals(__LINE__, Al -= *pBuc, (LONG)-7L);
251: *pBuc = 21; Al = 14;
252: *pBuc -= Al;
253: iequals(__LINE__, *pBuc, (UCHAR)7);
254: *pBuc = 21;
255: iequals(__LINE__, *pBuc -= Al, (UCHAR)7);
256: Al = 14; *pBus = 22;
257: Al -= *pBus;
258: lequals(__LINE__, Al, (LONG)-8L);
259: Al = 14;
260: lequals(__LINE__, Al -= *pBus, (LONG)-8L);
261: *pBus = 22; Al = 14;
262: *pBus -= Al;
263: iequals(__LINE__, *pBus, (USHORT)8);
264: *pBus = 22;
265: iequals(__LINE__, *pBus -= Al, (USHORT)8);
266: Al = 14; *pBui = 23;
267: Al -= *pBui;
268: lequals(__LINE__, Al, (LONG)-9L);
269: Al = 14;
270: lequals(__LINE__, Al -= *pBui, (LONG)-9L);
271: *pBui = 23; Al = 14;
272: *pBui -= Al;
273: iequals(__LINE__, *pBui, (UINT)9);
274: *pBui = 23;
275: iequals(__LINE__, *pBui -= Al, (UINT)9);
276: Al = 14; *pBl = 14;
277: Al -= *pBl;
278: lequals(__LINE__, Al, (LONG)0L);
279: Al = 14;
280: lequals(__LINE__, Al -= *pBl, (LONG)0L);
281: *pBl = 14; Al = 14;
282: *pBl -= Al;
283: lequals(__LINE__, *pBl, (LONG)0L);
284: *pBl = 14;
285: lequals(__LINE__, *pBl -= Al, (LONG)0L);
286: Al = 14; *pBul = 25;
287: Al -= *pBul;
288: lequals(__LINE__, Al, (LONG)(ULONG)-11L);
289: Al = 14;
290: lequals(__LINE__, Al -= *pBul, (LONG)(ULONG)-11L);
291: *pBul = 25; Al = 14;
292: *pBul -= Al;
293: lequals(__LINE__, *pBul, (ULONG)11L);
294: *pBul = 25;
295: lequals(__LINE__, *pBul -= Al, (ULONG)11L);
296: Al = 14; *pBf = 16;
297: Al -= *pBf;
298: lequals(__LINE__, Al, (LONG)-2L);
299: Al = 14;
300: lequals(__LINE__, Al -= *pBf, (LONG)-2L);
301: *pBf = 16; Al = 14;
302: *pBf -= Al;
303: dequals(__LINE__, *pBf, (FLOAT)2.);
304: *pBf = 16;
305: dequals(__LINE__, *pBf -= Al, (FLOAT)2.);
306: Al = 14; *pBd = 17;
307: Al -= *pBd;
308: lequals(__LINE__, Al, (LONG)-3L);
309: Al = 14;
310: lequals(__LINE__, Al -= *pBd, (LONG)-3L);
311: *pBd = 17; Al = 14;
312: *pBd -= Al;
313: dequals(__LINE__, *pBd, (DOUBLE)3.);
314: *pBd = 17;
315: dequals(__LINE__, *pBd -= Al, (DOUBLE)3.);
316: #if ANSI
317: Al = 14; *pBld = 18;
318: Al -= *pBld;
319: lequals(__LINE__, Al, (LONG)-4L);
320: Al = 14;
321: lequals(__LINE__, Al -= *pBld, (LONG)-4L);
322: *pBld = 18; Al = 14;
323: *pBld -= Al;
324: ldequals(__LINE__, *pBld, (LDOUBLE)4.L);
325: *pBld = 18;
326: ldequals(__LINE__, *pBld -= Al, (LDOUBLE)4.L);
327: #endif
328: Aul = 25; *pBc = 7;
329: Aul -= *pBc;
330: lequals(__LINE__, Aul, (ULONG)18L);
331: Aul = 25;
332: lequals(__LINE__, Aul -= *pBc, (ULONG)18L);
333: *pBc = 7; Aul = 25;
334: *pBc -= Aul;
335: iequals(__LINE__, *pBc, (CHAR)-18);
336: *pBc = 7;
337: iequals(__LINE__, *pBc -= Aul, (CHAR)-18);
338: #if ANSI
339: Aul = 25; *pBsc = 8;
340: Aul -= *pBsc;
341: lequals(__LINE__, Aul, (ULONG)17L);
342: Aul = 25;
343: lequals(__LINE__, Aul -= *pBsc, (ULONG)17L);
344: *pBsc = 8; Aul = 25;
345: *pBsc -= Aul;
346: iequals(__LINE__, *pBsc, (SCHAR)-17);
347: *pBsc = 8;
348: iequals(__LINE__, *pBsc -= Aul, (SCHAR)-17);
349: #endif
350: Aul = 25; *pBs = 9;
351: Aul -= *pBs;
352: lequals(__LINE__, Aul, (ULONG)16L);
353: Aul = 25;
354: lequals(__LINE__, Aul -= *pBs, (ULONG)16L);
355: *pBs = 9; Aul = 25;
356: *pBs -= Aul;
357: iequals(__LINE__, *pBs, (SHORT)(ULONG)-16);
358: *pBs = 9;
359: iequals(__LINE__, *pBs -= Aul, (SHORT)(ULONG)-16);
360: Aul = 25; *pBi = 10;
361: Aul -= *pBi;
362: lequals(__LINE__, Aul, (ULONG)15L);
363: Aul = 25;
364: lequals(__LINE__, Aul -= *pBi, (ULONG)15L);
365: *pBi = 10; Aul = 25;
366: *pBi -= Aul;
367: iequals(__LINE__, *pBi, (INT)(ULONG)-15);
368: *pBi = 10;
369: iequals(__LINE__, *pBi -= Aul, (INT)(ULONG)-15);
370: Aul = 25; *pBuc = 21;
371: Aul -= *pBuc;
372: lequals(__LINE__, Aul, (ULONG)4L);
373: Aul = 25;
374: lequals(__LINE__, Aul -= *pBuc, (ULONG)4L);
375: *pBuc = 21; Aul = 25;
376: *pBuc -= Aul;
377: iequals(__LINE__, *pBuc, (UCHAR)-4);
378: *pBuc = 21;
379: iequals(__LINE__, *pBuc -= Aul, (UCHAR)-4);
380: Aul = 25; *pBus = 22;
381: Aul -= *pBus;
382: lequals(__LINE__, Aul, (ULONG)3L);
383: Aul = 25;
384: lequals(__LINE__, Aul -= *pBus, (ULONG)3L);
385: *pBus = 22; Aul = 25;
386: *pBus -= Aul;
387: iequals(__LINE__, *pBus, (USHORT)-3);
388: *pBus = 22;
389: iequals(__LINE__, *pBus -= Aul, (USHORT)-3);
390: Aul = 25; *pBui = 23;
391: Aul -= *pBui;
392: lequals(__LINE__, Aul, (ULONG)2L);
393: Aul = 25;
394: lequals(__LINE__, Aul -= *pBui, (ULONG)2L);
395: *pBui = 23; Aul = 25;
396: *pBui -= Aul;
397: iequals(__LINE__, *pBui, (UINT)-2);
398: *pBui = 23;
399: iequals(__LINE__, *pBui -= Aul, (UINT)-2);
400: Aul = 25; *pBl = 14;
401: Aul -= *pBl;
402: lequals(__LINE__, Aul, (ULONG)11L);
403: Aul = 25;
404: lequals(__LINE__, Aul -= *pBl, (ULONG)11L);
405: *pBl = 14; Aul = 25;
406: *pBl -= Aul;
407: lequals(__LINE__, *pBl, (LONG)(ULONG)-11L);
408: *pBl = 14;
409: lequals(__LINE__, *pBl -= Aul, (LONG)(ULONG)-11L);
410: Aul = 25; *pBul = 25;
411: Aul -= *pBul;
412: lequals(__LINE__, Aul, (ULONG)0L);
413: Aul = 25;
414: lequals(__LINE__, Aul -= *pBul, (ULONG)0L);
415: *pBul = 25; Aul = 25;
416: *pBul -= Aul;
417: lequals(__LINE__, *pBul, (ULONG)0L);
418: *pBul = 25;
419: lequals(__LINE__, *pBul -= Aul, (ULONG)0L);
420: Aul = 25; *pBf = 16;
421: Aul -= *pBf;
422: lequals(__LINE__, Aul, (ULONG)9L);
423: Aul = 25;
424: lequals(__LINE__, Aul -= *pBf, (ULONG)9L);
425: *pBf = 16; Aul = 25;
426: *pBf -= Aul;
427: dequals(__LINE__, *pBf, (FLOAT)-9.);
428: *pBf = 16;
429: dequals(__LINE__, *pBf -= Aul, (FLOAT)-9.);
430: Aul = 25; *pBd = 17;
431: Aul -= *pBd;
432: lequals(__LINE__, Aul, (ULONG)8L);
433: Aul = 25;
434: lequals(__LINE__, Aul -= *pBd, (ULONG)8L);
435: *pBd = 17; Aul = 25;
436: *pBd -= Aul;
437: dequals(__LINE__, *pBd, (DOUBLE)-8.);
438: *pBd = 17;
439: dequals(__LINE__, *pBd -= Aul, (DOUBLE)-8.);
440: #if ANSI
441: Aul = 25; *pBld = 18;
442: Aul -= *pBld;
443: lequals(__LINE__, Aul, (ULONG)7L);
444: Aul = 25;
445: lequals(__LINE__, Aul -= *pBld, (ULONG)7L);
446: *pBld = 18; Aul = 25;
447: *pBld -= Aul;
448: ldequals(__LINE__, *pBld, (LDOUBLE)-7.L);
449: *pBld = 18;
450: ldequals(__LINE__, *pBld -= Aul, (LDOUBLE)-7.L);
451: #endif
452: Af = 16; *pBc = 7;
453: Af -= *pBc;
454: dequals(__LINE__, Af, (FLOAT)9.);
455: Af = 16;
456: dequals(__LINE__, Af -= *pBc, (FLOAT)9.);
457: *pBc = 7; Af = 16;
458: /* *pBc -= Af; DELETED: NON-PORTABLE */
459: /* iequals(__LINE__, *pBc, (CHAR)-9); DELETED: NON-PORTABLE */
460: *pBc = 7;
461: /* iequals(__LINE__, *pBc -= Af, (CHAR)-9); DELETED: NON-PORTABLE */
462: }}
463: return report(Filename);
464: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.