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