xref: /titanic_50/usr/src/test/libc-tests/tests/symbols/symbols_test.c (revision 9f9b7953c22ba8b0f8372bd791fc6ecc63c69409)
1 /*
2  * This file and its contents are supplied under the terms of the
3  * Common Development and Distribution License ("CDDL"), version 1.0.
4  * You may only use this file in accordance with the terms of version
5  * 1.0 of the CDDL.
6  *
7  * A full copy of the text of the CDDL should have accompanied this
8  * source.  A copy of the CDDL is also available via the Internet at
9  * http://www.illumos.org/license/CDDL.
10  */
11 
12 /*
13  * Copyright 2015 Garrett D'Amore <garrett@damore.org>
14  * Copyright 2018 Joyent, Inc.
15  */
16 
17 /*
18  * This program tests symbol visibility in different compilation environments.
19  */
20 
21 #include <stdio.h>
22 #include <stdlib.h>
23 #include <string.h>
24 #include <errno.h>
25 #include <err.h>
26 #include <unistd.h>
27 #include <sys/types.h>
28 #include <sys/stat.h>
29 #include <note.h>
30 #include <libcustr.h>
31 #include <sys/wait.h>
32 #include "test_common.h"
33 
34 char *dname;
35 char *cfile;
36 char *ofile;
37 char *lfile;
38 char *efile;
39 
40 const char *sym = NULL;
41 
42 static int good_count = 0;
43 static int fail_count = 0;
44 static int full_count = 0;
45 static int extra_debug = 0;
46 static char *compilation = "compilation.cfg";
47 
48 #if defined(_LP64)
49 #define	MFLAG "-m64"
50 #elif defined(_ILP32)
51 #define	MFLAG "-m32"
52 #endif
53 
54 const char *compilers[] = {
55 	"cc",
56 	"gcc",
57 	"/opt/SUNWspro/bin/cc",
58 	"/opt/gcc/4.4.4/bin/gcc",
59 	"/opt/sunstudio12.1/bin/cc",
60 	"/opt/sfw/bin/gcc",
61 	"/usr/local/bin/gcc",
62 	NULL
63 };
64 
65 char *compiler = NULL;
66 const char *c89flags = NULL;
67 const char *c99flags = NULL;
68 const char *c11flags = NULL;
69 
70 #define	MAXENV	64	/* maximum number of environments (bitmask width) */
71 #define	MAXHDR	10	/* maximum # headers to require to access symbol */
72 #define	MAXARG	20	/* maximum # of arguments */
73 
74 #define	WS	" \t"
75 
76 static int next_env = 0;
77 
78 struct compile_env {
79 	char		*ce_name;
80 	char		*ce_lang;
81 	char		*ce_defs;
82 	int		ce_index;
83 };
84 
85 static struct compile_env compile_env[MAXENV];
86 
87 struct env_group {
88 	char			*eg_name;
89 	uint64_t		eg_mask;
90 	struct env_group	*eg_next;
91 };
92 
93 typedef enum {
94 	SYM_TYPE,
95 	SYM_VALUE,
96 	SYM_DEFINE,
97 	SYM_FUNC
98 } sym_type_t;
99 
100 struct sym_test {
101 	char			*st_name;
102 	sym_type_t		st_type;
103 	char			*st_hdrs[MAXHDR];
104 	char			*st_rtype;
105 	char			*st_atypes[MAXARG];
106 	char			*st_defval;
107 	uint64_t		st_test_mask;
108 	uint64_t		st_need_mask;
109 	const char		*st_prog;
110 	struct sym_test		*st_next;
111 };
112 
113 struct env_group *env_groups = NULL;
114 
115 struct sym_test *sym_tests = NULL;
116 struct sym_test **sym_insert = &sym_tests;
117 
118 static char *
119 mystrdup(const char *s)
120 {
121 	char *r;
122 	if ((r = strdup(s)) == NULL) {
123 		perror("strdup");
124 		exit(1);
125 	}
126 	return (r);
127 }
128 
129 static void *
130 myzalloc(size_t sz)
131 {
132 	void *buf;
133 	if ((buf = calloc(1, sz)) == NULL) {
134 		perror("calloc");
135 		exit(1);
136 	}
137 	return (buf);
138 }
139 
140 static void
141 myasprintf(char **buf, const char *fmt, ...)
142 {
143 	int rv;
144 	va_list va;
145 	va_start(va, fmt);
146 	rv = vasprintf(buf, fmt, va);
147 	va_end(va);
148 	if (rv < 0) {
149 		perror("vasprintf");
150 		exit(1);
151 	}
152 }
153 
154 static void
155 append_sym_test(struct sym_test *st)
156 {
157 	*sym_insert = st;
158 	sym_insert = &st->st_next;
159 }
160 
161 static int
162 find_env_mask(const char *name, uint64_t *mask)
163 {
164 	for (int i = 0; i < MAXENV; i++) {
165 		if (compile_env[i].ce_name != NULL &&
166 		    strcmp(compile_env[i].ce_name, name) == 0) {
167 			*mask |= (1ULL << i);
168 			return (0);
169 		}
170 	}
171 
172 	for (struct env_group *eg = env_groups; eg != NULL; eg = eg->eg_next) {
173 		if (strcmp(name, eg->eg_name) == 0) {
174 			*mask |= eg->eg_mask;
175 			return (0);
176 		}
177 	}
178 	return (-1);
179 }
180 
181 
182 static int
183 expand_env(char *list, uint64_t *mask, char **erritem)
184 {
185 	char *item;
186 	for (item = strtok(list, WS); item != NULL; item = strtok(NULL, WS)) {
187 		if (find_env_mask(item, mask) < 0) {
188 			if (erritem != NULL) {
189 				*erritem = item;
190 			}
191 			return (-1);
192 		}
193 	}
194 	return (0);
195 }
196 
197 static int
198 expand_env_list(char *list, uint64_t *test, uint64_t *need, char **erritem)
199 {
200 	uint64_t mask = 0;
201 	int act;
202 	char *item;
203 	for (item = strtok(list, WS); item != NULL; item = strtok(NULL, WS)) {
204 		switch (item[0]) {
205 		case '+':
206 			act = 1;
207 			item++;
208 			break;
209 		case '-':
210 			act = 0;
211 			item++;
212 			break;
213 		default:
214 			act = 1;
215 			break;
216 		}
217 
218 		mask = 0;
219 		if (find_env_mask(item, &mask) < 0) {
220 			if (erritem != NULL) {
221 				*erritem = item;
222 			}
223 			return (-1);
224 		}
225 		*test |= mask;
226 		if (act) {
227 			*need |= mask;
228 		} else {
229 			*need &= ~(mask);
230 		}
231 	}
232 	return (0);
233 }
234 
235 static int
236 do_env(char **fields, int nfields, char **err)
237 {
238 	char *name;
239 	char *lang;
240 	char *defs;
241 
242 	if (nfields != 3) {
243 		myasprintf(err, "number of fields (%d) != 3", nfields);
244 		return (-1);
245 	}
246 
247 	if (next_env >= MAXENV) {
248 		myasprintf(err, "too many environments");
249 		return (-1);
250 	}
251 
252 	name = fields[0];
253 	lang = fields[1];
254 	defs = fields[2];
255 
256 	compile_env[next_env].ce_name = mystrdup(name);
257 	compile_env[next_env].ce_lang = mystrdup(lang);
258 	compile_env[next_env].ce_defs = mystrdup(defs);
259 	compile_env[next_env].ce_index = next_env;
260 	next_env++;
261 	return (0);
262 }
263 
264 static int
265 do_env_group(char **fields, int nfields, char **err)
266 {
267 	char *name;
268 	char *list;
269 	struct env_group *eg;
270 	uint64_t mask;
271 	char *item;
272 
273 	if (nfields != 2) {
274 		myasprintf(err, "number of fields (%d) != 2", nfields);
275 		return (-1);
276 	}
277 
278 	name = fields[0];
279 	list = fields[1];
280 	mask = 0;
281 
282 	if (expand_env(list, &mask, &item) < 0) {
283 		myasprintf(err, "reference to undefined env %s", item);
284 		return (-1);
285 	}
286 
287 	eg = myzalloc(sizeof (*eg));
288 	eg->eg_name = mystrdup(name);
289 	eg->eg_mask = mask;
290 	eg->eg_next = env_groups;
291 	env_groups = eg;
292 	return (0);
293 }
294 
295 static custr_t *st_custr;
296 
297 static void
298 addprogch(char c)
299 {
300 	if (custr_appendc(st_custr, c) == -1) {
301 		perror("custr_appendc");
302 		exit(1);
303 	}
304 }
305 
306 static void
307 addprogstr(char *s)
308 {
309 	if (custr_append(st_custr, s) == -1) {
310 		perror("custr_append");
311 		exit(1);
312 	}
313 }
314 
315 static void
316 addprogfmt(const char *fmt, ...)
317 {
318 	va_list va;
319 	va_start(va, fmt);
320 	if (custr_append_vprintf(st_custr, fmt, va) == -1) {
321 		perror("custr_append_vprintf");
322 		exit(1);
323 	}
324 	va_end(va);
325 }
326 
327 static void
328 mkprog(struct sym_test *st)
329 {
330 	char *s = NULL;
331 
332 	custr_reset(st_custr);
333 
334 	for (int i = 0; i < MAXHDR && st->st_hdrs[i] != NULL; i++) {
335 		addprogfmt("#include <%s>\n", st->st_hdrs[i]);
336 	}
337 
338 	if (st->st_rtype != NULL) {
339 		for (s = st->st_rtype; *s; s++) {
340 			addprogch(*s);
341 			if (*s == '(') {
342 				s++;
343 				addprogch(*s);
344 				s++;
345 				break;
346 			}
347 		}
348 		addprogch(' ');
349 	}
350 
351 	/* for function pointers, s is closing suffix, otherwise empty */
352 
353 	switch (st->st_type) {
354 	case SYM_TYPE:
355 		addprogstr("test_type;");
356 		break;
357 
358 	case SYM_VALUE:
359 		addprogfmt("test_value%s;\n", s);	/* s usually empty */
360 		addprogstr("void\ntest_func(void)\n{\n");
361 		addprogfmt("\ttest_value = %s;\n}", st->st_name);
362 		break;
363 
364 	case SYM_DEFINE:
365 		addprogfmt("#if !defined(%s)", st->st_name);
366 		if (st->st_defval != NULL)
367 			addprogfmt("|| %s != %s", st->st_name, st->st_defval);
368 		addprogfmt("\n#error %s is not defined or has the wrong value",
369 		    st->st_name);
370 		addprogfmt("\n#endif\n");
371 		break;
372 
373 	case SYM_FUNC:
374 		addprogstr("\ntest_func(");
375 		for (int i = 0; st->st_atypes[i] != NULL && i < MAXARG; i++) {
376 			int didname = 0;
377 			if (i > 0) {
378 				addprogstr(", ");
379 			}
380 			if (strcmp(st->st_atypes[i], "void") == 0) {
381 				didname = 1;
382 			}
383 			if (strcmp(st->st_atypes[i], "") == 0) {
384 				didname = 1;
385 				addprogstr("void");
386 			}
387 
388 			/* print the argument list */
389 			for (char *a = st->st_atypes[i]; *a; a++) {
390 				if (*a == '(' && a[1] == '*' && !didname) {
391 					addprogfmt("(*a%d", i);
392 					didname = 1;
393 					a++;
394 				} else if (*a == '[' && !didname) {
395 					addprogfmt("a%d[", i);
396 					didname = 1;
397 				} else {
398 					addprogch(*a);
399 				}
400 			}
401 			if (!didname) {
402 				addprogfmt(" a%d", i);
403 			}
404 		}
405 
406 		if (st->st_atypes[0] == NULL) {
407 			addprogstr("void");
408 		}
409 
410 		/*
411 		 * Close argument list, and closing ")" for func ptrs.
412 		 * Note that for non-function pointers, s will be empty
413 		 * below, otherwise it points to the trailing argument
414 		 * list.
415 		 */
416 		addprogfmt(")%s\n{\n\t", s);
417 
418 		if (strcmp(st->st_rtype, "") != 0 &&
419 		    strcmp(st->st_rtype, "void") != 0) {
420 			addprogstr("return ");
421 		}
422 
423 		/* add the function call */
424 		addprogfmt("%s(", st->st_name);
425 		for (int i = 0; st->st_atypes[i] != NULL && i < MAXARG; i++) {
426 			if (strcmp(st->st_atypes[i], "") != 0 &&
427 			    strcmp(st->st_atypes[i], "void") != 0) {
428 				addprogfmt("%sa%d", i > 0 ? ", " : "", i);
429 			}
430 		}
431 
432 		addprogstr(");\n}");
433 		break;
434 	}
435 
436 	addprogch('\n');
437 
438 	st->st_prog = custr_cstr(st_custr);
439 }
440 
441 static int
442 add_envs(struct sym_test *st, char *envs, char **err)
443 {
444 	char *item;
445 	if (expand_env_list(envs, &st->st_test_mask, &st->st_need_mask,
446 	    &item) < 0) {
447 		myasprintf(err, "bad env action %s", item);
448 		return (-1);
449 	}
450 	return (0);
451 }
452 
453 static int
454 add_headers(struct sym_test *st, char *hdrs, char **err)
455 {
456 	int i = 0;
457 
458 	for (char *h = strsep(&hdrs, ";"); h != NULL; h = strsep(&hdrs, ";")) {
459 		if (i >= MAXHDR) {
460 			myasprintf(err, "too many headers");
461 			return (-1);
462 		}
463 		test_trim(&h);
464 		st->st_hdrs[i++] = mystrdup(h);
465 	}
466 
467 	return (0);
468 }
469 
470 static int
471 add_arg_types(struct sym_test *st, char *atype, char **err)
472 {
473 	int i = 0;
474 	char *a;
475 	for (a = strsep(&atype, ";"); a != NULL; a = strsep(&atype, ";")) {
476 		if (i >= MAXARG) {
477 			myasprintf(err, "too many arguments");
478 			return (-1);
479 		}
480 		test_trim(&a);
481 		st->st_atypes[i++] = mystrdup(a);
482 	}
483 
484 	return (0);
485 }
486 
487 static int
488 do_type(char **fields, int nfields, char **err)
489 {
490 	char *decl;
491 	char *hdrs;
492 	char *envs;
493 	struct sym_test *st;
494 
495 	if (nfields != 3) {
496 		myasprintf(err, "number of fields (%d) != 3", nfields);
497 		return (-1);
498 	}
499 	decl = fields[0];
500 	hdrs = fields[1];
501 	envs = fields[2];
502 
503 	st = myzalloc(sizeof (*st));
504 	st->st_type = SYM_TYPE;
505 	st->st_name = mystrdup(decl);
506 	st->st_rtype = mystrdup(decl);
507 
508 	if ((add_envs(st, envs, err) < 0) ||
509 	    (add_headers(st, hdrs, err) < 0)) {
510 		return (-1);
511 	}
512 	append_sym_test(st);
513 
514 	return (0);
515 }
516 
517 static int
518 do_value(char **fields, int nfields, char **err)
519 {
520 	char *name;
521 	char *type;
522 	char *hdrs;
523 	char *envs;
524 	struct sym_test *st;
525 
526 	if (nfields != 4) {
527 		myasprintf(err, "number of fields (%d) != 4", nfields);
528 		return (-1);
529 	}
530 	name = fields[0];
531 	type = fields[1];
532 	hdrs = fields[2];
533 	envs = fields[3];
534 
535 	st = myzalloc(sizeof (*st));
536 	st->st_type = SYM_VALUE;
537 	st->st_name = mystrdup(name);
538 	st->st_rtype = mystrdup(type);
539 
540 	if ((add_envs(st, envs, err) < 0) ||
541 	    (add_headers(st, hdrs, err) < 0)) {
542 		return (-1);
543 	}
544 	append_sym_test(st);
545 
546 	return (0);
547 }
548 
549 static int
550 do_define(char **fields, int nfields, char **err)
551 {
552 	char *name, *value, *hdrs, *envs;
553 	struct sym_test *st;
554 
555 	if (nfields != 4) {
556 		myasprintf(err, "number of fields (%d) != 4", nfields);
557 		return (-1);
558 	}
559 
560 	name = fields[0];
561 	value = fields[1];
562 	hdrs = fields[2];
563 	envs = fields[3];
564 
565 	st = myzalloc(sizeof (*st));
566 	st->st_type = SYM_DEFINE;
567 	st->st_name = mystrdup(name);
568 
569 	/*
570 	 * A value to compare against is optional. trim will leave it as a null
571 	 * pointer if there's nothing there.
572 	 */
573 	test_trim(&value);
574 	if (*value != '\0')
575 		st->st_defval = mystrdup(value);
576 
577 	if ((add_envs(st, envs, err) < 0) ||
578 	    (add_headers(st, hdrs, err) < 0)) {
579 		return (-1);
580 	}
581 
582 	append_sym_test(st);
583 
584 	return (0);
585 }
586 
587 static int
588 do_func(char **fields, int nfields, char **err)
589 {
590 	char *name;
591 	char *rtype;
592 	char *atype;
593 	char *hdrs;
594 	char *envs;
595 	struct sym_test *st;
596 
597 	if (nfields != 5) {
598 		myasprintf(err, "number of fields (%d) != 5", nfields);
599 		return (-1);
600 	}
601 	name = fields[0];
602 	rtype = fields[1];
603 	atype = fields[2];
604 	hdrs = fields[3];
605 	envs = fields[4];
606 
607 	st = myzalloc(sizeof (*st));
608 	st->st_type = SYM_FUNC;
609 	st->st_name = mystrdup(name);
610 	st->st_rtype = mystrdup(rtype);
611 
612 	if ((add_envs(st, envs, err) < 0) ||
613 	    (add_headers(st, hdrs, err) < 0) ||
614 	    (add_arg_types(st, atype, err) < 0)) {
615 		return (-1);
616 	}
617 	append_sym_test(st);
618 
619 	return (0);
620 }
621 
622 struct sym_test *
623 next_sym_test(struct sym_test *st)
624 {
625 	return (st == NULL ? sym_tests : st->st_next);
626 }
627 
628 const char *
629 sym_test_prog(struct sym_test *st)
630 {
631 	if (st->st_prog == NULL) {
632 		mkprog(st);
633 	}
634 	return (st->st_prog);
635 }
636 
637 const char *
638 sym_test_name(struct sym_test *st)
639 {
640 	return (st->st_name);
641 }
642 
643 /*
644  * Iterate through tests.  Pass in NULL for cenv to begin the iteration. For
645  * subsequent iterations, use the return value from the previous iteration.
646  * Returns NULL when there are no more environments.
647  */
648 struct compile_env *
649 sym_test_env(struct sym_test *st, struct compile_env *cenv, int *need)
650 {
651 	int i = cenv ? cenv->ce_index + 1: 0;
652 	uint64_t b = 1ULL << i;
653 
654 	while ((i < MAXENV) && (b != 0)) {
655 		cenv = &compile_env[i];
656 		if (b & st->st_test_mask) {
657 			*need = (st->st_need_mask & b) ? 1 : 0;
658 			return (cenv);
659 		}
660 		b <<= 1;
661 		i++;
662 	}
663 	return (NULL);
664 }
665 
666 const char *
667 env_name(struct compile_env *cenv)
668 {
669 	return (cenv->ce_name);
670 }
671 
672 const char *
673 env_lang(struct compile_env *cenv)
674 {
675 	return (cenv->ce_lang);
676 }
677 
678 const char *
679 env_defs(struct compile_env *cenv)
680 {
681 	return (cenv->ce_defs);
682 }
683 
684 static void
685 show_file(test_t t, const char *path)
686 {
687 	FILE *f;
688 	char *buf = NULL;
689 	size_t cap = 0;
690 	int line = 1;
691 
692 	f = fopen(path, "r");
693 	if (f == NULL) {
694 		test_debugf(t, "fopen(%s): %s", path, strerror(errno));
695 		return;
696 	}
697 
698 	test_debugf(t, "----->> begin (%s) <<------", path);
699 	while (getline(&buf, &cap, f) >= 0) {
700 		(void) strtok(buf, "\r\n");
701 		test_debugf(t, "%d: %s", line, buf);
702 		line++;
703 	}
704 	test_debugf(t, "----->> end (%s) <<------", path);
705 	(void) fclose(f);
706 }
707 
708 static void
709 cleanup(void)
710 {
711 	if (ofile != NULL) {
712 		(void) unlink(ofile);
713 		free(ofile);
714 		ofile = NULL;
715 	}
716 	if (lfile != NULL) {
717 		(void) unlink(lfile);
718 		free(lfile);
719 		lfile = NULL;
720 	}
721 	if (cfile != NULL) {
722 		(void) unlink(cfile);
723 		free(cfile);
724 		cfile = NULL;
725 	}
726 	if (efile != NULL) {
727 		(void) unlink(efile);
728 		free(efile);
729 		efile = NULL;
730 	}
731 	if (dname) {
732 		(void) rmdir(dname);
733 		free(dname);
734 		dname = NULL;
735 	}
736 }
737 
738 static int
739 mkworkdir(void)
740 {
741 	char b[32];
742 	char *d;
743 
744 	cleanup();
745 
746 	(void) strlcpy(b, "/tmp/symbols_testXXXXXX", sizeof (b));
747 	if ((d = mkdtemp(b)) == NULL) {
748 		perror("mkdtemp");
749 		return (-1);
750 	}
751 	dname = mystrdup(d);
752 	myasprintf(&cfile, "%s/compile_test.c", d);
753 	myasprintf(&ofile, "%s/compile_test.o", d);
754 	myasprintf(&lfile, "%s/compile_test.log", d);
755 	myasprintf(&efile, "%s/compile_test.exe", d);
756 	return (0);
757 }
758 
759 void
760 find_compiler(void)
761 {
762 	test_t t;
763 	int i;
764 	FILE *cf;
765 
766 	t = test_start("finding compiler");
767 
768 	if ((cf = fopen(cfile, "w+")) == NULL) {
769 		test_failed(t, "Unable to open %s for write: %s", cfile,
770 		    strerror(errno));
771 		return;
772 	}
773 	(void) fprintf(cf, "#include <stdio.h>\n");
774 	(void) fprintf(cf, "int main(int argc, char **argv) {\n");
775 	(void) fprintf(cf, "#if defined(__SUNPRO_C)\n");
776 	(void) fprintf(cf, "exit(51);\n");
777 	(void) fprintf(cf, "#elif defined(__GNUC__)\n");
778 	(void) fprintf(cf, "exit(52);\n");
779 	(void) fprintf(cf, "#else\n");
780 	(void) fprintf(cf, "exit(99)\n");
781 	(void) fprintf(cf, "#endif\n}\n");
782 	(void) fclose(cf);
783 
784 	for (i = 0; compilers[i] != NULL; i++) {
785 		char cmd[256];
786 		int rv;
787 
788 		(void) snprintf(cmd, sizeof (cmd),
789 		    "%s %s %s -o %s >/dev/null 2>&1",
790 		    compilers[i], MFLAG, cfile, efile);
791 		test_debugf(t, "trying %s", cmd);
792 		rv = system(cmd);
793 
794 		test_debugf(t, "result: %d", rv);
795 
796 		if ((rv < 0) || !WIFEXITED(rv) || WEXITSTATUS(rv) != 0)
797 			continue;
798 
799 		rv = system(efile);
800 		if (rv >= 0 && WIFEXITED(rv)) {
801 			rv = WEXITSTATUS(rv);
802 		} else {
803 			rv = -1;
804 		}
805 
806 		switch (rv) {
807 		case 51:	/* STUDIO */
808 			test_debugf(t, "Found Studio C");
809 			c89flags = "-Xc -errwarn=%all -v -xc99=%none " MFLAG;
810 			c99flags = "-Xc -errwarn=%all -v -xc99=%all " MFLAG;
811 			c11flags = NULL;
812 			if (extra_debug) {
813 				test_debugf(t, "c89flags: %s", c89flags);
814 				test_debugf(t, "c99flags: %s", c99flags);
815 			}
816 			test_passed(t);
817 			break;
818 		case 52:	/* GCC */
819 			test_debugf(t, "Found GNU C");
820 			c89flags = "-Wall -Werror -std=c89 -nostdinc "
821 			    "-isystem /usr/include " MFLAG;
822 			c99flags = "-Wall -Werror -std=c99 -nostdinc "
823 			    "-isystem /usr/include " MFLAG;
824 			c11flags = "-Wall -Werror -std=c11 -nostdinc "
825 			    "-isystem /usr/include " MFLAG;
826 			if (extra_debug) {
827 				test_debugf(t, "c89flags: %s", c89flags);
828 				test_debugf(t, "c99flags: %s", c99flags);
829 			}
830 			test_passed(t);
831 			break;
832 		case 99:
833 			test_debugf(t, "Found unknown (unsupported) compiler");
834 			continue;
835 		default:
836 			continue;
837 		}
838 		myasprintf(&compiler, "%s", compilers[i]);
839 		test_debugf(t, "compiler: %s", compiler);
840 		return;
841 	}
842 	test_failed(t, "No compiler found.");
843 }
844 
845 int
846 do_compile(test_t t, struct sym_test *st, struct compile_env *cenv, int need)
847 {
848 	char *cmd;
849 	FILE *logf;
850 	FILE *dotc;
851 	const char *prog, *cflags, *lang;
852 
853 	full_count++;
854 
855 	if ((dotc = fopen(cfile, "w+")) == NULL) {
856 		test_failed(t, "fopen(%s): %s", cfile, strerror(errno));
857 		return (-1);
858 	}
859 	prog = sym_test_prog(st);
860 	if (fwrite(prog, 1, strlen(prog), dotc) < strlen(prog)) {
861 		test_failed(t, "fwrite: %s", strerror(errno));
862 		(void) fclose(dotc);
863 		return (-1);
864 	}
865 	if (fclose(dotc) < 0) {
866 		test_failed(t, "fclose: %s", strerror(errno));
867 		return (-1);
868 	}
869 
870 	(void) unlink(ofile);
871 
872 	if (strcmp(env_lang(cenv), "c99") == 0) {
873 		lang = "c99";
874 		cflags = c99flags;
875 	} else if (strcmp(env_lang(cenv), "c11") == 0) {
876 		lang = "c11";
877 		cflags = c11flags;
878 	} else {
879 		lang = "c89";
880 		cflags = c89flags;
881 	}
882 
883 	if (cflags == NULL) {
884 		test_failed(t, "compiler %s does not support %s", compiler,
885 		    lang);
886 		return (-1);
887 	}
888 
889 	myasprintf(&cmd, "%s %s %s -c %s -o %s >>%s 2>&1",
890 	    compiler, cflags, env_defs(cenv), cfile, ofile, lfile);
891 
892 	if (extra_debug) {
893 		test_debugf(t, "command: %s", cmd);
894 	}
895 
896 	if ((logf = fopen(lfile, "w+")) == NULL) {
897 		test_failed(t, "fopen: %s", strerror(errno));
898 		return (-1);
899 	}
900 	(void) fprintf(logf, "===================\n");
901 	(void) fprintf(logf, "PROGRAM:\n%s\n", sym_test_prog(st));
902 	(void) fprintf(logf, "COMMAND: %s\n", cmd);
903 	(void) fprintf(logf, "EXPECT: %s\n", need ? "OK" : "FAIL");
904 	(void) fclose(logf);
905 
906 	switch (system(cmd)) {
907 	case -1:
908 		test_failed(t, "error compiling in %s: %s", env_name(cenv),
909 		    strerror(errno));
910 		return (-1);
911 	case 0:
912 		if (!need) {
913 			fail_count++;
914 			show_file(t, lfile);
915 			test_failed(t, "symbol visible in %s", env_name(cenv));
916 			return (-1);
917 		}
918 		break;
919 	default:
920 		if (need) {
921 			fail_count++;
922 			show_file(t, lfile);
923 			test_failed(t, "error compiling in %s", env_name(cenv));
924 			return (-1);
925 		}
926 		break;
927 	}
928 	good_count++;
929 	return (0);
930 }
931 
932 void
933 test_compile(void)
934 {
935 	struct sym_test *st;
936 	struct compile_env *cenv;
937 	test_t t;
938 	int need;
939 
940 	for (st = next_sym_test(NULL); st; st = next_sym_test(st)) {
941 		if ((sym != NULL) && strcmp(sym, sym_test_name(st))) {
942 			continue;
943 		}
944 		/* XXX: we really want a sym_test_desc() */
945 		for (cenv = sym_test_env(st, NULL, &need);
946 		    cenv != NULL;
947 		    cenv = sym_test_env(st, cenv, &need)) {
948 			t = test_start("%s : %c%s", sym_test_name(st),
949 			    need ? '+' : '-', env_name(cenv));
950 			if (do_compile(t, st, cenv, need) == 0) {
951 				test_passed(t);
952 			}
953 		}
954 	}
955 
956 	if (full_count > 0) {
957 		test_summary();
958 	}
959 }
960 
961 int
962 main(int argc, char **argv)
963 {
964 	int optc;
965 	int optC = 0;
966 
967 	while ((optc = getopt(argc, argv, "DdfCs:c:")) != EOF) {
968 		switch (optc) {
969 		case 'd':
970 			test_set_debug();
971 			break;
972 		case 'f':
973 			test_set_force();
974 			break;
975 		case 'D':
976 			test_set_debug();
977 			extra_debug++;
978 			break;
979 		case 'c':
980 			compilation = optarg;
981 			break;
982 		case 'C':
983 			optC++;
984 			break;
985 		case 's':
986 			sym = optarg;
987 			break;
988 		default:
989 			(void) fprintf(stderr, "Usage: %s [-df]\n", argv[0]);
990 			exit(1);
991 		}
992 	}
993 
994 	if (test_load_config(NULL, compilation,
995 	    "env", do_env, "env_group", do_env_group, NULL) < 0) {
996 		exit(1);
997 	}
998 
999 	while (optind < argc) {
1000 		if (test_load_config(NULL, argv[optind++],
1001 		    "type", do_type,
1002 		    "value", do_value,
1003 		    "define", do_define,
1004 		    "func", do_func,
1005 		    NULL) < 0) {
1006 			exit(1);
1007 		}
1008 	}
1009 
1010 	if (atexit(cleanup) != 0) {
1011 		perror("atexit");
1012 		exit(1);
1013 	}
1014 
1015 	if (custr_alloc(&st_custr) == -1) {
1016 		perror("custr");
1017 		exit(1);
1018 	}
1019 
1020 	if (mkworkdir() < 0) {
1021 		perror("mkdir");
1022 		exit(1);
1023 	}
1024 
1025 	find_compiler();
1026 	if (!optC)
1027 		test_compile();
1028 
1029 	exit(0);
1030 }
1031