* i386.c (has_dispatch): Disable for Ryzen.
[official-gcc.git] / gcc / gcov.c
blobc56bac2027831fe6ee0f575c9bfb2795a6635588
1 /* Gcov.c: prepend line execution counts and branch probabilities to a
2 source file.
3 Copyright (C) 1990-2017 Free Software Foundation, Inc.
4 Contributed by James E. Wilson of Cygnus Support.
5 Mangled by Bob Manson of Cygnus Support.
6 Mangled further by Nathan Sidwell <nathan@codesourcery.com>
8 Gcov is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
13 Gcov is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with Gcov; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 /* ??? Print a list of the ten blocks with the highest execution counts,
23 and list the line numbers corresponding to those blocks. Also, perhaps
24 list the line numbers with the highest execution counts, only printing
25 the first if there are several which are all listed in the same block. */
27 /* ??? Should have an option to print the number of basic blocks, and the
28 percent of them that are covered. */
30 /* Need an option to show individual block counts, and show
31 probabilities of fall through arcs. */
33 #include "config.h"
34 #define INCLUDE_ALGORITHM
35 #define INCLUDE_VECTOR
36 #include "system.h"
37 #include "coretypes.h"
38 #include "tm.h"
39 #include "intl.h"
40 #include "diagnostic.h"
41 #include "version.h"
42 #include "demangle.h"
44 #include <getopt.h>
46 #include "md5.h"
48 using namespace std;
50 #define IN_GCOV 1
51 #include "gcov-io.h"
52 #include "gcov-io.c"
54 /* The gcno file is generated by -ftest-coverage option. The gcda file is
55 generated by a program compiled with -fprofile-arcs. Their formats
56 are documented in gcov-io.h. */
58 /* The functions in this file for creating and solution program flow graphs
59 are very similar to functions in the gcc source file profile.c. In
60 some places we make use of the knowledge of how profile.c works to
61 select particular algorithms here. */
63 /* The code validates that the profile information read in corresponds
64 to the code currently being compiled. Rather than checking for
65 identical files, the code below compares a checksum on the CFG
66 (based on the order of basic blocks and the arcs in the CFG). If
67 the CFG checksum in the gcda file match the CFG checksum in the
68 gcno file, the profile data will be used. */
70 /* This is the size of the buffer used to read in source file lines. */
72 struct function_info;
73 struct block_info;
74 struct source_info;
76 /* Describes an arc between two basic blocks. */
78 typedef struct arc_info
80 /* source and destination blocks. */
81 struct block_info *src;
82 struct block_info *dst;
84 /* transition counts. */
85 gcov_type count;
86 /* used in cycle search, so that we do not clobber original counts. */
87 gcov_type cs_count;
89 unsigned int count_valid : 1;
90 unsigned int on_tree : 1;
91 unsigned int fake : 1;
92 unsigned int fall_through : 1;
94 /* Arc to a catch handler. */
95 unsigned int is_throw : 1;
97 /* Arc is for a function that abnormally returns. */
98 unsigned int is_call_non_return : 1;
100 /* Arc is for catch/setjmp. */
101 unsigned int is_nonlocal_return : 1;
103 /* Is an unconditional branch. */
104 unsigned int is_unconditional : 1;
106 /* Loop making arc. */
107 unsigned int cycle : 1;
109 /* Next branch on line. */
110 struct arc_info *line_next;
112 /* Links to next arc on src and dst lists. */
113 struct arc_info *succ_next;
114 struct arc_info *pred_next;
115 } arc_t;
117 /* Describes which locations (lines and files) are associated with
118 a basic block. */
120 struct block_location_info
122 block_location_info (unsigned _source_file_idx):
123 source_file_idx (_source_file_idx)
126 unsigned source_file_idx;
127 vector<unsigned> lines;
130 /* Describes a basic block. Contains lists of arcs to successor and
131 predecessor blocks. */
133 typedef struct block_info
135 /* Constructor. */
136 block_info ();
138 /* Chain of exit and entry arcs. */
139 arc_t *succ;
140 arc_t *pred;
142 /* Number of unprocessed exit and entry arcs. */
143 gcov_type num_succ;
144 gcov_type num_pred;
146 unsigned id;
148 /* Block execution count. */
149 gcov_type count;
150 unsigned count_valid : 1;
151 unsigned valid_chain : 1;
152 unsigned invalid_chain : 1;
153 unsigned exceptional : 1;
155 /* Block is a call instrumenting site. */
156 unsigned is_call_site : 1; /* Does the call. */
157 unsigned is_call_return : 1; /* Is the return. */
159 /* Block is a landing pad for longjmp or throw. */
160 unsigned is_nonlocal_return : 1;
162 vector<block_location_info> locations;
164 struct
166 /* Single line graph cycle workspace. Used for all-blocks
167 mode. */
168 arc_t *arc;
169 unsigned ident;
170 } cycle; /* Used in all-blocks mode, after blocks are linked onto
171 lines. */
173 /* Temporary chain for solving graph, and for chaining blocks on one
174 line. */
175 struct block_info *chain;
177 } block_t;
179 block_info::block_info (): succ (NULL), pred (NULL), num_succ (0), num_pred (0),
180 id (0), count (0), count_valid (0), valid_chain (0), invalid_chain (0),
181 exceptional (0), is_call_site (0), is_call_return (0), is_nonlocal_return (0),
182 locations (), chain (NULL)
184 cycle.arc = NULL;
187 /* Describes a single function. Contains an array of basic blocks. */
189 typedef struct function_info
191 function_info ();
192 ~function_info ();
194 /* Name of function. */
195 char *name;
196 char *demangled_name;
197 unsigned ident;
198 unsigned lineno_checksum;
199 unsigned cfg_checksum;
201 /* The graph contains at least one fake incoming edge. */
202 unsigned has_catch : 1;
204 /* Array of basic blocks. Like in GCC, the entry block is
205 at blocks[0] and the exit block is at blocks[1]. */
206 #define ENTRY_BLOCK (0)
207 #define EXIT_BLOCK (1)
208 vector<block_t> blocks;
209 unsigned blocks_executed;
211 /* Raw arc coverage counts. */
212 gcov_type *counts;
213 unsigned num_counts;
215 /* First line number & file. */
216 unsigned line;
217 unsigned src;
219 /* Next function in same source file. */
220 struct function_info *next_file_fn;
222 /* Next function. */
223 struct function_info *next;
224 } function_t;
226 /* Describes coverage of a file or function. */
228 typedef struct coverage_info
230 int lines;
231 int lines_executed;
233 int branches;
234 int branches_executed;
235 int branches_taken;
237 int calls;
238 int calls_executed;
240 char *name;
241 } coverage_t;
243 /* Describes a single line of source. Contains a chain of basic blocks
244 with code on it. */
246 typedef struct line_info
248 /* Return true when NEEDLE is one of basic blocks the line belongs to. */
249 bool has_block (block_t *needle);
251 gcov_type count; /* execution count */
252 arc_t *branches; /* branches from blocks that end on this line. */
253 block_t *blocks; /* blocks which start on this line.
254 Used in all-blocks mode. */
255 unsigned exists : 1;
256 unsigned unexceptional : 1;
257 } line_t;
259 bool
260 line_t::has_block (block_t *needle)
262 for (block_t *n = blocks; n; n = n->chain)
263 if (n == needle)
264 return true;
266 return false;
269 /* Describes a file mentioned in the block graph. Contains an array
270 of line info. */
272 typedef struct source_info
274 /* Canonical name of source file. */
275 char *name;
276 time_t file_time;
278 /* Array of line information. */
279 line_t *lines;
280 unsigned num_lines;
282 coverage_t coverage;
284 /* Functions in this source file. These are in ascending line
285 number order. */
286 function_t *functions;
287 } source_t;
289 typedef struct name_map
291 char *name; /* Source file name */
292 unsigned src; /* Source file */
293 } name_map_t;
295 /* Holds a list of function basic block graphs. */
297 static function_t *functions;
298 static function_t **fn_end = &functions;
300 static source_t *sources; /* Array of source files */
301 static unsigned n_sources; /* Number of sources */
302 static unsigned a_sources; /* Allocated sources */
304 static name_map_t *names; /* Mapping of file names to sources */
305 static unsigned n_names; /* Number of names */
306 static unsigned a_names; /* Allocated names */
308 /* This holds data summary information. */
310 static unsigned object_runs;
311 static unsigned program_count;
313 static unsigned total_lines;
314 static unsigned total_executed;
316 /* Modification time of graph file. */
318 static time_t bbg_file_time;
320 /* Name of the notes (gcno) output file. The "bbg" prefix is for
321 historical reasons, when the notes file contained only the
322 basic block graph notes. */
324 static char *bbg_file_name;
326 /* Stamp of the bbg file */
327 static unsigned bbg_stamp;
329 /* Name and file pointer of the input file for the count data (gcda). */
331 static char *da_file_name;
333 /* Data file is missing. */
335 static int no_data_file;
337 /* If there is several input files, compute and display results after
338 reading all data files. This way if two or more gcda file refer to
339 the same source file (eg inline subprograms in a .h file), the
340 counts are added. */
342 static int multiple_files = 0;
344 /* Output branch probabilities. */
346 static int flag_branches = 0;
348 /* Show unconditional branches too. */
349 static int flag_unconditional = 0;
351 /* Output a gcov file if this is true. This is on by default, and can
352 be turned off by the -n option. */
354 static int flag_gcov_file = 1;
356 /* Output progress indication if this is true. This is off by default
357 and can be turned on by the -d option. */
359 static int flag_display_progress = 0;
361 /* Output *.gcov file in intermediate format used by 'lcov'. */
363 static int flag_intermediate_format = 0;
365 /* Output demangled function names. */
367 static int flag_demangled_names = 0;
369 /* For included files, make the gcov output file name include the name
370 of the input source file. For example, if x.h is included in a.c,
371 then the output file name is a.c##x.h.gcov instead of x.h.gcov. */
373 static int flag_long_names = 0;
375 /* For situations when a long name can potentially hit filesystem path limit,
376 let's calculate md5sum of the path and append it to a file name. */
378 static int flag_hash_filenames = 0;
380 /* Print verbose informations. */
382 static int flag_verbose = 0;
384 /* Output count information for every basic block, not merely those
385 that contain line number information. */
387 static int flag_all_blocks = 0;
389 /* Output summary info for each function. */
391 static int flag_function_summary = 0;
393 /* Object directory file prefix. This is the directory/file where the
394 graph and data files are looked for, if nonzero. */
396 static char *object_directory = 0;
398 /* Source directory prefix. This is removed from source pathnames
399 that match, when generating the output file name. */
401 static char *source_prefix = 0;
402 static size_t source_length = 0;
404 /* Only show data for sources with relative pathnames. Absolute ones
405 usually indicate a system header file, which although it may
406 contain inline functions, is usually uninteresting. */
407 static int flag_relative_only = 0;
409 /* Preserve all pathname components. Needed when object files and
410 source files are in subdirectories. '/' is mangled as '#', '.' is
411 elided and '..' mangled to '^'. */
413 static int flag_preserve_paths = 0;
415 /* Output the number of times a branch was taken as opposed to the percentage
416 of times it was taken. */
418 static int flag_counts = 0;
420 /* Forward declarations. */
421 static int process_args (int, char **);
422 static void print_usage (int) ATTRIBUTE_NORETURN;
423 static void print_version (void) ATTRIBUTE_NORETURN;
424 static void process_file (const char *);
425 static void generate_results (const char *);
426 static void create_file_names (const char *);
427 static int name_search (const void *, const void *);
428 static int name_sort (const void *, const void *);
429 static char *canonicalize_name (const char *);
430 static unsigned find_source (const char *);
431 static function_t *read_graph_file (void);
432 static int read_count_file (function_t *);
433 static void solve_flow_graph (function_t *);
434 static void find_exception_blocks (function_t *);
435 static void add_branch_counts (coverage_t *, const arc_t *);
436 static void add_line_counts (coverage_t *, function_t *);
437 static void executed_summary (unsigned, unsigned);
438 static void function_summary (const coverage_t *, const char *);
439 static const char *format_gcov (gcov_type, gcov_type, int);
440 static void accumulate_line_counts (source_t *);
441 static void output_gcov_file (const char *, source_t *);
442 static int output_branch_count (FILE *, int, const arc_t *);
443 static void output_lines (FILE *, const source_t *);
444 static char *make_gcov_file_name (const char *, const char *);
445 static char *mangle_name (const char *, char *);
446 static void release_structures (void);
447 extern int main (int, char **);
449 function_info::function_info (): name (NULL), demangled_name (NULL),
450 ident (0), lineno_checksum (0), cfg_checksum (0), has_catch (0),
451 blocks (), blocks_executed (0), counts (NULL), num_counts (0),
452 line (0), src (0), next_file_fn (NULL), next (NULL)
456 function_info::~function_info ()
458 for (int i = blocks.size () - 1; i >= 0; i--)
460 arc_t *arc, *arc_n;
462 for (arc = blocks[i].succ; arc; arc = arc_n)
464 arc_n = arc->succ_next;
465 free (arc);
468 free (counts);
469 if (flag_demangled_names && demangled_name != name)
470 free (demangled_name);
471 free (name);
474 /* Cycle detection!
475 There are a bajillion algorithms that do this. Boost's function is named
476 hawick_cycles, so I used the algorithm by K. A. Hawick and H. A. James in
477 "Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs"
478 (url at <http://complexity.massey.ac.nz/cstn/013/cstn-013.pdf>).
480 The basic algorithm is simple: effectively, we're finding all simple paths
481 in a subgraph (that shrinks every iteration). Duplicates are filtered by
482 "blocking" a path when a node is added to the path (this also prevents non-
483 simple paths)--the node is unblocked only when it participates in a cycle.
486 typedef vector<arc_t *> arc_vector_t;
487 typedef vector<const block_t *> block_vector_t;
489 /* Enum with types of loop in CFG. */
491 enum loop_type
493 NO_LOOP = 0,
494 LOOP = 1,
495 NEGATIVE_LOOP = 3
498 /* Loop_type operator that merges two values: A and B. */
500 inline loop_type& operator |= (loop_type& a, loop_type b)
502 return a = static_cast<loop_type> (a | b);
505 /* Handle cycle identified by EDGES, where the function finds minimum cs_count
506 and subtract the value from all counts. The subtracted value is added
507 to COUNT. Returns type of loop. */
509 static loop_type
510 handle_cycle (const arc_vector_t &edges, int64_t &count)
512 /* Find the minimum edge of the cycle, and reduce all nodes in the cycle by
513 that amount. */
514 int64_t cycle_count = INTTYPE_MAXIMUM (int64_t);
515 for (unsigned i = 0; i < edges.size (); i++)
517 int64_t ecount = edges[i]->cs_count;
518 if (cycle_count > ecount)
519 cycle_count = ecount;
521 count += cycle_count;
522 for (unsigned i = 0; i < edges.size (); i++)
523 edges[i]->cs_count -= cycle_count;
525 return cycle_count < 0 ? NEGATIVE_LOOP : LOOP;
528 /* Unblock a block U from BLOCKED. Apart from that, iterate all blocks
529 blocked by U in BLOCK_LISTS. */
531 static void
532 unblock (const block_t *u, block_vector_t &blocked,
533 vector<block_vector_t > &block_lists)
535 block_vector_t::iterator it = find (blocked.begin (), blocked.end (), u);
536 if (it == blocked.end ())
537 return;
539 unsigned index = it - blocked.begin ();
540 blocked.erase (it);
542 block_vector_t to_unblock (block_lists[index]);
544 block_lists.erase (block_lists.begin () + index);
546 for (block_vector_t::iterator it = to_unblock.begin ();
547 it != to_unblock.end (); it++)
548 unblock (*it, blocked, block_lists);
551 /* Find circuit going to block V, PATH is provisional seen cycle.
552 BLOCKED is vector of blocked vertices, BLOCK_LISTS contains vertices
553 blocked by a block. COUNT is accumulated count of the current LINE.
554 Returns what type of loop it contains. */
556 static loop_type
557 circuit (block_t *v, arc_vector_t &path, block_t *start,
558 block_vector_t &blocked, vector<block_vector_t> &block_lists,
559 line_t &linfo, int64_t &count)
561 loop_type result = NO_LOOP;
563 /* Add v to the block list. */
564 gcc_assert (find (blocked.begin (), blocked.end (), v) == blocked.end ());
565 blocked.push_back (v);
566 block_lists.push_back (block_vector_t ());
568 for (arc_t *arc = v->succ; arc; arc = arc->succ_next)
570 block_t *w = arc->dst;
571 if (w < start || !linfo.has_block (w))
572 continue;
574 path.push_back (arc);
575 if (w == start)
576 /* Cycle has been found. */
577 result |= handle_cycle (path, count);
578 else if (find (blocked.begin (), blocked.end (), w) == blocked.end ())
579 result |= circuit (w, path, start, blocked, block_lists, linfo, count);
581 path.pop_back ();
584 if (result != NO_LOOP)
585 unblock (v, blocked, block_lists);
586 else
587 for (arc_t *arc = v->succ; arc; arc = arc->succ_next)
589 block_t *w = arc->dst;
590 if (w < start || !linfo.has_block (w))
591 continue;
593 size_t index
594 = find (blocked.begin (), blocked.end (), w) - blocked.begin ();
595 gcc_assert (index < blocked.size ());
596 block_vector_t &list = block_lists[index];
597 if (find (list.begin (), list.end (), v) == list.end ())
598 list.push_back (v);
601 return result;
604 /* Find cycles for a LINFO. If HANDLE_NEGATIVE_CYCLES is set and the line
605 contains a negative loop, then perform the same function once again. */
607 static gcov_type
608 get_cycles_count (line_t &linfo, bool handle_negative_cycles = true)
610 /* Note that this algorithm works even if blocks aren't in sorted order.
611 Each iteration of the circuit detection is completely independent
612 (except for reducing counts, but that shouldn't matter anyways).
613 Therefore, operating on a permuted order (i.e., non-sorted) only
614 has the effect of permuting the output cycles. */
616 loop_type result = NO_LOOP;
617 gcov_type count = 0;
618 for (block_t *block = linfo.blocks; block; block = block->chain)
620 arc_vector_t path;
621 block_vector_t blocked;
622 vector<block_vector_t > block_lists;
623 result |= circuit (block, path, block, blocked, block_lists, linfo,
624 count);
627 /* If we have a negative cycle, repeat the find_cycles routine. */
628 if (result == NEGATIVE_LOOP && handle_negative_cycles)
629 count += get_cycles_count (linfo, false);
631 return count;
635 main (int argc, char **argv)
637 int argno;
638 int first_arg;
639 const char *p;
641 p = argv[0] + strlen (argv[0]);
642 while (p != argv[0] && !IS_DIR_SEPARATOR (p[-1]))
643 --p;
644 progname = p;
646 xmalloc_set_program_name (progname);
648 /* Unlock the stdio streams. */
649 unlock_std_streams ();
651 gcc_init_libintl ();
653 diagnostic_initialize (global_dc, 0);
655 /* Handle response files. */
656 expandargv (&argc, &argv);
658 a_names = 10;
659 names = XNEWVEC (name_map_t, a_names);
660 a_sources = 10;
661 sources = XNEWVEC (source_t, a_sources);
663 argno = process_args (argc, argv);
664 if (optind == argc)
665 print_usage (true);
667 if (argc - argno > 1)
668 multiple_files = 1;
670 first_arg = argno;
672 for (; argno != argc; argno++)
674 if (flag_display_progress)
675 printf ("Processing file %d out of %d\n", argno - first_arg + 1,
676 argc - first_arg);
677 process_file (argv[argno]);
680 generate_results (multiple_files ? NULL : argv[argc - 1]);
682 release_structures ();
684 return 0;
687 /* Print a usage message and exit. If ERROR_P is nonzero, this is an error,
688 otherwise the output of --help. */
690 static void
691 print_usage (int error_p)
693 FILE *file = error_p ? stderr : stdout;
694 int status = error_p ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE;
696 fnotice (file, "Usage: gcov [OPTION...] SOURCE|OBJ...\n\n");
697 fnotice (file, "Print code coverage information.\n\n");
698 fnotice (file, " -a, --all-blocks Show information for every basic block\n");
699 fnotice (file, " -b, --branch-probabilities Include branch probabilities in output\n");
700 fnotice (file, " -c, --branch-counts Output counts of branches taken\n\
701 rather than percentages\n");
702 fnotice (file, " -d, --display-progress Display progress information\n");
703 fnotice (file, " -f, --function-summaries Output summaries for each function\n");
704 fnotice (file, " -h, --help Print this help, then exit\n");
705 fnotice (file, " -i, --intermediate-format Output .gcov file in intermediate text format\n");
706 fnotice (file, " -l, --long-file-names Use long output file names for included\n\
707 source files\n");
708 fnotice (file, " -m, --demangled-names Output demangled function names\n");
709 fnotice (file, " -n, --no-output Do not create an output file\n");
710 fnotice (file, " -o, --object-directory DIR|FILE Search for object files in DIR or called FILE\n");
711 fnotice (file, " -p, --preserve-paths Preserve all pathname components\n");
712 fnotice (file, " -r, --relative-only Only show data for relative sources\n");
713 fnotice (file, " -s, --source-prefix DIR Source prefix to elide\n");
714 fnotice (file, " -u, --unconditional-branches Show unconditional branch counts too\n");
715 fnotice (file, " -v, --version Print version number, then exit\n");
716 fnotice (file, " -w, --verbose Print verbose informations\n");
717 fnotice (file, " -x, --hash-filenames Hash long pathnames\n");
718 fnotice (file, "\nFor bug reporting instructions, please see:\n%s.\n",
719 bug_report_url);
720 exit (status);
723 /* Print version information and exit. */
725 static void
726 print_version (void)
728 fnotice (stdout, "gcov %s%s\n", pkgversion_string, version_string);
729 fprintf (stdout, "Copyright %s 2017 Free Software Foundation, Inc.\n",
730 _("(C)"));
731 fnotice (stdout,
732 _("This is free software; see the source for copying conditions.\n"
733 "There is NO warranty; not even for MERCHANTABILITY or \n"
734 "FITNESS FOR A PARTICULAR PURPOSE.\n\n"));
735 exit (SUCCESS_EXIT_CODE);
738 static const struct option options[] =
740 { "help", no_argument, NULL, 'h' },
741 { "version", no_argument, NULL, 'v' },
742 { "verbose", no_argument, NULL, 'w' },
743 { "all-blocks", no_argument, NULL, 'a' },
744 { "branch-probabilities", no_argument, NULL, 'b' },
745 { "branch-counts", no_argument, NULL, 'c' },
746 { "intermediate-format", no_argument, NULL, 'i' },
747 { "no-output", no_argument, NULL, 'n' },
748 { "long-file-names", no_argument, NULL, 'l' },
749 { "function-summaries", no_argument, NULL, 'f' },
750 { "demangled-names", no_argument, NULL, 'm' },
751 { "preserve-paths", no_argument, NULL, 'p' },
752 { "relative-only", no_argument, NULL, 'r' },
753 { "object-directory", required_argument, NULL, 'o' },
754 { "object-file", required_argument, NULL, 'o' },
755 { "source-prefix", required_argument, NULL, 's' },
756 { "unconditional-branches", no_argument, NULL, 'u' },
757 { "display-progress", no_argument, NULL, 'd' },
758 { "hash-filenames", no_argument, NULL, 'x' },
759 { 0, 0, 0, 0 }
762 /* Process args, return index to first non-arg. */
764 static int
765 process_args (int argc, char **argv)
767 int opt;
769 const char *opts = "abcdfhilmno:prs:uvwx";
770 while ((opt = getopt_long (argc, argv, opts, options, NULL)) != -1)
772 switch (opt)
774 case 'a':
775 flag_all_blocks = 1;
776 break;
777 case 'b':
778 flag_branches = 1;
779 break;
780 case 'c':
781 flag_counts = 1;
782 break;
783 case 'f':
784 flag_function_summary = 1;
785 break;
786 case 'h':
787 print_usage (false);
788 /* print_usage will exit. */
789 case 'l':
790 flag_long_names = 1;
791 break;
792 case 'm':
793 flag_demangled_names = 1;
794 break;
795 case 'n':
796 flag_gcov_file = 0;
797 break;
798 case 'o':
799 object_directory = optarg;
800 break;
801 case 's':
802 source_prefix = optarg;
803 source_length = strlen (source_prefix);
804 break;
805 case 'r':
806 flag_relative_only = 1;
807 break;
808 case 'p':
809 flag_preserve_paths = 1;
810 break;
811 case 'u':
812 flag_unconditional = 1;
813 break;
814 case 'i':
815 flag_intermediate_format = 1;
816 flag_gcov_file = 1;
817 break;
818 case 'd':
819 flag_display_progress = 1;
820 break;
821 case 'x':
822 flag_hash_filenames = 1;
823 break;
824 case 'w':
825 flag_verbose = 1;
826 break;
827 case 'v':
828 print_version ();
829 /* print_version will exit. */
830 default:
831 print_usage (true);
832 /* print_usage will exit. */
836 return optind;
839 /* Output the result in intermediate format used by 'lcov'.
841 The intermediate format contains a single file named 'foo.cc.gcov',
842 with no source code included. A sample output is
844 file:foo.cc
845 function:5,1,_Z3foov
846 function:13,1,main
847 function:19,1,_GLOBAL__sub_I__Z3foov
848 function:19,1,_Z41__static_initialization_and_destruction_0ii
849 lcount:5,1
850 lcount:7,9
851 lcount:9,8
852 lcount:11,1
853 file:/.../iostream
854 lcount:74,1
855 file:/.../basic_ios.h
856 file:/.../ostream
857 file:/.../ios_base.h
858 function:157,0,_ZStorSt12_Ios_IostateS_
859 lcount:157,0
860 file:/.../char_traits.h
861 function:258,0,_ZNSt11char_traitsIcE6lengthEPKc
862 lcount:258,0
865 The default gcov outputs multiple files: 'foo.cc.gcov',
866 'iostream.gcov', 'ios_base.h.gcov', etc. with source code
867 included. Instead the intermediate format here outputs only a single
868 file 'foo.cc.gcov' similar to the above example. */
870 static void
871 output_intermediate_file (FILE *gcov_file, source_t *src)
873 unsigned line_num; /* current line number. */
874 const line_t *line; /* current line info ptr. */
875 function_t *fn; /* current function info ptr. */
877 fprintf (gcov_file, "file:%s\n", src->name); /* source file name */
879 for (fn = src->functions; fn; fn = fn->next_file_fn)
881 /* function:<name>,<line_number>,<execution_count> */
882 fprintf (gcov_file, "function:%d,%s,%s\n", fn->line,
883 format_gcov (fn->blocks[0].count, 0, -1),
884 flag_demangled_names ? fn->demangled_name : fn->name);
887 for (line_num = 1, line = &src->lines[line_num];
888 line_num < src->num_lines;
889 line_num++, line++)
891 arc_t *arc;
892 if (line->exists)
893 fprintf (gcov_file, "lcount:%u,%s\n", line_num,
894 format_gcov (line->count, 0, -1));
895 if (flag_branches)
896 for (arc = line->branches; arc; arc = arc->line_next)
898 if (!arc->is_unconditional && !arc->is_call_non_return)
900 const char *branch_type;
901 /* branch:<line_num>,<branch_coverage_type>
902 branch_coverage_type
903 : notexec (Branch not executed)
904 : taken (Branch executed and taken)
905 : nottaken (Branch executed, but not taken)
907 if (arc->src->count)
908 branch_type = (arc->count > 0) ? "taken" : "nottaken";
909 else
910 branch_type = "notexec";
911 fprintf (gcov_file, "branch:%d,%s\n", line_num, branch_type);
917 /* Process a single input file. */
919 static void
920 process_file (const char *file_name)
922 function_t *fns;
924 create_file_names (file_name);
925 fns = read_graph_file ();
926 if (!fns)
927 return;
929 read_count_file (fns);
930 while (fns)
932 function_t *fn = fns;
934 fns = fn->next;
935 fn->next = NULL;
936 if (fn->counts || no_data_file)
938 unsigned src = fn->src;
939 unsigned line = fn->line;
940 unsigned block_no;
941 function_t *probe, **prev;
943 /* Now insert it into the source file's list of
944 functions. Normally functions will be encountered in
945 ascending order, so a simple scan is quick. Note we're
946 building this list in reverse order. */
947 for (prev = &sources[src].functions;
948 (probe = *prev); prev = &probe->next_file_fn)
949 if (probe->line <= line)
950 break;
951 fn->next_file_fn = probe;
952 *prev = fn;
954 /* Mark last line in files touched by function. */
955 for (block_no = 0; block_no != fn->blocks.size (); block_no++)
957 block_t *block = &fn->blocks[block_no];
958 for (unsigned i = 0; i < block->locations.size (); i++)
960 unsigned s = block->locations[i].source_file_idx;
962 /* Sort lines of locations. */
963 sort (block->locations[i].lines.begin (),
964 block->locations[i].lines.end ());
966 if (!block->locations[i].lines.empty ())
968 unsigned last_line
969 = block->locations[i].lines.back () + 1;
970 if (last_line > sources[s].num_lines)
971 sources[s].num_lines = last_line;
976 solve_flow_graph (fn);
977 if (fn->has_catch)
978 find_exception_blocks (fn);
979 *fn_end = fn;
980 fn_end = &fn->next;
982 else
983 /* The function was not in the executable -- some other
984 instance must have been selected. */
985 delete fn;
989 static void
990 output_gcov_file (const char *file_name, source_t *src)
992 char *gcov_file_name = make_gcov_file_name (file_name, src->coverage.name);
994 if (src->coverage.lines)
996 FILE *gcov_file = fopen (gcov_file_name, "w");
997 if (gcov_file)
999 fnotice (stdout, "Creating '%s'\n", gcov_file_name);
1001 if (flag_intermediate_format)
1002 output_intermediate_file (gcov_file, src);
1003 else
1004 output_lines (gcov_file, src);
1005 if (ferror (gcov_file))
1006 fnotice (stderr, "Error writing output file '%s'\n", gcov_file_name);
1007 fclose (gcov_file);
1009 else
1010 fnotice (stderr, "Could not open output file '%s'\n", gcov_file_name);
1012 else
1014 unlink (gcov_file_name);
1015 fnotice (stdout, "Removing '%s'\n", gcov_file_name);
1017 free (gcov_file_name);
1020 static void
1021 generate_results (const char *file_name)
1023 unsigned ix;
1024 source_t *src;
1025 function_t *fn;
1027 for (ix = n_sources, src = sources; ix--; src++)
1028 if (src->num_lines)
1029 src->lines = XCNEWVEC (line_t, src->num_lines);
1031 for (fn = functions; fn; fn = fn->next)
1033 coverage_t coverage;
1035 memset (&coverage, 0, sizeof (coverage));
1036 coverage.name = flag_demangled_names ? fn->demangled_name : fn->name;
1037 add_line_counts (flag_function_summary ? &coverage : NULL, fn);
1038 if (flag_function_summary)
1040 function_summary (&coverage, "Function");
1041 fnotice (stdout, "\n");
1045 if (file_name)
1047 name_map_t *name_map = (name_map_t *)bsearch
1048 (file_name, names, n_names, sizeof (*names), name_search);
1049 if (name_map)
1050 file_name = sources[name_map->src].coverage.name;
1051 else
1052 file_name = canonicalize_name (file_name);
1055 for (ix = n_sources, src = sources; ix--; src++)
1057 if (flag_relative_only)
1059 /* Ignore this source, if it is an absolute path (after
1060 source prefix removal). */
1061 char first = src->coverage.name[0];
1063 #if HAVE_DOS_BASED_FILE_SYSTEM
1064 if (first && src->coverage.name[1] == ':')
1065 first = src->coverage.name[2];
1066 #endif
1067 if (IS_DIR_SEPARATOR (first))
1068 continue;
1071 accumulate_line_counts (src);
1072 function_summary (&src->coverage, "File");
1073 total_lines += src->coverage.lines;
1074 total_executed += src->coverage.lines_executed;
1075 if (flag_gcov_file)
1077 output_gcov_file (file_name, src);
1078 fnotice (stdout, "\n");
1082 if (!file_name)
1083 executed_summary (total_lines, total_executed);
1086 /* Release all memory used. */
1088 static void
1089 release_structures (void)
1091 unsigned ix;
1092 function_t *fn;
1094 for (ix = n_sources; ix--;)
1095 free (sources[ix].lines);
1096 free (sources);
1098 for (ix = n_names; ix--;)
1099 free (names[ix].name);
1100 free (names);
1102 while ((fn = functions))
1104 functions = fn->next;
1105 delete fn;
1109 /* Generate the names of the graph and data files. If OBJECT_DIRECTORY
1110 is not specified, these are named from FILE_NAME sans extension. If
1111 OBJECT_DIRECTORY is specified and is a directory, the files are in that
1112 directory, but named from the basename of the FILE_NAME, sans extension.
1113 Otherwise OBJECT_DIRECTORY is taken to be the name of the object *file*
1114 and the data files are named from that. */
1116 static void
1117 create_file_names (const char *file_name)
1119 char *cptr;
1120 char *name;
1121 int length = strlen (file_name);
1122 int base;
1124 /* Free previous file names. */
1125 free (bbg_file_name);
1126 free (da_file_name);
1127 da_file_name = bbg_file_name = NULL;
1128 bbg_file_time = 0;
1129 bbg_stamp = 0;
1131 if (object_directory && object_directory[0])
1133 struct stat status;
1135 length += strlen (object_directory) + 2;
1136 name = XNEWVEC (char, length);
1137 name[0] = 0;
1139 base = !stat (object_directory, &status) && S_ISDIR (status.st_mode);
1140 strcat (name, object_directory);
1141 if (base && (!IS_DIR_SEPARATOR (name[strlen (name) - 1])))
1142 strcat (name, "/");
1144 else
1146 name = XNEWVEC (char, length + 1);
1147 strcpy (name, file_name);
1148 base = 0;
1151 if (base)
1153 /* Append source file name. */
1154 const char *cptr = lbasename (file_name);
1155 strcat (name, cptr ? cptr : file_name);
1158 /* Remove the extension. */
1159 cptr = strrchr (CONST_CAST (char *, lbasename (name)), '.');
1160 if (cptr)
1161 *cptr = 0;
1163 length = strlen (name);
1165 bbg_file_name = XNEWVEC (char, length + strlen (GCOV_NOTE_SUFFIX) + 1);
1166 strcpy (bbg_file_name, name);
1167 strcpy (bbg_file_name + length, GCOV_NOTE_SUFFIX);
1169 da_file_name = XNEWVEC (char, length + strlen (GCOV_DATA_SUFFIX) + 1);
1170 strcpy (da_file_name, name);
1171 strcpy (da_file_name + length, GCOV_DATA_SUFFIX);
1173 free (name);
1174 return;
1177 /* A is a string and B is a pointer to name_map_t. Compare for file
1178 name orderability. */
1180 static int
1181 name_search (const void *a_, const void *b_)
1183 const char *a = (const char *)a_;
1184 const name_map_t *b = (const name_map_t *)b_;
1186 #if HAVE_DOS_BASED_FILE_SYSTEM
1187 return strcasecmp (a, b->name);
1188 #else
1189 return strcmp (a, b->name);
1190 #endif
1193 /* A and B are a pointer to name_map_t. Compare for file name
1194 orderability. */
1196 static int
1197 name_sort (const void *a_, const void *b_)
1199 const name_map_t *a = (const name_map_t *)a_;
1200 return name_search (a->name, b_);
1203 /* Find or create a source file structure for FILE_NAME. Copies
1204 FILE_NAME on creation */
1206 static unsigned
1207 find_source (const char *file_name)
1209 name_map_t *name_map;
1210 char *canon;
1211 unsigned idx;
1212 struct stat status;
1214 if (!file_name)
1215 file_name = "<unknown>";
1216 name_map = (name_map_t *)bsearch
1217 (file_name, names, n_names, sizeof (*names), name_search);
1218 if (name_map)
1220 idx = name_map->src;
1221 goto check_date;
1224 if (n_names + 2 > a_names)
1226 /* Extend the name map array -- we'll be inserting one or two
1227 entries. */
1228 a_names *= 2;
1229 name_map = XNEWVEC (name_map_t, a_names);
1230 memcpy (name_map, names, n_names * sizeof (*names));
1231 free (names);
1232 names = name_map;
1235 /* Not found, try the canonical name. */
1236 canon = canonicalize_name (file_name);
1237 name_map = (name_map_t *) bsearch (canon, names, n_names, sizeof (*names),
1238 name_search);
1239 if (!name_map)
1241 /* Not found with canonical name, create a new source. */
1242 source_t *src;
1244 if (n_sources == a_sources)
1246 a_sources *= 2;
1247 src = XNEWVEC (source_t, a_sources);
1248 memcpy (src, sources, n_sources * sizeof (*sources));
1249 free (sources);
1250 sources = src;
1253 idx = n_sources;
1255 name_map = &names[n_names++];
1256 name_map->name = canon;
1257 name_map->src = idx;
1259 src = &sources[n_sources++];
1260 memset (src, 0, sizeof (*src));
1261 src->name = canon;
1262 src->coverage.name = src->name;
1263 if (source_length
1264 #if HAVE_DOS_BASED_FILE_SYSTEM
1265 /* You lose if separators don't match exactly in the
1266 prefix. */
1267 && !strncasecmp (source_prefix, src->coverage.name, source_length)
1268 #else
1269 && !strncmp (source_prefix, src->coverage.name, source_length)
1270 #endif
1271 && IS_DIR_SEPARATOR (src->coverage.name[source_length]))
1272 src->coverage.name += source_length + 1;
1273 if (!stat (src->name, &status))
1274 src->file_time = status.st_mtime;
1276 else
1277 idx = name_map->src;
1279 if (name_search (file_name, name_map))
1281 /* Append the non-canonical name. */
1282 name_map = &names[n_names++];
1283 name_map->name = xstrdup (file_name);
1284 name_map->src = idx;
1287 /* Resort the name map. */
1288 qsort (names, n_names, sizeof (*names), name_sort);
1290 check_date:
1291 if (sources[idx].file_time > bbg_file_time)
1293 static int info_emitted;
1295 fnotice (stderr, "%s:source file is newer than notes file '%s'\n",
1296 file_name, bbg_file_name);
1297 if (!info_emitted)
1299 fnotice (stderr,
1300 "(the message is displayed only once per source file)\n");
1301 info_emitted = 1;
1303 sources[idx].file_time = 0;
1306 return idx;
1309 /* Read the notes file. Return list of functions read -- in reverse order. */
1311 static function_t *
1312 read_graph_file (void)
1314 unsigned version;
1315 unsigned current_tag = 0;
1316 function_t *fn = NULL;
1317 function_t *fns = NULL;
1318 function_t **fns_end = &fns;
1319 unsigned tag;
1321 if (!gcov_open (bbg_file_name, 1))
1323 fnotice (stderr, "%s:cannot open notes file\n", bbg_file_name);
1324 return fns;
1326 bbg_file_time = gcov_time ();
1327 if (!gcov_magic (gcov_read_unsigned (), GCOV_NOTE_MAGIC))
1329 fnotice (stderr, "%s:not a gcov notes file\n", bbg_file_name);
1330 gcov_close ();
1331 return fns;
1334 version = gcov_read_unsigned ();
1335 if (version != GCOV_VERSION)
1337 char v[4], e[4];
1339 GCOV_UNSIGNED2STRING (v, version);
1340 GCOV_UNSIGNED2STRING (e, GCOV_VERSION);
1342 fnotice (stderr, "%s:version '%.4s', prefer '%.4s'\n",
1343 bbg_file_name, v, e);
1345 bbg_stamp = gcov_read_unsigned ();
1347 while ((tag = gcov_read_unsigned ()))
1349 unsigned length = gcov_read_unsigned ();
1350 gcov_position_t base = gcov_position ();
1352 if (tag == GCOV_TAG_FUNCTION)
1354 char *function_name;
1355 unsigned ident, lineno;
1356 unsigned lineno_checksum, cfg_checksum;
1358 ident = gcov_read_unsigned ();
1359 lineno_checksum = gcov_read_unsigned ();
1360 cfg_checksum = gcov_read_unsigned ();
1361 function_name = xstrdup (gcov_read_string ());
1362 unsigned src_idx = find_source (gcov_read_string ());
1363 lineno = gcov_read_unsigned ();
1365 fn = new function_t;
1366 fn->name = function_name;
1367 if (flag_demangled_names)
1369 fn->demangled_name = cplus_demangle (fn->name, DMGL_PARAMS);
1370 if (!fn->demangled_name)
1371 fn->demangled_name = fn->name;
1373 fn->ident = ident;
1374 fn->lineno_checksum = lineno_checksum;
1375 fn->cfg_checksum = cfg_checksum;
1376 fn->src = src_idx;
1377 fn->line = lineno;
1379 fn->next_file_fn = NULL;
1380 fn->next = NULL;
1381 *fns_end = fn;
1382 fns_end = &fn->next;
1383 current_tag = tag;
1385 else if (fn && tag == GCOV_TAG_BLOCKS)
1387 if (!fn->blocks.empty ())
1388 fnotice (stderr, "%s:already seen blocks for '%s'\n",
1389 bbg_file_name, fn->name);
1390 else
1391 fn->blocks.resize (gcov_read_unsigned ());
1393 else if (fn && tag == GCOV_TAG_ARCS)
1395 unsigned src = gcov_read_unsigned ();
1396 fn->blocks[src].id = src;
1397 unsigned num_dests = GCOV_TAG_ARCS_NUM (length);
1398 block_t *src_blk = &fn->blocks[src];
1399 unsigned mark_catches = 0;
1400 struct arc_info *arc;
1402 if (src >= fn->blocks.size () || fn->blocks[src].succ)
1403 goto corrupt;
1405 while (num_dests--)
1407 unsigned dest = gcov_read_unsigned ();
1408 unsigned flags = gcov_read_unsigned ();
1410 if (dest >= fn->blocks.size ())
1411 goto corrupt;
1412 arc = XCNEW (arc_t);
1414 arc->dst = &fn->blocks[dest];
1415 arc->src = src_blk;
1417 arc->count = 0;
1418 arc->count_valid = 0;
1419 arc->on_tree = !!(flags & GCOV_ARC_ON_TREE);
1420 arc->fake = !!(flags & GCOV_ARC_FAKE);
1421 arc->fall_through = !!(flags & GCOV_ARC_FALLTHROUGH);
1423 arc->succ_next = src_blk->succ;
1424 src_blk->succ = arc;
1425 src_blk->num_succ++;
1427 arc->pred_next = fn->blocks[dest].pred;
1428 fn->blocks[dest].pred = arc;
1429 fn->blocks[dest].num_pred++;
1431 if (arc->fake)
1433 if (src)
1435 /* Exceptional exit from this function, the
1436 source block must be a call. */
1437 fn->blocks[src].is_call_site = 1;
1438 arc->is_call_non_return = 1;
1439 mark_catches = 1;
1441 else
1443 /* Non-local return from a callee of this
1444 function. The destination block is a setjmp. */
1445 arc->is_nonlocal_return = 1;
1446 fn->blocks[dest].is_nonlocal_return = 1;
1450 if (!arc->on_tree)
1451 fn->num_counts++;
1454 if (mark_catches)
1456 /* We have a fake exit from this block. The other
1457 non-fall through exits must be to catch handlers.
1458 Mark them as catch arcs. */
1460 for (arc = src_blk->succ; arc; arc = arc->succ_next)
1461 if (!arc->fake && !arc->fall_through)
1463 arc->is_throw = 1;
1464 fn->has_catch = 1;
1468 else if (fn && tag == GCOV_TAG_LINES)
1470 unsigned blockno = gcov_read_unsigned ();
1471 block_t *block = &fn->blocks[blockno];
1473 if (blockno >= fn->blocks.size ())
1474 goto corrupt;
1476 while (true)
1478 unsigned lineno = gcov_read_unsigned ();
1480 if (lineno)
1481 block->locations.back ().lines.push_back (lineno);
1482 else
1484 const char *file_name = gcov_read_string ();
1486 if (!file_name)
1487 break;
1488 block->locations.push_back (block_location_info
1489 (find_source (file_name)));
1493 else if (current_tag && !GCOV_TAG_IS_SUBTAG (current_tag, tag))
1495 fn = NULL;
1496 current_tag = 0;
1498 gcov_sync (base, length);
1499 if (gcov_is_error ())
1501 corrupt:;
1502 fnotice (stderr, "%s:corrupted\n", bbg_file_name);
1503 break;
1506 gcov_close ();
1508 if (!fns)
1509 fnotice (stderr, "%s:no functions found\n", bbg_file_name);
1511 return fns;
1514 /* Reads profiles from the count file and attach to each
1515 function. Return nonzero if fatal error. */
1517 static int
1518 read_count_file (function_t *fns)
1520 unsigned ix;
1521 unsigned version;
1522 unsigned tag;
1523 function_t *fn = NULL;
1524 int error = 0;
1526 if (!gcov_open (da_file_name, 1))
1528 fnotice (stderr, "%s:cannot open data file, assuming not executed\n",
1529 da_file_name);
1530 no_data_file = 1;
1531 return 0;
1533 if (!gcov_magic (gcov_read_unsigned (), GCOV_DATA_MAGIC))
1535 fnotice (stderr, "%s:not a gcov data file\n", da_file_name);
1536 cleanup:;
1537 gcov_close ();
1538 return 1;
1540 version = gcov_read_unsigned ();
1541 if (version != GCOV_VERSION)
1543 char v[4], e[4];
1545 GCOV_UNSIGNED2STRING (v, version);
1546 GCOV_UNSIGNED2STRING (e, GCOV_VERSION);
1548 fnotice (stderr, "%s:version '%.4s', prefer version '%.4s'\n",
1549 da_file_name, v, e);
1551 tag = gcov_read_unsigned ();
1552 if (tag != bbg_stamp)
1554 fnotice (stderr, "%s:stamp mismatch with notes file\n", da_file_name);
1555 goto cleanup;
1558 while ((tag = gcov_read_unsigned ()))
1560 unsigned length = gcov_read_unsigned ();
1561 unsigned long base = gcov_position ();
1563 if (tag == GCOV_TAG_PROGRAM_SUMMARY)
1565 struct gcov_summary summary;
1566 gcov_read_summary (&summary);
1567 object_runs += summary.ctrs[GCOV_COUNTER_ARCS].runs;
1568 program_count++;
1570 else if (tag == GCOV_TAG_FUNCTION && !length)
1571 ; /* placeholder */
1572 else if (tag == GCOV_TAG_FUNCTION && length == GCOV_TAG_FUNCTION_LENGTH)
1574 unsigned ident;
1575 struct function_info *fn_n;
1577 /* Try to find the function in the list. To speed up the
1578 search, first start from the last function found. */
1579 ident = gcov_read_unsigned ();
1580 fn_n = fns;
1581 for (fn = fn ? fn->next : NULL; ; fn = fn->next)
1583 if (fn)
1585 else if ((fn = fn_n))
1586 fn_n = NULL;
1587 else
1589 fnotice (stderr, "%s:unknown function '%u'\n",
1590 da_file_name, ident);
1591 break;
1593 if (fn->ident == ident)
1594 break;
1597 if (!fn)
1599 else if (gcov_read_unsigned () != fn->lineno_checksum
1600 || gcov_read_unsigned () != fn->cfg_checksum)
1602 mismatch:;
1603 fnotice (stderr, "%s:profile mismatch for '%s'\n",
1604 da_file_name, fn->name);
1605 goto cleanup;
1608 else if (tag == GCOV_TAG_FOR_COUNTER (GCOV_COUNTER_ARCS) && fn)
1610 if (length != GCOV_TAG_COUNTER_LENGTH (fn->num_counts))
1611 goto mismatch;
1613 if (!fn->counts)
1614 fn->counts = XCNEWVEC (gcov_type, fn->num_counts);
1616 for (ix = 0; ix != fn->num_counts; ix++)
1617 fn->counts[ix] += gcov_read_counter ();
1619 gcov_sync (base, length);
1620 if ((error = gcov_is_error ()))
1622 fnotice (stderr,
1623 error < 0
1624 ? N_("%s:overflowed\n")
1625 : N_("%s:corrupted\n"),
1626 da_file_name);
1627 goto cleanup;
1631 gcov_close ();
1632 return 0;
1635 /* Solve the flow graph. Propagate counts from the instrumented arcs
1636 to the blocks and the uninstrumented arcs. */
1638 static void
1639 solve_flow_graph (function_t *fn)
1641 unsigned ix;
1642 arc_t *arc;
1643 gcov_type *count_ptr = fn->counts;
1644 block_t *blk;
1645 block_t *valid_blocks = NULL; /* valid, but unpropagated blocks. */
1646 block_t *invalid_blocks = NULL; /* invalid, but inferable blocks. */
1648 /* The arcs were built in reverse order. Fix that now. */
1649 for (ix = fn->blocks.size (); ix--;)
1651 arc_t *arc_p, *arc_n;
1653 for (arc_p = NULL, arc = fn->blocks[ix].succ; arc;
1654 arc_p = arc, arc = arc_n)
1656 arc_n = arc->succ_next;
1657 arc->succ_next = arc_p;
1659 fn->blocks[ix].succ = arc_p;
1661 for (arc_p = NULL, arc = fn->blocks[ix].pred; arc;
1662 arc_p = arc, arc = arc_n)
1664 arc_n = arc->pred_next;
1665 arc->pred_next = arc_p;
1667 fn->blocks[ix].pred = arc_p;
1670 if (fn->blocks.size () < 2)
1671 fnotice (stderr, "%s:'%s' lacks entry and/or exit blocks\n",
1672 bbg_file_name, fn->name);
1673 else
1675 if (fn->blocks[ENTRY_BLOCK].num_pred)
1676 fnotice (stderr, "%s:'%s' has arcs to entry block\n",
1677 bbg_file_name, fn->name);
1678 else
1679 /* We can't deduce the entry block counts from the lack of
1680 predecessors. */
1681 fn->blocks[ENTRY_BLOCK].num_pred = ~(unsigned)0;
1683 if (fn->blocks[EXIT_BLOCK].num_succ)
1684 fnotice (stderr, "%s:'%s' has arcs from exit block\n",
1685 bbg_file_name, fn->name);
1686 else
1687 /* Likewise, we can't deduce exit block counts from the lack
1688 of its successors. */
1689 fn->blocks[EXIT_BLOCK].num_succ = ~(unsigned)0;
1692 /* Propagate the measured counts, this must be done in the same
1693 order as the code in profile.c */
1694 for (unsigned i = 0; i < fn->blocks.size (); i++)
1696 blk = &fn->blocks[i];
1697 block_t const *prev_dst = NULL;
1698 int out_of_order = 0;
1699 int non_fake_succ = 0;
1701 for (arc = blk->succ; arc; arc = arc->succ_next)
1703 if (!arc->fake)
1704 non_fake_succ++;
1706 if (!arc->on_tree)
1708 if (count_ptr)
1709 arc->count = *count_ptr++;
1710 arc->count_valid = 1;
1711 blk->num_succ--;
1712 arc->dst->num_pred--;
1714 if (prev_dst && prev_dst > arc->dst)
1715 out_of_order = 1;
1716 prev_dst = arc->dst;
1718 if (non_fake_succ == 1)
1720 /* If there is only one non-fake exit, it is an
1721 unconditional branch. */
1722 for (arc = blk->succ; arc; arc = arc->succ_next)
1723 if (!arc->fake)
1725 arc->is_unconditional = 1;
1726 /* If this block is instrumenting a call, it might be
1727 an artificial block. It is not artificial if it has
1728 a non-fallthrough exit, or the destination of this
1729 arc has more than one entry. Mark the destination
1730 block as a return site, if none of those conditions
1731 hold. */
1732 if (blk->is_call_site && arc->fall_through
1733 && arc->dst->pred == arc && !arc->pred_next)
1734 arc->dst->is_call_return = 1;
1738 /* Sort the successor arcs into ascending dst order. profile.c
1739 normally produces arcs in the right order, but sometimes with
1740 one or two out of order. We're not using a particularly
1741 smart sort. */
1742 if (out_of_order)
1744 arc_t *start = blk->succ;
1745 unsigned changes = 1;
1747 while (changes)
1749 arc_t *arc, *arc_p, *arc_n;
1751 changes = 0;
1752 for (arc_p = NULL, arc = start; (arc_n = arc->succ_next);)
1754 if (arc->dst > arc_n->dst)
1756 changes = 1;
1757 if (arc_p)
1758 arc_p->succ_next = arc_n;
1759 else
1760 start = arc_n;
1761 arc->succ_next = arc_n->succ_next;
1762 arc_n->succ_next = arc;
1763 arc_p = arc_n;
1765 else
1767 arc_p = arc;
1768 arc = arc_n;
1772 blk->succ = start;
1775 /* Place it on the invalid chain, it will be ignored if that's
1776 wrong. */
1777 blk->invalid_chain = 1;
1778 blk->chain = invalid_blocks;
1779 invalid_blocks = blk;
1782 while (invalid_blocks || valid_blocks)
1784 while ((blk = invalid_blocks))
1786 gcov_type total = 0;
1787 const arc_t *arc;
1789 invalid_blocks = blk->chain;
1790 blk->invalid_chain = 0;
1791 if (!blk->num_succ)
1792 for (arc = blk->succ; arc; arc = arc->succ_next)
1793 total += arc->count;
1794 else if (!blk->num_pred)
1795 for (arc = blk->pred; arc; arc = arc->pred_next)
1796 total += arc->count;
1797 else
1798 continue;
1800 blk->count = total;
1801 blk->count_valid = 1;
1802 blk->chain = valid_blocks;
1803 blk->valid_chain = 1;
1804 valid_blocks = blk;
1806 while ((blk = valid_blocks))
1808 gcov_type total;
1809 arc_t *arc, *inv_arc;
1811 valid_blocks = blk->chain;
1812 blk->valid_chain = 0;
1813 if (blk->num_succ == 1)
1815 block_t *dst;
1817 total = blk->count;
1818 inv_arc = NULL;
1819 for (arc = blk->succ; arc; arc = arc->succ_next)
1821 total -= arc->count;
1822 if (!arc->count_valid)
1823 inv_arc = arc;
1825 dst = inv_arc->dst;
1826 inv_arc->count_valid = 1;
1827 inv_arc->count = total;
1828 blk->num_succ--;
1829 dst->num_pred--;
1830 if (dst->count_valid)
1832 if (dst->num_pred == 1 && !dst->valid_chain)
1834 dst->chain = valid_blocks;
1835 dst->valid_chain = 1;
1836 valid_blocks = dst;
1839 else
1841 if (!dst->num_pred && !dst->invalid_chain)
1843 dst->chain = invalid_blocks;
1844 dst->invalid_chain = 1;
1845 invalid_blocks = dst;
1849 if (blk->num_pred == 1)
1851 block_t *src;
1853 total = blk->count;
1854 inv_arc = NULL;
1855 for (arc = blk->pred; arc; arc = arc->pred_next)
1857 total -= arc->count;
1858 if (!arc->count_valid)
1859 inv_arc = arc;
1861 src = inv_arc->src;
1862 inv_arc->count_valid = 1;
1863 inv_arc->count = total;
1864 blk->num_pred--;
1865 src->num_succ--;
1866 if (src->count_valid)
1868 if (src->num_succ == 1 && !src->valid_chain)
1870 src->chain = valid_blocks;
1871 src->valid_chain = 1;
1872 valid_blocks = src;
1875 else
1877 if (!src->num_succ && !src->invalid_chain)
1879 src->chain = invalid_blocks;
1880 src->invalid_chain = 1;
1881 invalid_blocks = src;
1888 /* If the graph has been correctly solved, every block will have a
1889 valid count. */
1890 for (unsigned i = 0; ix < fn->blocks.size (); i++)
1891 if (!fn->blocks[i].count_valid)
1893 fnotice (stderr, "%s:graph is unsolvable for '%s'\n",
1894 bbg_file_name, fn->name);
1895 break;
1899 /* Mark all the blocks only reachable via an incoming catch. */
1901 static void
1902 find_exception_blocks (function_t *fn)
1904 unsigned ix;
1905 block_t **queue = XALLOCAVEC (block_t *, fn->blocks.size ());
1907 /* First mark all blocks as exceptional. */
1908 for (ix = fn->blocks.size (); ix--;)
1909 fn->blocks[ix].exceptional = 1;
1911 /* Now mark all the blocks reachable via non-fake edges */
1912 queue[0] = &fn->blocks[0];
1913 queue[0]->exceptional = 0;
1914 for (ix = 1; ix;)
1916 block_t *block = queue[--ix];
1917 const arc_t *arc;
1919 for (arc = block->succ; arc; arc = arc->succ_next)
1920 if (!arc->fake && !arc->is_throw && arc->dst->exceptional)
1922 arc->dst->exceptional = 0;
1923 queue[ix++] = arc->dst;
1929 /* Increment totals in COVERAGE according to arc ARC. */
1931 static void
1932 add_branch_counts (coverage_t *coverage, const arc_t *arc)
1934 if (arc->is_call_non_return)
1936 coverage->calls++;
1937 if (arc->src->count)
1938 coverage->calls_executed++;
1940 else if (!arc->is_unconditional)
1942 coverage->branches++;
1943 if (arc->src->count)
1944 coverage->branches_executed++;
1945 if (arc->count)
1946 coverage->branches_taken++;
1950 /* Format a GCOV_TYPE integer as either a percent ratio, or absolute
1951 count. If dp >= 0, format TOP/BOTTOM * 100 to DP decimal places.
1952 If DP is zero, no decimal point is printed. Only print 100% when
1953 TOP==BOTTOM and only print 0% when TOP=0. If dp < 0, then simply
1954 format TOP. Return pointer to a static string. */
1956 static char const *
1957 format_gcov (gcov_type top, gcov_type bottom, int dp)
1959 static char buffer[20];
1961 /* Handle invalid values that would result in a misleading value. */
1962 if (bottom != 0 && top > bottom && dp >= 0)
1964 sprintf (buffer, "NAN %%");
1965 return buffer;
1968 if (dp >= 0)
1970 float ratio = bottom ? (float)top / bottom : 0;
1971 int ix;
1972 unsigned limit = 100;
1973 unsigned percent;
1975 for (ix = dp; ix--; )
1976 limit *= 10;
1978 percent = (unsigned) (ratio * limit + (float)0.5);
1979 if (percent <= 0 && top)
1980 percent = 1;
1981 else if (percent >= limit && top != bottom)
1982 percent = limit - 1;
1983 ix = sprintf (buffer, "%.*u%%", dp + 1, percent);
1984 if (dp)
1986 dp++;
1989 buffer[ix+1] = buffer[ix];
1990 ix--;
1992 while (dp--);
1993 buffer[ix + 1] = '.';
1996 else
1997 sprintf (buffer, "%" PRId64, (int64_t)top);
1999 return buffer;
2002 /* Summary of execution */
2004 static void
2005 executed_summary (unsigned lines, unsigned executed)
2007 if (lines)
2008 fnotice (stdout, "Lines executed:%s of %d\n",
2009 format_gcov (executed, lines, 2), lines);
2010 else
2011 fnotice (stdout, "No executable lines\n");
2014 /* Output summary info for a function or file. */
2016 static void
2017 function_summary (const coverage_t *coverage, const char *title)
2019 fnotice (stdout, "%s '%s'\n", title, coverage->name);
2020 executed_summary (coverage->lines, coverage->lines_executed);
2022 if (flag_branches)
2024 if (coverage->branches)
2026 fnotice (stdout, "Branches executed:%s of %d\n",
2027 format_gcov (coverage->branches_executed,
2028 coverage->branches, 2),
2029 coverage->branches);
2030 fnotice (stdout, "Taken at least once:%s of %d\n",
2031 format_gcov (coverage->branches_taken,
2032 coverage->branches, 2),
2033 coverage->branches);
2035 else
2036 fnotice (stdout, "No branches\n");
2037 if (coverage->calls)
2038 fnotice (stdout, "Calls executed:%s of %d\n",
2039 format_gcov (coverage->calls_executed, coverage->calls, 2),
2040 coverage->calls);
2041 else
2042 fnotice (stdout, "No calls\n");
2046 /* Canonicalize the filename NAME by canonicalizing directory
2047 separators, eliding . components and resolving .. components
2048 appropriately. Always returns a unique string. */
2050 static char *
2051 canonicalize_name (const char *name)
2053 /* The canonical name cannot be longer than the incoming name. */
2054 char *result = XNEWVEC (char, strlen (name) + 1);
2055 const char *base = name, *probe;
2056 char *ptr = result;
2057 char *dd_base;
2058 int slash = 0;
2060 #if HAVE_DOS_BASED_FILE_SYSTEM
2061 if (base[0] && base[1] == ':')
2063 result[0] = base[0];
2064 result[1] = ':';
2065 base += 2;
2066 ptr += 2;
2068 #endif
2069 for (dd_base = ptr; *base; base = probe)
2071 size_t len;
2073 for (probe = base; *probe; probe++)
2074 if (IS_DIR_SEPARATOR (*probe))
2075 break;
2077 len = probe - base;
2078 if (len == 1 && base[0] == '.')
2079 /* Elide a '.' directory */
2081 else if (len == 2 && base[0] == '.' && base[1] == '.')
2083 /* '..', we can only elide it and the previous directory, if
2084 we're not a symlink. */
2085 struct stat ATTRIBUTE_UNUSED buf;
2087 *ptr = 0;
2088 if (dd_base == ptr
2089 #if defined (S_ISLNK)
2090 /* S_ISLNK is not POSIX.1-1996. */
2091 || stat (result, &buf) || S_ISLNK (buf.st_mode)
2092 #endif
2095 /* Cannot elide, or unreadable or a symlink. */
2096 dd_base = ptr + 2 + slash;
2097 goto regular;
2099 while (ptr != dd_base && *ptr != '/')
2100 ptr--;
2101 slash = ptr != result;
2103 else
2105 regular:
2106 /* Regular pathname component. */
2107 if (slash)
2108 *ptr++ = '/';
2109 memcpy (ptr, base, len);
2110 ptr += len;
2111 slash = 1;
2114 for (; IS_DIR_SEPARATOR (*probe); probe++)
2115 continue;
2117 *ptr = 0;
2119 return result;
2122 /* Print hex representation of 16 bytes from SUM and write it to BUFFER. */
2124 static void
2125 md5sum_to_hex (const char *sum, char *buffer)
2127 for (unsigned i = 0; i < 16; i++)
2128 sprintf (buffer + (2 * i), "%02x", (unsigned char)sum[i]);
2131 /* Generate an output file name. INPUT_NAME is the canonicalized main
2132 input file and SRC_NAME is the canonicalized file name.
2133 LONG_OUTPUT_NAMES and PRESERVE_PATHS affect name generation. With
2134 long_output_names we prepend the processed name of the input file
2135 to each output name (except when the current source file is the
2136 input file, so you don't get a double concatenation). The two
2137 components are separated by '##'. With preserve_paths we create a
2138 filename from all path components of the source file, replacing '/'
2139 with '#', and .. with '^', without it we simply take the basename
2140 component. (Remember, the canonicalized name will already have
2141 elided '.' components and converted \\ separators.) */
2143 static char *
2144 make_gcov_file_name (const char *input_name, const char *src_name)
2146 char *ptr;
2147 char *result;
2149 if (flag_long_names && input_name && strcmp (src_name, input_name))
2151 /* Generate the input filename part. */
2152 result = XNEWVEC (char, strlen (input_name) + strlen (src_name) + 10);
2154 ptr = result;
2155 ptr = mangle_name (input_name, ptr);
2156 ptr[0] = ptr[1] = '#';
2157 ptr += 2;
2159 else
2161 result = XNEWVEC (char, strlen (src_name) + 10);
2162 ptr = result;
2165 ptr = mangle_name (src_name, ptr);
2166 strcpy (ptr, ".gcov");
2168 /* When hashing filenames, we shorten them by only using the filename
2169 component and appending a hash of the full (mangled) pathname. */
2170 if (flag_hash_filenames)
2172 md5_ctx ctx;
2173 char md5sum[16];
2174 char md5sum_hex[33];
2176 md5_init_ctx (&ctx);
2177 md5_process_bytes (src_name, strlen (src_name), &ctx);
2178 md5_finish_ctx (&ctx, md5sum);
2179 md5sum_to_hex (md5sum, md5sum_hex);
2180 free (result);
2182 result = XNEWVEC (char, strlen (src_name) + 50);
2183 ptr = result;
2184 ptr = mangle_name (src_name, ptr);
2185 ptr[0] = ptr[1] = '#';
2186 ptr += 2;
2187 memcpy (ptr, md5sum_hex, 32);
2188 ptr += 32;
2189 strcpy (ptr, ".gcov");
2192 return result;
2195 static char *
2196 mangle_name (char const *base, char *ptr)
2198 size_t len;
2200 /* Generate the source filename part. */
2201 if (!flag_preserve_paths)
2203 base = lbasename (base);
2204 len = strlen (base);
2205 memcpy (ptr, base, len);
2206 ptr += len;
2208 else
2210 /* Convert '/' to '#', convert '..' to '^',
2211 convert ':' to '~' on DOS based file system. */
2212 const char *probe;
2214 #if HAVE_DOS_BASED_FILE_SYSTEM
2215 if (base[0] && base[1] == ':')
2217 ptr[0] = base[0];
2218 ptr[1] = '~';
2219 ptr += 2;
2220 base += 2;
2222 #endif
2223 for (; *base; base = probe)
2225 size_t len;
2227 for (probe = base; *probe; probe++)
2228 if (*probe == '/')
2229 break;
2230 len = probe - base;
2231 if (len == 2 && base[0] == '.' && base[1] == '.')
2232 *ptr++ = '^';
2233 else
2235 memcpy (ptr, base, len);
2236 ptr += len;
2238 if (*probe)
2240 *ptr++ = '#';
2241 probe++;
2246 return ptr;
2249 /* Scan through the bb_data for each line in the block, increment
2250 the line number execution count indicated by the execution count of
2251 the appropriate basic block. */
2253 static void
2254 add_line_counts (coverage_t *coverage, function_t *fn)
2256 bool has_any_line = false;
2257 /* Scan each basic block. */
2258 for (unsigned ix = 0; ix != fn->blocks.size (); ix++)
2260 line_t *line = NULL;
2261 block_t *block = &fn->blocks[ix];
2262 if (block->count && ix && ix + 1 != fn->blocks.size ())
2263 fn->blocks_executed++;
2264 for (unsigned i = 0; i < block->locations.size (); i++)
2266 const source_t *src = &sources[block->locations[i].source_file_idx];
2268 vector<unsigned> &lines = block->locations[i].lines;
2269 for (unsigned j = 0; j < lines.size (); j++)
2271 line = &src->lines[lines[j]];
2272 if (coverage)
2274 if (!line->exists)
2275 coverage->lines++;
2276 if (!line->count && block->count)
2277 coverage->lines_executed++;
2279 line->exists = 1;
2280 if (!block->exceptional)
2281 line->unexceptional = 1;
2282 line->count += block->count;
2285 block->cycle.arc = NULL;
2286 block->cycle.ident = ~0U;
2287 has_any_line = true;
2289 if (!ix || ix + 1 == fn->blocks.size ())
2290 /* Entry or exit block */;
2291 else if (line != NULL)
2293 block->chain = line->blocks;
2294 line->blocks = block;
2296 if (flag_branches)
2298 arc_t *arc;
2300 for (arc = block->succ; arc; arc = arc->succ_next)
2302 arc->line_next = line->branches;
2303 line->branches = arc;
2304 if (coverage && !arc->is_unconditional)
2305 add_branch_counts (coverage, arc);
2311 if (!has_any_line)
2312 fnotice (stderr, "%s:no lines for '%s'\n", bbg_file_name, fn->name);
2315 /* Accumulate the line counts of a file. */
2317 static void
2318 accumulate_line_counts (source_t *src)
2320 line_t *line;
2321 function_t *fn, *fn_p, *fn_n;
2322 unsigned ix;
2324 /* Reverse the function order. */
2325 for (fn = src->functions, fn_p = NULL; fn; fn_p = fn, fn = fn_n)
2327 fn_n = fn->next_file_fn;
2328 fn->next_file_fn = fn_p;
2330 src->functions = fn_p;
2332 for (ix = src->num_lines, line = src->lines; ix--; line++)
2334 if (line->blocks)
2336 /* The user expects the line count to be the number of times
2337 a line has been executed. Simply summing the block count
2338 will give an artificially high number. The Right Thing
2339 is to sum the entry counts to the graph of blocks on this
2340 line, then find the elementary cycles of the local graph
2341 and add the transition counts of those cycles. */
2342 block_t *block, *block_p, *block_n;
2343 gcov_type count = 0;
2345 /* Reverse the block information. */
2346 for (block = line->blocks, block_p = NULL; block;
2347 block_p = block, block = block_n)
2349 block_n = block->chain;
2350 block->chain = block_p;
2351 block->cycle.ident = ix;
2353 line->blocks = block_p;
2355 /* Sum the entry arcs. */
2356 for (block = line->blocks; block; block = block->chain)
2358 arc_t *arc;
2360 for (arc = block->pred; arc; arc = arc->pred_next)
2361 if (flag_branches)
2362 add_branch_counts (&src->coverage, arc);
2365 /* Cycle detection. */
2366 for (block = line->blocks; block; block = block->chain)
2368 for (arc_t *arc = block->pred; arc; arc = arc->pred_next)
2369 if (!line->has_block (arc->src))
2370 count += arc->count;
2371 for (arc_t *arc = block->succ; arc; arc = arc->succ_next)
2372 arc->cs_count = arc->count;
2375 /* Now, add the count of loops entirely on this line. */
2376 count += get_cycles_count (*line);
2377 line->count = count;
2380 if (line->exists)
2382 src->coverage.lines++;
2383 if (line->count)
2384 src->coverage.lines_executed++;
2389 /* Output information about ARC number IX. Returns nonzero if
2390 anything is output. */
2392 static int
2393 output_branch_count (FILE *gcov_file, int ix, const arc_t *arc)
2395 if (arc->is_call_non_return)
2397 if (arc->src->count)
2399 fnotice (gcov_file, "call %2d returned %s\n", ix,
2400 format_gcov (arc->src->count - arc->count,
2401 arc->src->count, -flag_counts));
2403 else
2404 fnotice (gcov_file, "call %2d never executed\n", ix);
2406 else if (!arc->is_unconditional)
2408 if (arc->src->count)
2409 fnotice (gcov_file, "branch %2d taken %s%s", ix,
2410 format_gcov (arc->count, arc->src->count, -flag_counts),
2411 arc->fall_through ? " (fallthrough)"
2412 : arc->is_throw ? " (throw)" : "");
2413 else
2414 fnotice (gcov_file, "branch %2d never executed", ix);
2416 if (flag_verbose)
2417 fnotice (gcov_file, " (BB %d)", arc->dst->id);
2419 fnotice (gcov_file, "\n");
2421 else if (flag_unconditional && !arc->dst->is_call_return)
2423 if (arc->src->count)
2424 fnotice (gcov_file, "unconditional %2d taken %s\n", ix,
2425 format_gcov (arc->count, arc->src->count, -flag_counts));
2426 else
2427 fnotice (gcov_file, "unconditional %2d never executed\n", ix);
2429 else
2430 return 0;
2431 return 1;
2434 static const char *
2435 read_line (FILE *file)
2437 static char *string;
2438 static size_t string_len;
2439 size_t pos = 0;
2440 char *ptr;
2442 if (!string_len)
2444 string_len = 200;
2445 string = XNEWVEC (char, string_len);
2448 while ((ptr = fgets (string + pos, string_len - pos, file)))
2450 size_t len = strlen (string + pos);
2452 if (len && string[pos + len - 1] == '\n')
2454 string[pos + len - 1] = 0;
2455 return string;
2457 pos += len;
2458 /* If the file contains NUL characters or an incomplete
2459 last line, which can happen more than once in one run,
2460 we have to avoid doubling the STRING_LEN unnecessarily. */
2461 if (pos > string_len / 2)
2463 string_len *= 2;
2464 string = XRESIZEVEC (char, string, string_len);
2468 return pos ? string : NULL;
2471 /* Read in the source file one line at a time, and output that line to
2472 the gcov file preceded by its execution count and other
2473 information. */
2475 static void
2476 output_lines (FILE *gcov_file, const source_t *src)
2478 FILE *source_file;
2479 unsigned line_num; /* current line number. */
2480 const line_t *line; /* current line info ptr. */
2481 const char *retval = ""; /* status of source file reading. */
2482 function_t *fn = NULL;
2484 fprintf (gcov_file, "%9s:%5d:Source:%s\n", "-", 0, src->coverage.name);
2485 if (!multiple_files)
2487 fprintf (gcov_file, "%9s:%5d:Graph:%s\n", "-", 0, bbg_file_name);
2488 fprintf (gcov_file, "%9s:%5d:Data:%s\n", "-", 0,
2489 no_data_file ? "-" : da_file_name);
2490 fprintf (gcov_file, "%9s:%5d:Runs:%u\n", "-", 0, object_runs);
2492 fprintf (gcov_file, "%9s:%5d:Programs:%u\n", "-", 0, program_count);
2494 source_file = fopen (src->name, "r");
2495 if (!source_file)
2497 fnotice (stderr, "Cannot open source file %s\n", src->name);
2498 retval = NULL;
2500 else if (src->file_time == 0)
2501 fprintf (gcov_file, "%9s:%5d:Source is newer than graph\n", "-", 0);
2503 if (flag_branches)
2504 fn = src->functions;
2506 for (line_num = 1, line = &src->lines[line_num];
2507 line_num < src->num_lines; line_num++, line++)
2509 for (; fn && fn->line == line_num; fn = fn->next_file_fn)
2511 arc_t *arc = fn->blocks[EXIT_BLOCK].pred;
2512 gcov_type return_count = fn->blocks[EXIT_BLOCK].count;
2513 gcov_type called_count = fn->blocks[ENTRY_BLOCK].count;
2515 for (; arc; arc = arc->pred_next)
2516 if (arc->fake)
2517 return_count -= arc->count;
2519 fprintf (gcov_file, "function %s", flag_demangled_names ?
2520 fn->demangled_name : fn->name);
2521 fprintf (gcov_file, " called %s",
2522 format_gcov (called_count, 0, -1));
2523 fprintf (gcov_file, " returned %s",
2524 format_gcov (return_count, called_count, 0));
2525 fprintf (gcov_file, " blocks executed %s",
2526 format_gcov (fn->blocks_executed, fn->blocks.size () - 2,
2527 0));
2528 fprintf (gcov_file, "\n");
2531 if (retval)
2532 retval = read_line (source_file);
2534 /* For lines which don't exist in the .bb file, print '-' before
2535 the source line. For lines which exist but were never
2536 executed, print '#####' or '=====' before the source line.
2537 Otherwise, print the execution count before the source line.
2538 There are 16 spaces of indentation added before the source
2539 line so that tabs won't be messed up. */
2540 fprintf (gcov_file, "%9s:%5u:%s\n",
2541 !line->exists ? "-" : line->count
2542 ? format_gcov (line->count, 0, -1)
2543 : line->unexceptional ? "#####" : "=====", line_num,
2544 retval ? retval : "/*EOF*/");
2546 if (flag_all_blocks)
2548 block_t *block;
2549 arc_t *arc;
2550 int ix, jx;
2552 for (ix = jx = 0, block = line->blocks; block;
2553 block = block->chain)
2555 if (!block->is_call_return)
2557 fprintf (gcov_file, "%9s:%5u-block %2d",
2558 !line->exists ? "-" : block->count
2559 ? format_gcov (block->count, 0, -1)
2560 : block->exceptional ? "%%%%%" : "$$$$$",
2561 line_num, ix++);
2562 if (flag_verbose)
2563 fprintf (gcov_file, " (BB %u)", block->id);
2564 fprintf (gcov_file, "\n");
2566 if (flag_branches)
2567 for (arc = block->succ; arc; arc = arc->succ_next)
2568 jx += output_branch_count (gcov_file, jx, arc);
2571 else if (flag_branches)
2573 int ix;
2574 arc_t *arc;
2576 for (ix = 0, arc = line->branches; arc; arc = arc->line_next)
2577 ix += output_branch_count (gcov_file, ix, arc);
2581 /* Handle all remaining source lines. There may be lines after the
2582 last line of code. */
2583 if (retval)
2585 for (; (retval = read_line (source_file)); line_num++)
2586 fprintf (gcov_file, "%9s:%5u:%s\n", "-", line_num, retval);
2589 if (source_file)
2590 fclose (source_file);