2015-05-15 Marc Glisse <marc.glisse@inria.fr>
[official-gcc.git] / gcc / input.c
blobd633b762d756cfc6ac51d8ef61c66e0a47f1e1f1
1 /* Data and functions related to line maps and input files.
2 Copyright (C) 2004-2015 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #include "config.h"
21 #include "system.h"
22 #include "coretypes.h"
23 #include "intl.h"
24 #include "input.h"
25 #include "vec.h"
26 #include "diagnostic-core.h"
28 /* This is a cache used by get_next_line to store the content of a
29 file to be searched for file lines. */
30 struct fcache
32 /* These are information used to store a line boundary. */
33 struct line_info
35 /* The line number. It starts from 1. */
36 size_t line_num;
38 /* The position (byte count) of the beginning of the line,
39 relative to the file data pointer. This starts at zero. */
40 size_t start_pos;
42 /* The position (byte count) of the last byte of the line. This
43 normally points to the '\n' character, or to one byte after the
44 last byte of the file, if the file doesn't contain a '\n'
45 character. */
46 size_t end_pos;
48 line_info (size_t l, size_t s, size_t e)
49 : line_num (l), start_pos (s), end_pos (e)
52 line_info ()
53 :line_num (0), start_pos (0), end_pos (0)
57 /* The number of time this file has been accessed. This is used
58 to designate which file cache to evict from the cache
59 array. */
60 unsigned use_count;
62 const char *file_path;
64 FILE *fp;
66 /* This points to the content of the file that we've read so
67 far. */
68 char *data;
70 /* The size of the DATA array above.*/
71 size_t size;
73 /* The number of bytes read from the underlying file so far. This
74 must be less (or equal) than SIZE above. */
75 size_t nb_read;
77 /* The index of the beginning of the current line. */
78 size_t line_start_idx;
80 /* The number of the previous line read. This starts at 1. Zero
81 means we've read no line so far. */
82 size_t line_num;
84 /* This is the total number of lines of the current file. At the
85 moment, we try to get this information from the line map
86 subsystem. Note that this is just a hint. When using the C++
87 front-end, this hint is correct because the input file is then
88 completely tokenized before parsing starts; so the line map knows
89 the number of lines before compilation really starts. For e.g,
90 the C front-end, it can happen that we start emitting diagnostics
91 before the line map has seen the end of the file. */
92 size_t total_lines;
94 /* This is a record of the beginning and end of the lines we've seen
95 while reading the file. This is useful to avoid walking the data
96 from the beginning when we are asked to read a line that is
97 before LINE_START_IDX above. Note that the maximum size of this
98 record is fcache_line_record_size, so that the memory consumption
99 doesn't explode. We thus scale total_lines down to
100 fcache_line_record_size. */
101 vec<line_info, va_heap> line_record;
103 fcache ();
104 ~fcache ();
107 /* Current position in real source file. */
109 location_t input_location = UNKNOWN_LOCATION;
111 struct line_maps *line_table;
113 static fcache *fcache_tab;
114 static const size_t fcache_tab_size = 16;
115 static const size_t fcache_buffer_size = 4 * 1024;
116 static const size_t fcache_line_record_size = 100;
118 /* Expand the source location LOC into a human readable location. If
119 LOC resolves to a builtin location, the file name of the readable
120 location is set to the string "<built-in>". If EXPANSION_POINT_P is
121 TRUE and LOC is virtual, then it is resolved to the expansion
122 point of the involved macro. Otherwise, it is resolved to the
123 spelling location of the token.
125 When resolving to the spelling location of the token, if the
126 resulting location is for a built-in location (that is, it has no
127 associated line/column) in the context of a macro expansion, the
128 returned location is the first one (while unwinding the macro
129 location towards its expansion point) that is in real source
130 code. */
132 static expanded_location
133 expand_location_1 (source_location loc,
134 bool expansion_point_p)
136 expanded_location xloc;
137 const struct line_map *map;
138 enum location_resolution_kind lrk = LRK_MACRO_EXPANSION_POINT;
139 tree block = NULL;
141 if (IS_ADHOC_LOC (loc))
143 block = LOCATION_BLOCK (loc);
144 loc = LOCATION_LOCUS (loc);
147 memset (&xloc, 0, sizeof (xloc));
149 if (loc >= RESERVED_LOCATION_COUNT)
151 if (!expansion_point_p)
153 /* We want to resolve LOC to its spelling location.
155 But if that spelling location is a reserved location that
156 appears in the context of a macro expansion (like for a
157 location for a built-in token), let's consider the first
158 location (toward the expansion point) that is not reserved;
159 that is, the first location that is in real source code. */
160 loc = linemap_unwind_to_first_non_reserved_loc (line_table,
161 loc, &map);
162 lrk = LRK_SPELLING_LOCATION;
164 loc = linemap_resolve_location (line_table, loc,
165 lrk, &map);
166 xloc = linemap_expand_location (line_table, map, loc);
169 xloc.data = block;
170 if (loc <= BUILTINS_LOCATION)
171 xloc.file = loc == UNKNOWN_LOCATION ? NULL : _("<built-in>");
173 return xloc;
176 /* Initialize the set of cache used for files accessed by caret
177 diagnostic. */
179 static void
180 diagnostic_file_cache_init (void)
182 if (fcache_tab == NULL)
183 fcache_tab = new fcache[fcache_tab_size];
186 /* Free the resources used by the set of cache used for files accessed
187 by caret diagnostic. */
189 void
190 diagnostic_file_cache_fini (void)
192 if (fcache_tab)
194 delete [] (fcache_tab);
195 fcache_tab = NULL;
199 /* Return the total lines number that have been read so far by the
200 line map (in the preprocessor) so far. For languages like C++ that
201 entirely preprocess the input file before starting to parse, this
202 equals the actual number of lines of the file. */
204 static size_t
205 total_lines_num (const char *file_path)
207 size_t r = 0;
208 source_location l = 0;
209 if (linemap_get_file_highest_location (line_table, file_path, &l))
211 gcc_assert (l >= RESERVED_LOCATION_COUNT);
212 expanded_location xloc = expand_location (l);
213 r = xloc.line;
215 return r;
218 /* Lookup the cache used for the content of a given file accessed by
219 caret diagnostic. Return the found cached file, or NULL if no
220 cached file was found. */
222 static fcache*
223 lookup_file_in_cache_tab (const char *file_path)
225 if (file_path == NULL)
226 return NULL;
228 diagnostic_file_cache_init ();
230 /* This will contain the found cached file. */
231 fcache *r = NULL;
232 for (unsigned i = 0; i < fcache_tab_size; ++i)
234 fcache *c = &fcache_tab[i];
235 if (c->file_path && !strcmp (c->file_path, file_path))
237 ++c->use_count;
238 r = c;
242 if (r)
243 ++r->use_count;
245 return r;
248 /* Return the file cache that has been less used, recently, or the
249 first empty one. If HIGHEST_USE_COUNT is non-null,
250 *HIGHEST_USE_COUNT is set to the highest use count of the entries
251 in the cache table. */
253 static fcache*
254 evicted_cache_tab_entry (unsigned *highest_use_count)
256 diagnostic_file_cache_init ();
258 fcache *to_evict = &fcache_tab[0];
259 unsigned huc = to_evict->use_count;
260 for (unsigned i = 1; i < fcache_tab_size; ++i)
262 fcache *c = &fcache_tab[i];
263 bool c_is_empty = (c->file_path == NULL);
265 if (c->use_count < to_evict->use_count
266 || (to_evict->file_path && c_is_empty))
267 /* We evict C because it's either an entry with a lower use
268 count or one that is empty. */
269 to_evict = c;
271 if (huc < c->use_count)
272 huc = c->use_count;
274 if (c_is_empty)
275 /* We've reached the end of the cache; subsequent elements are
276 all empty. */
277 break;
280 if (highest_use_count)
281 *highest_use_count = huc;
283 return to_evict;
286 /* Create the cache used for the content of a given file to be
287 accessed by caret diagnostic. This cache is added to an array of
288 cache and can be retrieved by lookup_file_in_cache_tab. This
289 function returns the created cache. Note that only the last
290 fcache_tab_size files are cached. */
292 static fcache*
293 add_file_to_cache_tab (const char *file_path)
296 FILE *fp = fopen (file_path, "r");
297 if (fp == NULL)
298 return NULL;
300 unsigned highest_use_count = 0;
301 fcache *r = evicted_cache_tab_entry (&highest_use_count);
302 r->file_path = file_path;
303 if (r->fp)
304 fclose (r->fp);
305 r->fp = fp;
306 r->nb_read = 0;
307 r->line_start_idx = 0;
308 r->line_num = 0;
309 r->line_record.truncate (0);
310 /* Ensure that this cache entry doesn't get evicted next time
311 add_file_to_cache_tab is called. */
312 r->use_count = ++highest_use_count;
313 r->total_lines = total_lines_num (file_path);
315 return r;
318 /* Lookup the cache used for the content of a given file accessed by
319 caret diagnostic. If no cached file was found, create a new cache
320 for this file, add it to the array of cached file and return
321 it. */
323 static fcache*
324 lookup_or_add_file_to_cache_tab (const char *file_path)
326 fcache *r = lookup_file_in_cache_tab (file_path);
327 if (r == NULL)
328 r = add_file_to_cache_tab (file_path);
329 return r;
332 /* Default constructor for a cache of file used by caret
333 diagnostic. */
335 fcache::fcache ()
336 : use_count (0), file_path (NULL), fp (NULL), data (0),
337 size (0), nb_read (0), line_start_idx (0), line_num (0),
338 total_lines (0)
340 line_record.create (0);
343 /* Destructor for a cache of file used by caret diagnostic. */
345 fcache::~fcache ()
347 if (fp)
349 fclose (fp);
350 fp = NULL;
352 if (data)
354 XDELETEVEC (data);
355 data = 0;
357 line_record.release ();
360 /* Returns TRUE iff the cache would need to be filled with data coming
361 from the file. That is, either the cache is empty or full or the
362 current line is empty. Note that if the cache is full, it would
363 need to be extended and filled again. */
365 static bool
366 needs_read (fcache *c)
368 return (c->nb_read == 0
369 || c->nb_read == c->size
370 || (c->line_start_idx >= c->nb_read - 1));
373 /* Return TRUE iff the cache is full and thus needs to be
374 extended. */
376 static bool
377 needs_grow (fcache *c)
379 return c->nb_read == c->size;
382 /* Grow the cache if it needs to be extended. */
384 static void
385 maybe_grow (fcache *c)
387 if (!needs_grow (c))
388 return;
390 size_t size = c->size == 0 ? fcache_buffer_size : c->size * 2;
391 c->data = XRESIZEVEC (char, c->data, size + 1);
392 c->size = size;
395 /* Read more data into the cache. Extends the cache if need be.
396 Returns TRUE iff new data could be read. */
398 static bool
399 read_data (fcache *c)
401 if (feof (c->fp) || ferror (c->fp))
402 return false;
404 maybe_grow (c);
406 char * from = c->data + c->nb_read;
407 size_t to_read = c->size - c->nb_read;
408 size_t nb_read = fread (from, 1, to_read, c->fp);
410 if (ferror (c->fp))
411 return false;
413 c->nb_read += nb_read;
414 return !!nb_read;
417 /* Read new data iff the cache needs to be filled with more data
418 coming from the file FP. Return TRUE iff the cache was filled with
419 mode data. */
421 static bool
422 maybe_read_data (fcache *c)
424 if (!needs_read (c))
425 return false;
426 return read_data (c);
429 /* Read a new line from file FP, using C as a cache for the data
430 coming from the file. Upon successful completion, *LINE is set to
431 the beginning of the line found. Space for that line has been
432 allocated in the cache thus *LINE has the same life time as C.
433 *LINE_LEN is set to the length of the line. Note that the line
434 does not contain any terminal delimiter. This function returns
435 true if some data was read or process from the cache, false
436 otherwise. Note that subsequent calls to get_next_line return the
437 next lines of the file and might overwrite the content of
438 *LINE. */
440 static bool
441 get_next_line (fcache *c, char **line, ssize_t *line_len)
443 /* Fill the cache with data to process. */
444 maybe_read_data (c);
446 size_t remaining_size = c->nb_read - c->line_start_idx;
447 if (remaining_size == 0)
448 /* There is no more data to process. */
449 return false;
451 char *line_start = c->data + c->line_start_idx;
453 char *next_line_start = NULL;
454 size_t len = 0;
455 char *line_end = (char *) memchr (line_start, '\n', remaining_size);
456 if (line_end == NULL)
458 /* We haven't found the end-of-line delimiter in the cache.
459 Fill the cache with more data from the file and look for the
460 '\n'. */
461 while (maybe_read_data (c))
463 line_start = c->data + c->line_start_idx;
464 remaining_size = c->nb_read - c->line_start_idx;
465 line_end = (char *) memchr (line_start, '\n', remaining_size);
466 if (line_end != NULL)
468 next_line_start = line_end + 1;
469 break;
472 if (line_end == NULL)
473 /* We've loadded all the file into the cache and still no
474 '\n'. Let's say the line ends up at one byte passed the
475 end of the file. This is to stay consistent with the case
476 of when the line ends up with a '\n' and line_end points to
477 that terminal '\n'. That consistency is useful below in
478 the len calculation. */
479 line_end = c->data + c->nb_read ;
481 else
482 next_line_start = line_end + 1;
484 if (ferror (c->fp))
485 return -1;
487 /* At this point, we've found the end of the of line. It either
488 points to the '\n' or to one byte after the last byte of the
489 file. */
490 gcc_assert (line_end != NULL);
492 len = line_end - line_start;
494 if (c->line_start_idx < c->nb_read)
495 *line = line_start;
497 ++c->line_num;
499 /* Before we update our line record, make sure the hint about the
500 total number of lines of the file is correct. If it's not, then
501 we give up recording line boundaries from now on. */
502 bool update_line_record = true;
503 if (c->line_num > c->total_lines)
504 update_line_record = false;
506 /* Now update our line record so that re-reading lines from the
507 before c->line_start_idx is faster. */
508 if (update_line_record
509 && c->line_record.length () < fcache_line_record_size)
511 /* If the file lines fits in the line record, we just record all
512 its lines ...*/
513 if (c->total_lines <= fcache_line_record_size
514 && c->line_num > c->line_record.length ())
515 c->line_record.safe_push (fcache::line_info (c->line_num,
516 c->line_start_idx,
517 line_end - c->data));
518 else if (c->total_lines > fcache_line_record_size)
520 /* ... otherwise, we just scale total_lines down to
521 (fcache_line_record_size lines. */
522 size_t n = (c->line_num * fcache_line_record_size) / c->total_lines;
523 if (c->line_record.length () == 0
524 || n >= c->line_record.length ())
525 c->line_record.safe_push (fcache::line_info (c->line_num,
526 c->line_start_idx,
527 line_end - c->data));
531 /* Update c->line_start_idx so that it points to the next line to be
532 read. */
533 if (next_line_start)
534 c->line_start_idx = next_line_start - c->data;
535 else
536 /* We didn't find any terminal '\n'. Let's consider that the end
537 of line is the end of the data in the cache. The next
538 invocation of get_next_line will either read more data from the
539 underlying file or return false early because we've reached the
540 end of the file. */
541 c->line_start_idx = c->nb_read;
543 *line_len = len;
545 return true;
548 /* Reads the next line from FILE into *LINE. If *LINE is too small
549 (or NULL) it is allocated (or extended) to have enough space to
550 containe the line. *LINE_LENGTH must contain the size of the
551 initial*LINE buffer. It's then updated by this function to the
552 actual length of the returned line. Note that the returned line
553 can contain several zero bytes. Also note that the returned string
554 is allocated in static storage that is going to be re-used by
555 subsequent invocations of read_line. */
557 static bool
558 read_next_line (fcache *cache, char ** line, ssize_t *line_len)
560 char *l = NULL;
561 ssize_t len = 0;
563 if (!get_next_line (cache, &l, &len))
564 return false;
566 if (*line == NULL)
567 *line = XNEWVEC (char, len);
568 else
569 if (*line_len < len)
570 *line = XRESIZEVEC (char, *line, len);
572 memcpy (*line, l, len);
573 *line_len = len;
575 return true;
578 /* Consume the next bytes coming from the cache (or from its
579 underlying file if there are remaining unread bytes in the file)
580 until we reach the next end-of-line (or end-of-file). There is no
581 copying from the cache involved. Return TRUE upon successful
582 completion. */
584 static bool
585 goto_next_line (fcache *cache)
587 char *l;
588 ssize_t len;
590 return get_next_line (cache, &l, &len);
593 /* Read an arbitrary line number LINE_NUM from the file cached in C.
594 The line is copied into *LINE. *LINE_LEN must have been set to the
595 length of *LINE. If *LINE is too small (or NULL) it's extended (or
596 allocated) and *LINE_LEN is adjusted accordingly. *LINE ends up
597 with a terminal zero byte and can contain additional zero bytes.
598 This function returns bool if a line was read. */
600 static bool
601 read_line_num (fcache *c, size_t line_num,
602 char ** line, ssize_t *line_len)
604 gcc_assert (line_num > 0);
606 if (line_num <= c->line_num)
608 /* We've been asked to read lines that are before c->line_num.
609 So lets use our line record (if it's not empty) to try to
610 avoid re-reading the file from the beginning again. */
612 if (c->line_record.is_empty ())
614 c->line_start_idx = 0;
615 c->line_num = 0;
617 else
619 fcache::line_info *i = NULL;
620 if (c->total_lines <= fcache_line_record_size)
622 /* In languages where the input file is not totally
623 preprocessed up front, the c->total_lines hint
624 can be smaller than the number of lines of the
625 file. In that case, only the first
626 c->total_lines have been recorded.
628 Otherwise, the first c->total_lines we've read have
629 their start/end recorded here. */
630 i = (line_num <= c->total_lines)
631 ? &c->line_record[line_num - 1]
632 : &c->line_record[c->total_lines - 1];
633 gcc_assert (i->line_num <= line_num);
635 else
637 /* So the file had more lines than our line record
638 size. Thus the number of lines we've recorded has
639 been scaled down to fcache_line_reacord_size. Let's
640 pick the start/end of the recorded line that is
641 closest to line_num. */
642 size_t n = (line_num <= c->total_lines)
643 ? line_num * fcache_line_record_size / c->total_lines
644 : c ->line_record.length () - 1;
645 if (n < c->line_record.length ())
647 i = &c->line_record[n];
648 gcc_assert (i->line_num <= line_num);
652 if (i && i->line_num == line_num)
654 /* We have the start/end of the line. Let's just copy
655 it again and we are done. */
656 ssize_t len = i->end_pos - i->start_pos + 1;
657 if (*line_len < len)
658 *line = XRESIZEVEC (char, *line, len);
659 memmove (*line, c->data + i->start_pos, len);
660 (*line)[len - 1] = '\0';
661 *line_len = --len;
662 return true;
665 if (i)
667 c->line_start_idx = i->start_pos;
668 c->line_num = i->line_num - 1;
670 else
672 c->line_start_idx = 0;
673 c->line_num = 0;
678 /* Let's walk from line c->line_num up to line_num - 1, without
679 copying any line. */
680 while (c->line_num < line_num - 1)
681 if (!goto_next_line (c))
682 return false;
684 /* The line we want is the next one. Let's read and copy it back to
685 the caller. */
686 return read_next_line (c, line, line_len);
689 /* Return the physical source line that corresponds to xloc in a
690 buffer that is statically allocated. The newline is replaced by
691 the null character. Note that the line can contain several null
692 characters, so LINE_LEN, if non-null, points to the actual length
693 of the line. */
695 const char *
696 location_get_source_line (expanded_location xloc,
697 int *line_len)
699 static char *buffer;
700 static ssize_t len;
702 if (xloc.line == 0)
703 return NULL;
705 fcache *c = lookup_or_add_file_to_cache_tab (xloc.file);
706 if (c == NULL)
707 return NULL;
709 bool read = read_line_num (c, xloc.line, &buffer, &len);
711 if (read && line_len)
712 *line_len = len;
714 return read ? buffer : NULL;
717 /* Test if the location originates from the spelling location of a
718 builtin-tokens. That is, return TRUE if LOC is a (possibly
719 virtual) location of a built-in token that appears in the expansion
720 list of a macro. Please note that this function also works on
721 tokens that result from built-in tokens. For instance, the
722 function would return true if passed a token "4" that is the result
723 of the expansion of the built-in __LINE__ macro. */
724 bool
725 is_location_from_builtin_token (source_location loc)
727 const line_map *map = NULL;
728 loc = linemap_resolve_location (line_table, loc,
729 LRK_SPELLING_LOCATION, &map);
730 return loc == BUILTINS_LOCATION;
733 /* Expand the source location LOC into a human readable location. If
734 LOC is virtual, it resolves to the expansion point of the involved
735 macro. If LOC resolves to a builtin location, the file name of the
736 readable location is set to the string "<built-in>". */
738 expanded_location
739 expand_location (source_location loc)
741 return expand_location_1 (loc, /*expansion_point_p=*/true);
744 /* Expand the source location LOC into a human readable location. If
745 LOC is virtual, it resolves to the expansion location of the
746 relevant macro. If LOC resolves to a builtin location, the file
747 name of the readable location is set to the string
748 "<built-in>". */
750 expanded_location
751 expand_location_to_spelling_point (source_location loc)
753 return expand_location_1 (loc, /*expansion_point_p=*/false);
756 /* If LOCATION is in a system header and if it is a virtual location for
757 a token coming from the expansion of a macro, unwind it to the
758 location of the expansion point of the macro. Otherwise, just return
759 LOCATION.
761 This is used for instance when we want to emit diagnostics about a
762 token that may be located in a macro that is itself defined in a
763 system header, for example, for the NULL macro. In such a case, if
764 LOCATION were passed directly to diagnostic functions such as
765 warning_at, the diagnostic would be suppressed (unless
766 -Wsystem-headers). */
768 source_location
769 expansion_point_location_if_in_system_header (source_location location)
771 if (in_system_header_at (location))
772 location = linemap_resolve_location (line_table, location,
773 LRK_MACRO_EXPANSION_POINT,
774 NULL);
775 return location;
778 #define ONE_K 1024
779 #define ONE_M (ONE_K * ONE_K)
781 /* Display a number as an integer multiple of either:
782 - 1024, if said integer is >= to 10 K (in base 2)
783 - 1024 * 1024, if said integer is >= 10 M in (base 2)
785 #define SCALE(x) ((unsigned long) ((x) < 10 * ONE_K \
786 ? (x) \
787 : ((x) < 10 * ONE_M \
788 ? (x) / ONE_K \
789 : (x) / ONE_M)))
791 /* For a given integer, display either:
792 - the character 'k', if the number is higher than 10 K (in base 2)
793 but strictly lower than 10 M (in base 2)
794 - the character 'M' if the number is higher than 10 M (in base2)
795 - the charcter ' ' if the number is strictly lower than 10 K */
796 #define STAT_LABEL(x) ((x) < 10 * ONE_K ? ' ' : ((x) < 10 * ONE_M ? 'k' : 'M'))
798 /* Display an integer amount as multiple of 1K or 1M (in base 2).
799 Display the correct unit (either k, M, or ' ') after the amout, as
800 well. */
801 #define FORMAT_AMOUNT(size) SCALE (size), STAT_LABEL (size)
803 /* Dump statistics to stderr about the memory usage of the line_table
804 set of line maps. This also displays some statistics about macro
805 expansion. */
807 void
808 dump_line_table_statistics (void)
810 struct linemap_stats s;
811 long total_used_map_size,
812 macro_maps_size,
813 total_allocated_map_size;
815 memset (&s, 0, sizeof (s));
817 linemap_get_statistics (line_table, &s);
819 macro_maps_size = s.macro_maps_used_size
820 + s.macro_maps_locations_size;
822 total_allocated_map_size = s.ordinary_maps_allocated_size
823 + s.macro_maps_allocated_size
824 + s.macro_maps_locations_size;
826 total_used_map_size = s.ordinary_maps_used_size
827 + s.macro_maps_used_size
828 + s.macro_maps_locations_size;
830 fprintf (stderr, "Number of expanded macros: %5ld\n",
831 s.num_expanded_macros);
832 if (s.num_expanded_macros != 0)
833 fprintf (stderr, "Average number of tokens per macro expansion: %5ld\n",
834 s.num_macro_tokens / s.num_expanded_macros);
835 fprintf (stderr,
836 "\nLine Table allocations during the "
837 "compilation process\n");
838 fprintf (stderr, "Number of ordinary maps used: %5ld%c\n",
839 SCALE (s.num_ordinary_maps_used),
840 STAT_LABEL (s.num_ordinary_maps_used));
841 fprintf (stderr, "Ordinary map used size: %5ld%c\n",
842 SCALE (s.ordinary_maps_used_size),
843 STAT_LABEL (s.ordinary_maps_used_size));
844 fprintf (stderr, "Number of ordinary maps allocated: %5ld%c\n",
845 SCALE (s.num_ordinary_maps_allocated),
846 STAT_LABEL (s.num_ordinary_maps_allocated));
847 fprintf (stderr, "Ordinary maps allocated size: %5ld%c\n",
848 SCALE (s.ordinary_maps_allocated_size),
849 STAT_LABEL (s.ordinary_maps_allocated_size));
850 fprintf (stderr, "Number of macro maps used: %5ld%c\n",
851 SCALE (s.num_macro_maps_used),
852 STAT_LABEL (s.num_macro_maps_used));
853 fprintf (stderr, "Macro maps used size: %5ld%c\n",
854 SCALE (s.macro_maps_used_size),
855 STAT_LABEL (s.macro_maps_used_size));
856 fprintf (stderr, "Macro maps locations size: %5ld%c\n",
857 SCALE (s.macro_maps_locations_size),
858 STAT_LABEL (s.macro_maps_locations_size));
859 fprintf (stderr, "Macro maps size: %5ld%c\n",
860 SCALE (macro_maps_size),
861 STAT_LABEL (macro_maps_size));
862 fprintf (stderr, "Duplicated maps locations size: %5ld%c\n",
863 SCALE (s.duplicated_macro_maps_locations_size),
864 STAT_LABEL (s.duplicated_macro_maps_locations_size));
865 fprintf (stderr, "Total allocated maps size: %5ld%c\n",
866 SCALE (total_allocated_map_size),
867 STAT_LABEL (total_allocated_map_size));
868 fprintf (stderr, "Total used maps size: %5ld%c\n",
869 SCALE (total_used_map_size),
870 STAT_LABEL (total_used_map_size));
871 fprintf (stderr, "\n");
874 /* Get location one beyond the final location in ordinary map IDX. */
876 static source_location
877 get_end_location (struct line_maps *set, unsigned int idx)
879 if (idx == LINEMAPS_ORDINARY_USED (set) - 1)
880 return set->highest_location;
882 struct line_map *next_map = LINEMAPS_ORDINARY_MAP_AT (set, idx + 1);
883 return MAP_START_LOCATION (next_map);
886 /* Helper function for write_digit_row. */
888 static void
889 write_digit (FILE *stream, int digit)
891 fputc ('0' + (digit % 10), stream);
894 /* Helper function for dump_location_info.
895 Write a row of numbers to STREAM, numbering a source line,
896 giving the units, tens, hundreds etc of the column number. */
898 static void
899 write_digit_row (FILE *stream, int indent,
900 source_location loc, int max_col, int divisor)
902 fprintf (stream, "%*c", indent, ' ');
903 fprintf (stream, "|");
904 for (int column = 1; column < max_col; column++)
906 source_location column_loc = loc + column;
907 write_digit (stream, column_loc / divisor);
909 fprintf (stream, "\n");
912 /* Write a half-closed (START) / half-open (END) interval of
913 source_location to STREAM. */
915 static void
916 dump_location_range (FILE *stream,
917 source_location start, source_location end)
919 fprintf (stream,
920 " source_location interval: %u <= loc < %u\n",
921 start, end);
924 /* Write a labelled description of a half-closed (START) / half-open (END)
925 interval of source_location to STREAM. */
927 static void
928 dump_labelled_location_range (FILE *stream,
929 const char *name,
930 source_location start, source_location end)
932 fprintf (stream, "%s\n", name);
933 dump_location_range (stream, start, end);
934 fprintf (stream, "\n");
937 /* Write a visualization of the locations in the line_table to STREAM. */
939 void
940 dump_location_info (FILE *stream)
942 /* Visualize the reserved locations. */
943 dump_labelled_location_range (stream, "RESERVED LOCATIONS",
944 0, RESERVED_LOCATION_COUNT);
946 /* Visualize the ordinary line_map instances, rendering the sources. */
947 for (unsigned int idx = 0; idx < LINEMAPS_ORDINARY_USED (line_table); idx++)
949 source_location end_location = get_end_location (line_table, idx);
950 /* half-closed: doesn't include this one. */
952 struct line_map *map = LINEMAPS_ORDINARY_MAP_AT (line_table, idx);
953 fprintf (stream, "ORDINARY MAP: %i\n", idx);
954 dump_location_range (stream,
955 MAP_START_LOCATION (map), end_location);
956 fprintf (stream, " file: %s\n", ORDINARY_MAP_FILE_NAME (map));
957 fprintf (stream, " starting at line: %i\n",
958 ORDINARY_MAP_STARTING_LINE_NUMBER (map));
959 fprintf (stream, " column bits: %i\n",
960 ORDINARY_MAP_NUMBER_OF_COLUMN_BITS (map));
962 /* Render the span of source lines that this "map" covers. */
963 for (source_location loc = MAP_START_LOCATION (map);
964 loc < end_location;
965 loc++)
967 expanded_location exploc
968 = linemap_expand_location (line_table, map, loc);
970 if (0 == exploc.column)
972 /* Beginning of a new source line: draw the line. */
974 int line_size;
975 const char *line_text = location_get_source_line (exploc, &line_size);
976 if (!line_text)
977 break;
978 fprintf (stream,
979 "%s:%3i|loc:%5i|%.*s\n",
980 exploc.file, exploc.line,
981 loc,
982 line_size, line_text);
984 /* "loc" is at column 0, which means "the whole line".
985 Render the locations *within* the line, by underlining
986 it, showing the source_location numeric values
987 at each column. */
988 int max_col
989 = (1 << ORDINARY_MAP_NUMBER_OF_COLUMN_BITS (map)) - 1;
990 if (max_col > line_size)
991 max_col = line_size + 1;
993 int indent = 14 + strlen (exploc.file);
995 /* Thousands. */
996 if (end_location > 999)
997 write_digit_row (stream, indent, loc, max_col, 1000);
999 /* Hundreds. */
1000 if (end_location > 99)
1001 write_digit_row (stream, indent, loc, max_col, 100);
1003 /* Tens. */
1004 write_digit_row (stream, indent, loc, max_col, 10);
1006 /* Units. */
1007 write_digit_row (stream, indent, loc, max_col, 1);
1010 fprintf (stream, "\n");
1013 /* Visualize unallocated values. */
1014 dump_labelled_location_range (stream, "UNALLOCATED LOCATIONS",
1015 line_table->highest_location,
1016 LINEMAPS_MACRO_LOWEST_LOCATION (line_table));
1018 /* Visualize the macro line_map instances, rendering the sources. */
1019 for (unsigned int i = 0; i < LINEMAPS_MACRO_USED (line_table); i++)
1021 /* Each macro map that is allocated owns source_location values
1022 that are *lower* that the one before them.
1023 Hence it's meaningful to view them either in order of ascending
1024 source locations, or in order of ascending macro map index. */
1025 const bool ascending_source_locations = true;
1026 unsigned int idx = (ascending_source_locations
1027 ? (LINEMAPS_MACRO_USED (line_table) - (i + 1))
1028 : i);
1029 struct line_map *map = LINEMAPS_MACRO_MAP_AT (line_table, idx);
1030 fprintf (stream, "MACRO %i: %s (%u tokens)\n",
1031 idx,
1032 linemap_map_get_macro_name (map),
1033 MACRO_MAP_NUM_MACRO_TOKENS (map));
1034 dump_location_range (stream,
1035 map->start_location,
1036 (map->start_location
1037 + MACRO_MAP_NUM_MACRO_TOKENS (map)));
1038 inform (MACRO_MAP_EXPANSION_POINT_LOCATION (map),
1039 "expansion point is location %i",
1040 MACRO_MAP_EXPANSION_POINT_LOCATION (map));
1041 fprintf (stream, " map->start_location: %u\n",
1042 map->start_location);
1044 fprintf (stream, " macro_locations:\n");
1045 for (unsigned int i = 0; i < MACRO_MAP_NUM_MACRO_TOKENS (map); i++)
1047 source_location x = MACRO_MAP_LOCATIONS (map)[2 * i];
1048 source_location y = MACRO_MAP_LOCATIONS (map)[(2 * i) + 1];
1050 /* linemap_add_macro_token encodes token numbers in an expansion
1051 by putting them after MAP_START_LOCATION. */
1053 /* I'm typically seeing 4 uninitialized entries at the end of
1054 0xafafafaf.
1055 This appears to be due to macro.c:replace_args
1056 adding 2 extra args for padding tokens; presumably there may
1057 be a leading and/or trailing padding token injected,
1058 each for 2 more location slots.
1059 This would explain there being up to 4 source_locations slots
1060 that may be uninitialized. */
1062 fprintf (stream, " %u: %u, %u\n",
1066 if (x == y)
1068 if (x < MAP_START_LOCATION (map))
1069 inform (x, "token %u has x-location == y-location == %u", i, x);
1070 else
1071 fprintf (stream,
1072 "x-location == y-location == %u encodes token # %u\n",
1073 x, x - MAP_START_LOCATION (map));
1075 else
1077 inform (x, "token %u has x-location == %u", i, x);
1078 inform (x, "token %u has y-location == %u", i, y);
1081 fprintf (stream, "\n");
1084 /* It appears that MAX_SOURCE_LOCATION itself is never assigned to a
1085 macro map, presumably due to an off-by-one error somewhere
1086 between the logic in linemap_enter_macro and
1087 LINEMAPS_MACRO_LOWEST_LOCATION. */
1088 dump_labelled_location_range (stream, "MAX_SOURCE_LOCATION",
1089 MAX_SOURCE_LOCATION,
1090 MAX_SOURCE_LOCATION + 1);
1092 /* Visualize ad-hoc values. */
1093 dump_labelled_location_range (stream, "AD-HOC LOCATIONS",
1094 MAX_SOURCE_LOCATION + 1, UINT_MAX);