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