157 static struct env {  struct
198 } env;  argument
202 	if (!env.verbose)  in libbpf_print_fn()
204 	if (level == LIBBPF_DEBUG  && !env.debug)  in libbpf_print_fn()
266 		env.show_version = true;  in parse_arg()
269 		env.verbose = true;  in parse_arg()
272 		env.debug = true;  in parse_arg()
273 		env.verbose = true;  in parse_arg()
276 		env.quiet = true;  in parse_arg()
279 		err = parse_stats(arg, &env.output_spec);  in parse_arg()
284 		err = parse_stats(arg, &env.sort_spec);  in parse_arg()
290 			env.out_fmt = RESFMT_TABLE;  in parse_arg()
292 			env.out_fmt = RESFMT_CSV;  in parse_arg()
300 		env.log_level = strtol(arg, NULL, 10);  in parse_arg()
307 		env.log_fixed = true;  in parse_arg()
311 		env.log_size = strtol(arg, NULL, 10);  in parse_arg()
318 		env.force_checkpoints = true;  in parse_arg()
321 		env.force_reg_invariants = true;  in parse_arg()
325 		env.top_n = strtol(arg, NULL, 10);  in parse_arg()
331 		env.comparison_mode = true;  in parse_arg()
334 		env.replay_mode = true;  in parse_arg()
340 			err = append_filter(&env.deny_filters, &env.deny_filter_cnt, arg + 1);  in parse_arg()
342 			err = append_filter(&env.allow_filters, &env.allow_filter_cnt, arg);  in parse_arg()
350 		env.top_src_lines = strtol(arg, NULL, 10);  in parse_arg()
357 		tmp = realloc(env.filenames, (env.filename_cnt + 1) * sizeof(*env.filenames));  in parse_arg()
360 		env.filenames = tmp;  in parse_arg()
361 		env.filenames[env.filename_cnt] = strdup(arg);  in parse_arg()
362 		if (!env.filenames[env.filename_cnt])  in parse_arg()
364 		env.filename_cnt++;  in parse_arg()
438 	for (i = 0; i < env.deny_filter_cnt; i++) {  in should_process_file_prog()
439 		f = &env.deny_filters[i];  in should_process_file_prog()
453 	for (i = 0; i < env.allow_filter_cnt; i++) {  in should_process_file_prog()
454 		f = &env.allow_filters[i];  in should_process_file_prog()
645 			err = append_filter(&env.deny_filters, &env.deny_filter_cnt, buf + 1);  in append_filter_file()
647 			err = append_filter(&env.allow_filters, &env.allow_filter_cnt, buf);  in append_filter_file()
981 	for (i = 0; i < min(unique_lines, env.top_src_lines); ++i) {  in print_top_src_lines()
1165 			if (!env.quiet) {  in fixup_obj()
1171 			if (!env.quiet) {  in fixup_obj()
1224 		env.progs_skipped++;  in process_prog()
1228 	tmp = realloc(env.prog_stats, (env.prog_stat_cnt + 1) * sizeof(*env.prog_stats));  in process_prog()
1231 	env.prog_stats = tmp;  in process_prog()
1232 	stats = &env.prog_stats[env.prog_stat_cnt++];  in process_prog()
1235 	if (env.verbose || env.top_src_lines > 0) {  in process_prog()
1236 		buf_sz = env.log_size ? env.log_size : max_verifier_log_size();  in process_prog()
1241 		log_level = env.log_level | 4 | (env.log_fixed ? 8 : 0);  in process_prog()
1243 		if (env.top_src_lines > 0 && env.log_level == 0)  in process_prog()
1249 		log_level = 4 | (env.log_fixed ? 8 : 0);  in process_prog()
1259 	if (env.force_checkpoints)  in process_prog()
1261 	if (env.force_reg_invariants)  in process_prog()
1265 	env.progs_processed++;  in process_prog()
1281 	if (env.verbose) {  in process_prog()
1286 	if (env.top_src_lines > 0)  in process_prog()
1305 		if (env.verbose)  in process_obj()
1307 		env.files_skipped++;  in process_obj()
1311 		if (env.verbose)  in process_obj()
1313 		env.files_skipped++;  in process_obj()
1317 	if (!env.quiet && env.out_fmt == RESFMT_TABLE)  in process_obj()
1330 		env.files_skipped++;  in process_obj()
1335 	env.files_processed++;  in process_obj()
1429 	for (i = 0; i < env.sort_spec.spec_cnt; i++) {  in cmp_prog_stats()
1430 		cmp = cmp_stat(s1, s2, env.sort_spec.ids[i],  in cmp_prog_stats()
1431 			       env.sort_spec.asc[i], env.sort_spec.abs[i]);  in cmp_prog_stats()
1528 	for (i = 0; i < env.sort_spec.spec_cnt; i++) {  in cmp_join_stats()
1530 				    env.sort_spec.ids[i],  in cmp_join_stats()
1531 				    env.sort_spec.variants[i],  in cmp_join_stats()
1532 				    env.sort_spec.asc[i],  in cmp_join_stats()
1533 				    env.sort_spec.abs[i]);  in cmp_join_stats()
1552 	for (i = 0; i < env.output_spec.spec_cnt; i++) {  in output_header_underlines()
1553 		len = env.output_spec.lens[i];  in output_header_underlines()
1567 	for (i = 0; i < env.output_spec.spec_cnt; i++) {  in output_headers()
1568 		int id = env.output_spec.ids[i];  in output_headers()
1569 		int *max_len = &env.output_spec.lens[i];  in output_headers()
1580 			if (i == env.output_spec.spec_cnt - 1)  in output_headers()
1585 			if (i == env.output_spec.spec_cnt - 1)  in output_headers()
1644 	for (i = 0; i < env.output_spec.spec_cnt; i++) {  in output_stats()
1645 		int id = env.output_spec.ids[i];  in output_stats()
1646 		int *max_len = &env.output_spec.lens[i], len;  in output_stats()
1666 			if (i == env.output_spec.spec_cnt - 1)  in output_stats()
1674 			if (i == env.output_spec.spec_cnt - 1)  in output_stats()
1683 		       env.files_processed, env.files_skipped, env.progs_processed, env.progs_skipped);  in output_stats()
1886 	for (i = 0; i < env.output_spec.spec_cnt; i++) {  in output_comp_header_underlines()
1887 		int id = env.output_spec.ids[i];  in output_comp_header_underlines()
1891 			int len = env.output_spec.lens[3 * i + j];  in output_comp_header_underlines()
1908 	for (i = 0; i < env.output_spec.spec_cnt; i++) {  in output_comp_headers()
1909 		int id = env.output_spec.ids[i];  in output_comp_headers()
1914 			int *max_len = &env.output_spec.lens[3 * i + j];  in output_comp_headers()
1915 			bool last = (i == env.output_spec.spec_cnt - 1) && (j == max_j - 1);  in output_comp_headers()
1954 	for (i = 0; i < env.output_spec.spec_cnt; i++) {  in output_comp_stats()
1955 		int id = env.output_spec.ids[i], len;  in output_comp_stats()
1956 		int *max_len_base = &env.output_spec.lens[3 * i + 0];  in output_comp_stats()
1957 		int *max_len_comp = &env.output_spec.lens[3 * i + 1];  in output_comp_stats()
1958 		int *max_len_diff = &env.output_spec.lens[3 * i + 2];  in output_comp_stats()
2032 			if (i == env.output_spec.spec_cnt - 1)  in output_comp_stats()
2042 			if (i == env.output_spec.spec_cnt - 1)  in output_comp_stats()
2091 	for (i = 0; i < env.deny_filter_cnt; i++) {  in should_output_join_stats()
2092 		f = &env.deny_filters[i];  in should_output_join_stats()
2100 	for (i = 0; i < env.allow_filter_cnt; i++) {  in should_output_join_stats()
2101 		f = &env.allow_filters[i];  in should_output_join_stats()
2121 	if (env.filename_cnt != 2) {  in handle_comparison_mode()
2127 	err = parse_stats_csv(env.filenames[0], &base_specs,  in handle_comparison_mode()
2128 			      &env.baseline_stats, &env.baseline_stat_cnt);  in handle_comparison_mode()
2130 		fprintf(stderr, "Failed to parse stats from '%s': %d\n", env.filenames[0], err);  in handle_comparison_mode()
2133 	err = parse_stats_csv(env.filenames[1], &comp_specs,  in handle_comparison_mode()
2134 			      &env.prog_stats, &env.prog_stat_cnt);  in handle_comparison_mode()
2136 		fprintf(stderr, "Failed to parse stats from '%s': %d\n", env.filenames[1], err);  in handle_comparison_mode()
2146 			env.filenames[0], env.filenames[1],  in handle_comparison_mode()
2153 				env.filenames[0], env.filenames[1],  in handle_comparison_mode()
2164 	tmp_sort_spec = env.sort_spec;  in handle_comparison_mode()
2165 	env.sort_spec = join_sort_spec;  in handle_comparison_mode()
2166 	qsort(env.prog_stats, env.prog_stat_cnt, sizeof(*env.prog_stats), cmp_prog_stats);  in handle_comparison_mode()
2167 	qsort(env.baseline_stats, env.baseline_stat_cnt, sizeof(*env.baseline_stats), cmp_prog_stats);  in handle_comparison_mode()
2168 	env.sort_spec = tmp_sort_spec;  in handle_comparison_mode()
2176 	while (i < env.baseline_stat_cnt || j < env.prog_stat_cnt) {  in handle_comparison_mode()
2182 		base = i < env.baseline_stat_cnt ? &env.baseline_stats[i] : &fallback_stats;  in handle_comparison_mode()
2183 		comp = j < env.prog_stat_cnt ? &env.prog_stats[j] : &fallback_stats;  in handle_comparison_mode()
2187 				i, env.filenames[0]);  in handle_comparison_mode()
2192 				j, env.filenames[1]);  in handle_comparison_mode()
2196 		tmp = realloc(env.join_stats, (env.join_stat_cnt + 1) * sizeof(*env.join_stats));  in handle_comparison_mode()
2199 		env.join_stats = tmp;  in handle_comparison_mode()
2201 		join = &env.join_stats[env.join_stat_cnt];  in handle_comparison_mode()
2229 		env.join_stat_cnt += 1;  in handle_comparison_mode()
2233 	qsort(env.join_stats, env.join_stat_cnt, sizeof(*env.join_stats), cmp_join_stats);  in handle_comparison_mode()
2240 	if (env.out_fmt == RESFMT_TABLE)  in handle_comparison_mode()
2243 		cur_fmt = env.out_fmt;  in handle_comparison_mode()
2250 	for (i = 0; i < env.join_stat_cnt; i++) {  in handle_comparison_mode()
2251 		const struct verif_stats_join *join = &env.join_stats[i];  in handle_comparison_mode()
2256 		if (env.top_n && cnt >= env.top_n)  in handle_comparison_mode()
2300 	for (i = 0; i < env.deny_filter_cnt; i++) {  in should_output_stats()
2301 		f = &env.deny_filters[i];  in should_output_stats()
2309 	for (i = 0; i < env.allow_filter_cnt; i++) {  in should_output_stats()
2310 		f = &env.allow_filters[i];  in should_output_stats()
2328 	if (env.out_fmt == RESFMT_TABLE) {  in output_prog_stats()
2331 		for (i = 0; i < env.prog_stat_cnt; i++) {  in output_prog_stats()
2332 			stats = &env.prog_stats[i];  in output_prog_stats()
2341 	output_headers(env.out_fmt);  in output_prog_stats()
2342 	for (i = 0; i < env.prog_stat_cnt; i++) {  in output_prog_stats()
2343 		stats = &env.prog_stats[i];  in output_prog_stats()
2346 		if (env.top_n && cnt >= env.top_n)  in output_prog_stats()
2348 		output_stats(stats, env.out_fmt, i == last_stat_idx);  in output_prog_stats()
2357 	if (env.filename_cnt == 0) {  in handle_verif_mode()
2363 	for (i = 0; i < env.filename_cnt; i++) {  in handle_verif_mode()
2364 		err = process_obj(env.filenames[i]);  in handle_verif_mode()
2366 			fprintf(stderr, "Failed to process '%s': %d\n", env.filenames[i], err);  in handle_verif_mode()
2371 	qsort(env.prog_stats, env.prog_stat_cnt, sizeof(*env.prog_stats), cmp_prog_stats);  in handle_verif_mode()
2383 	if (env.filename_cnt != 1) {  in handle_replay_mode()
2389 	err = parse_stats_csv(env.filenames[0], &specs,  in handle_replay_mode()
2390 			      &env.prog_stats, &env.prog_stat_cnt);  in handle_replay_mode()
2392 		fprintf(stderr, "Failed to parse stats from '%s': %d\n", env.filenames[0], err);  in handle_replay_mode()
2396 	qsort(env.prog_stats, env.prog_stat_cnt, sizeof(*env.prog_stats), cmp_prog_stats);  in handle_replay_mode()
2410 	if (env.show_version) {  in main()
2415 	if (env.verbose && env.quiet) {  in main()
2420 	if (env.verbose && env.log_level == 0)  in main()
2421 		env.log_level = 1;  in main()
2423 	if (env.output_spec.spec_cnt == 0) {  in main()
2424 		if (env.out_fmt == RESFMT_CSV)  in main()
2425 			env.output_spec = default_csv_output_spec;  in main()
2427 			env.output_spec = default_output_spec;  in main()
2429 	if (env.sort_spec.spec_cnt == 0)  in main()
2430 		env.sort_spec = default_sort_spec;  in main()
2432 	if (env.comparison_mode && env.replay_mode) {  in main()
2438 	if (env.comparison_mode)  in main()
2440 	else if (env.replay_mode)  in main()
2445 	free_verif_stats(env.prog_stats, env.prog_stat_cnt);  in main()
2446 	free_verif_stats(env.baseline_stats, env.baseline_stat_cnt);  in main()
2447 	free(env.join_stats);  in main()
2448 	for (i = 0; i < env.filename_cnt; i++)  in main()
2449 		free(env.filenames[i]);  in main()
2450 	free(env.filenames);  in main()
2451 	for (i = 0; i < env.allow_filter_cnt; i++) {  in main()
2452 		free(env.allow_filters[i].any_glob);  in main()
2453 		free(env.allow_filters[i].file_glob);  in main()
2454 		free(env.allow_filters[i].prog_glob);  in main()
2456 	free(env.allow_filters);  in main()
2457 	for (i = 0; i < env.deny_filter_cnt; i++) {  in main()
2458 		free(env.deny_filters[i].any_glob);  in main()
2459 		free(env.deny_filters[i].file_glob);  in main()
2460 		free(env.deny_filters[i].prog_glob);  in main()
2462 	free(env.deny_filters);  in main()