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