123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814 |
- /* Map logical line numbers to (source file, line number) pairs.
- Copyright (C) 2001-2015 Free Software Foundation, Inc.
- This program is free software; you can redistribute it and/or modify it
- under the terms of the GNU General Public License as published by the
- Free Software Foundation; either version 3, or (at your option) any
- later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program; see the file COPYING3. If not see
- <http://www.gnu.org/licenses/>.
- In other words, you are welcome to use, share and improve this program.
- You are forbidden to forbid anyone else to use, share and improve
- what you give them. Help stamp out software-hoarding! */
- #ifndef LIBCPP_LINE_MAP_H
- #define LIBCPP_LINE_MAP_H
- #ifndef GTY
- #define GTY(x) /* nothing */
- #endif
- /* Reason for creating a new line map with linemap_add. LC_ENTER is
- when including a new file, e.g. a #include directive in C.
- LC_LEAVE is when reaching a file's end. LC_RENAME is when a file
- name or line number changes for neither of the above reasons
- (e.g. a #line directive in C); LC_RENAME_VERBATIM is like LC_RENAME
- but a filename of "" is not specially interpreted as standard
- input. LC_ENTER_MACRO is when a macro expansion is about to start. */
- enum lc_reason
- {
- LC_ENTER = 0,
- LC_LEAVE,
- LC_RENAME,
- LC_RENAME_VERBATIM,
- LC_ENTER_MACRO
- /* FIXME: add support for stringize and paste. */
- };
- /* The type of line numbers. */
- typedef unsigned int linenum_type;
- /* A logical line/column number, i.e. an "index" into a line_map. */
- typedef unsigned int source_location;
- /* Memory allocation function typedef. Works like xrealloc. */
- typedef void *(*line_map_realloc) (void *, size_t);
- /* Memory allocator function that returns the actual allocated size,
- for a given requested allocation. */
- typedef size_t (*line_map_round_alloc_size_func) (size_t);
- /* An ordinary line map encodes physical source locations. Those
- physical source locations are called "spelling locations".
-
- Physical source file TO_FILE at line TO_LINE at column 0 is represented
- by the logical START_LOCATION. TO_LINE+L at column C is represented by
- START_LOCATION+(L*(1<<column_bits))+C, as long as C<(1<<column_bits),
- and the result_location is less than the next line_map's start_location.
- (The top line is line 1 and the leftmost column is column 1; line/column 0
- means "entire file/line" or "unknown line/column" or "not applicable".)
- The highest possible source location is MAX_SOURCE_LOCATION. */
- struct GTY(()) line_map_ordinary {
- const char *to_file;
- linenum_type to_line;
- /* An index into the set that gives the line mapping at whose end
- the current one was included. File(s) at the bottom of the
- include stack have this set to -1. */
- int included_from;
- /* SYSP is one for a system header, two for a C system header file
- that therefore needs to be extern "C" protected in C++, and zero
- otherwise. This field isn't really needed now that it's in
- cpp_buffer. */
- unsigned char sysp;
- /* Number of the low-order source_location bits used for a column number. */
- unsigned int column_bits : 8;
- };
- /* This is the highest possible source location encoded within an
- ordinary or macro map. */
- #define MAX_SOURCE_LOCATION 0x7FFFFFFF
- struct cpp_hashnode;
- /* A macro line map encodes location of tokens coming from a macro
- expansion.
-
- Please note that this struct line_map_macro is a field of struct
- line_map below, go read the comments of struct line_map below and
- then come back here.
-
- The offset from START_LOCATION is used to index into
- MACRO_LOCATIONS; this holds the original location of the token. */
- struct GTY(()) line_map_macro {
- /* The cpp macro which expansion gave birth to this macro map. */
- struct cpp_hashnode * GTY ((nested_ptr (union tree_node,
- "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL",
- "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL")))
- macro;
- /* The number of tokens inside the replacement-list of MACRO. */
- unsigned int n_tokens;
- /* This array of location is actually an array of pairs of
- locations. The elements inside it thus look like:
- x0,y0, x1,y1, x2,y2, ...., xn,yn.
- where n == n_tokens;
- Remember that these xI,yI are collected when libcpp is about to
- expand a given macro.
- yI is the location in the macro definition, either of the token
- itself or of a macro parameter that it replaces.
- Imagine this:
- #define PLUS(A, B) A + B <--- #1
- int a = PLUS (1,2); <--- #2
- There is a macro map for the expansion of PLUS in #2. PLUS is
- expanded into its expansion-list. The expansion-list is the
- replacement-list of PLUS where the macro parameters are replaced
- with their arguments. So the replacement-list of PLUS is made of
- the tokens:
- A, +, B
- and the expansion-list is made of the tokens:
- 1, +, 2
- Let's consider the case of token "+". Its y1 [yI for I == 1] is
- its spelling location in #1.
- y0 (thus for token "1") is the spelling location of A in #1.
- And y2 (of token "2") is the spelling location of B in #1.
- When the token is /not/ an argument for a macro, xI is the same
- location as yI. Otherwise, xI is the location of the token
- outside this macro expansion. If this macro was expanded from
- another macro expansion, xI is a virtual location representing
- the token in that macro expansion; otherwise, it is the spelling
- location of the token.
- Note that a virtual location is a location returned by
- linemap_add_macro_token. It encodes the relevant locations (x,y
- pairs) of that token across the macro expansions from which it
- (the token) might come from.
- In the example above x1 (for token "+") is going to be the same
- as y1. x0 is the spelling location for the argument token "1",
- and x2 is the spelling location for the argument token "2". */
- source_location * GTY((atomic)) macro_locations;
- /* This is the location of the expansion point of the current macro
- map. It's the location of the macro name. That location is held
- by the map that was current right before the current one. It
- could have been either a macro or an ordinary map, depending on
- if we are in a nested expansion context not. */
- source_location expansion;
- };
- /* A line_map encodes a sequence of locations.
- There are two kinds of maps. Ordinary maps and macro expansion
- maps, a.k.a macro maps.
- A macro map encodes source locations of tokens that are part of a
- macro replacement-list, at a macro expansion point. E.g, in:
- #define PLUS(A,B) A + B
- No macro map is going to be created there, because we are not at a
- macro expansion point. We are at a macro /definition/ point. So the
- locations of the tokens of the macro replacement-list (i.e, A + B)
- will be locations in an ordinary map, not a macro map.
- On the other hand, if we later do:
- int a = PLUS (1,2);
- The invocation of PLUS here is a macro expansion. So we are at a
- macro expansion point. The preprocessor expands PLUS (1,2) and
- replaces it with the tokens of its replacement-list: 1 + 2. A macro
- map is going to be created to hold (or rather to map, haha ...) the
- locations of the tokens 1, + and 2. The macro map also records the
- location of the expansion point of PLUS. That location is mapped in
- the map that is active right before the location of the invocation
- of PLUS. */
- struct GTY(()) line_map {
- source_location start_location;
- /* The reason for creation of this line map. */
- ENUM_BITFIELD (lc_reason) reason : CHAR_BIT;
- union map_u {
- struct line_map_ordinary GTY((tag ("0"))) ordinary;
- struct line_map_macro GTY((tag ("1"))) macro;
- } GTY((desc ("%1.reason == LC_ENTER_MACRO"))) d;
- };
- #define MAP_START_LOCATION(MAP) (MAP)->start_location
- #define ORDINARY_MAP_FILE_NAME(MAP) \
- linemap_check_ordinary (MAP)->d.ordinary.to_file
- #define ORDINARY_MAP_STARTING_LINE_NUMBER(MAP) \
- linemap_check_ordinary (MAP)->d.ordinary.to_line
- #define ORDINARY_MAP_INCLUDER_FILE_INDEX(MAP) \
- linemap_check_ordinary (MAP)->d.ordinary.included_from
- #define ORDINARY_MAP_IN_SYSTEM_HEADER_P(MAP) \
- linemap_check_ordinary (MAP)->d.ordinary.sysp
- #define ORDINARY_MAP_NUMBER_OF_COLUMN_BITS(MAP) \
- linemap_check_ordinary (MAP)->d.ordinary.column_bits
- #define MACRO_MAP_MACRO(MAP) (MAP)->d.macro.macro
- #define MACRO_MAP_NUM_MACRO_TOKENS(MAP) (MAP)->d.macro.n_tokens
- #define MACRO_MAP_LOCATIONS(MAP) (MAP)->d.macro.macro_locations
- #define MACRO_MAP_EXPANSION_POINT_LOCATION(MAP) (MAP)->d.macro.expansion
- /* The abstraction of a set of location maps. There can be several
- types of location maps. This abstraction contains the attributes
- that are independent from the type of the map. */
- struct GTY(()) maps_info {
- /* This array contains the different line maps.
- A line map is created for the following events:
- - when a new preprocessing unit start.
- - when a preprocessing unit ends.
- - when a macro expansion occurs. */
- struct line_map * GTY ((length ("%h.used"))) maps;
- /* The total number of allocated maps. */
- unsigned int allocated;
- /* The number of elements used in maps. This number is smaller
- or equal to ALLOCATED. */
- unsigned int used;
- unsigned int cache;
- };
- /* Data structure to associate an arbitrary data to a source location. */
- struct GTY(()) location_adhoc_data {
- source_location locus;
- void * GTY((skip)) data;
- };
- struct htab;
- /* The following data structure encodes a location with some adhoc data
- and maps it to a new unsigned integer (called an adhoc location)
- that replaces the original location to represent the mapping.
- The new adhoc_loc uses the highest bit as the enabling bit, i.e. if the
- highest bit is 1, then the number is adhoc_loc. Otherwise, it serves as
- the original location. Once identified as the adhoc_loc, the lower 31
- bits of the integer is used to index the location_adhoc_data array,
- in which the locus and associated data is stored. */
- struct GTY(()) location_adhoc_data_map {
- struct htab * GTY((skip)) htab;
- source_location curr_loc;
- unsigned int allocated;
- struct location_adhoc_data GTY((length ("%h.allocated"))) *data;
- };
- /* A set of chronological line_map structures. */
- struct GTY(()) line_maps {
-
- struct maps_info info_ordinary;
- struct maps_info info_macro;
- /* Depth of the include stack, including the current file. */
- unsigned int depth;
- /* If true, prints an include trace a la -H. */
- bool trace_includes;
- /* Highest source_location "given out". */
- source_location highest_location;
- /* Start of line of highest source_location "given out". */
- source_location highest_line;
- /* The maximum column number we can quickly allocate. Higher numbers
- may require allocating a new line_map. */
- unsigned int max_column_hint;
- /* If non-null, the allocator to use when resizing 'maps'. If null,
- xrealloc is used. */
- line_map_realloc reallocator;
- /* The allocators' function used to know the actual size it
- allocated, for a certain allocation size requested. */
- line_map_round_alloc_size_func round_alloc_size;
- struct location_adhoc_data_map location_adhoc_data_map;
- /* The special location value that is used as spelling location for
- built-in tokens. */
- source_location builtin_location;
- };
- /* Returns the pointer to the memory region where information about
- maps are stored in the line table SET. MACRO_MAP_P is a flag
- telling if we want macro or ordinary maps. */
- #define LINEMAPS_MAP_INFO(SET, MACRO_MAP_P) \
- ((MACRO_MAP_P) \
- ? &((SET)->info_macro) \
- : &((SET)->info_ordinary))
- /* Returns the pointer to the memory region where maps are stored in
- the line table SET. MAP_KIND shall be TRUE if we are interested in
- macro maps false otherwise. */
- #define LINEMAPS_MAPS(SET, MAP_KIND) \
- (LINEMAPS_MAP_INFO (SET, MAP_KIND))->maps
- /* Returns the number of allocated maps so far. MAP_KIND shall be TRUE
- if we are interested in macro maps, FALSE otherwise. */
- #define LINEMAPS_ALLOCATED(SET, MAP_KIND) \
- (LINEMAPS_MAP_INFO (SET, MAP_KIND))->allocated
- /* Returns the number of used maps so far. MAP_KIND shall be TRUE if
- we are interested in macro maps, FALSE otherwise.*/
- #define LINEMAPS_USED(SET, MAP_KIND) \
- (LINEMAPS_MAP_INFO (SET, MAP_KIND))->used
- /* Returns the index of the last map that was looked up with
- linemap_lookup. MAP_KIND shall be TRUE if we are interested in
- macro maps, FALSE otherwise. */
- #define LINEMAPS_CACHE(SET, MAP_KIND) \
- (LINEMAPS_MAP_INFO (SET, MAP_KIND))->cache
- /* Return the map at a given index. */
- #define LINEMAPS_MAP_AT(SET, MAP_KIND, INDEX) \
- (&((LINEMAPS_MAPS (SET, MAP_KIND))[(INDEX)]))
- /* Returns the last map used in the line table SET. MAP_KIND
- shall be TRUE if we are interested in macro maps, FALSE
- otherwise.*/
- #define LINEMAPS_LAST_MAP(SET, MAP_KIND) \
- LINEMAPS_MAP_AT (SET, MAP_KIND, (LINEMAPS_USED (SET, MAP_KIND) - 1))
- /* Returns the last map that was allocated in the line table SET.
- MAP_KIND shall be TRUE if we are interested in macro maps, FALSE
- otherwise.*/
- #define LINEMAPS_LAST_ALLOCATED_MAP(SET, MAP_KIND) \
- LINEMAPS_MAP_AT (SET, MAP_KIND, LINEMAPS_ALLOCATED (SET, MAP_KIND) - 1)
- /* Returns a pointer to the memory region where ordinary maps are
- allocated in the line table SET. */
- #define LINEMAPS_ORDINARY_MAPS(SET) \
- LINEMAPS_MAPS (SET, false)
- /* Returns the INDEXth ordinary map. */
- #define LINEMAPS_ORDINARY_MAP_AT(SET, INDEX) \
- LINEMAPS_MAP_AT (SET, false, INDEX)
- /* Return the number of ordinary maps allocated in the line table
- SET. */
- #define LINEMAPS_ORDINARY_ALLOCATED(SET) \
- LINEMAPS_ALLOCATED(SET, false)
- /* Return the number of ordinary maps used in the line table SET. */
- #define LINEMAPS_ORDINARY_USED(SET) \
- LINEMAPS_USED(SET, false)
- /* Return the index of the last ordinary map that was looked up with
- linemap_lookup. */
- #define LINEMAPS_ORDINARY_CACHE(SET) \
- LINEMAPS_CACHE(SET, false)
- /* Returns a pointer to the last ordinary map used in the line table
- SET. */
- #define LINEMAPS_LAST_ORDINARY_MAP(SET) \
- LINEMAPS_LAST_MAP(SET, false)
- /* Returns a pointer to the last ordinary map allocated the line table
- SET. */
- #define LINEMAPS_LAST_ALLOCATED_ORDINARY_MAP(SET) \
- LINEMAPS_LAST_ALLOCATED_MAP(SET, false)
- /* Returns a pointer to the beginning of the region where macro maps
- are allcoated. */
- #define LINEMAPS_MACRO_MAPS(SET) \
- LINEMAPS_MAPS(SET, true)
- /* Returns the INDEXth macro map. */
- #define LINEMAPS_MACRO_MAP_AT(SET, INDEX) \
- LINEMAPS_MAP_AT (SET, true, INDEX)
- /* Returns the number of macro maps that were allocated in the line
- table SET. */
- #define LINEMAPS_MACRO_ALLOCATED(SET) \
- LINEMAPS_ALLOCATED(SET, true)
- /* Returns the number of macro maps used in the line table SET. */
- #define LINEMAPS_MACRO_USED(SET) \
- LINEMAPS_USED(SET, true)
- /* Returns the index of the last macro map looked up with
- linemap_lookup. */
- #define LINEMAPS_MACRO_CACHE(SET) \
- LINEMAPS_CACHE(SET, true)
- /* Returns the lowest location [of a token resulting from macro
- expansion] encoded in this line table. */
- #define LINEMAPS_MACRO_LOWEST_LOCATION(SET) \
- (LINEMAPS_MACRO_USED (set) \
- ? MAP_START_LOCATION (LINEMAPS_LAST_MACRO_MAP (set)) \
- : MAX_SOURCE_LOCATION)
- /* Returns the last macro map used in the line table SET. */
- #define LINEMAPS_LAST_MACRO_MAP(SET) \
- LINEMAPS_LAST_MAP (SET, true)
- /* Returns the last macro map allocated in the line table SET. */
- #define LINEMAPS_LAST_ALLOCATED_MACRO_MAP(SET) \
- LINEMAPS_LAST_ALLOCATED_MAP (SET, true)
- extern void location_adhoc_data_fini (struct line_maps *);
- extern source_location get_combined_adhoc_loc (struct line_maps *,
- source_location, void *);
- extern void *get_data_from_adhoc_loc (struct line_maps *, source_location);
- extern source_location get_location_from_adhoc_loc (struct line_maps *,
- source_location);
- #define IS_ADHOC_LOC(LOC) (((LOC) & MAX_SOURCE_LOCATION) != (LOC))
- #define COMBINE_LOCATION_DATA(SET, LOC, BLOCK) \
- get_combined_adhoc_loc ((SET), (LOC), (BLOCK))
- extern void rebuild_location_adhoc_htab (struct line_maps *);
- /* Initialize a line map set. SET is the line map set to initialize
- and BUILTIN_LOCATION is the special location value to be used as
- spelling location for built-in tokens. This BUILTIN_LOCATION has
- to be strictly less than RESERVED_LOCATION_COUNT. */
- extern void linemap_init (struct line_maps *set,
- source_location builtin_location);
- /* Check for and warn about line_maps entered but not exited. */
- extern void linemap_check_files_exited (struct line_maps *);
- /* Return a source_location for the start (i.e. column==0) of
- (physical) line TO_LINE in the current source file (as in the
- most recent linemap_add). MAX_COLUMN_HINT is the highest column
- number we expect to use in this line (but it does not change
- the highest_location). */
- extern source_location linemap_line_start
- (struct line_maps *set, linenum_type to_line, unsigned int max_column_hint);
- /* Add a mapping of logical source line to physical source file and
- line number. This function creates an "ordinary map", which is a
- map that records locations of tokens that are not part of macro
- replacement-lists present at a macro expansion point.
- The text pointed to by TO_FILE must have a lifetime
- at least as long as the lifetime of SET. An empty
- TO_FILE means standard input. If reason is LC_LEAVE, and
- TO_FILE is NULL, then TO_FILE, TO_LINE and SYSP are given their
- natural values considering the file we are returning to.
- A call to this function can relocate the previous set of
- maps, so any stored line_map pointers should not be used. */
- extern const struct line_map *linemap_add
- (struct line_maps *, enum lc_reason, unsigned int sysp,
- const char *to_file, linenum_type to_line);
- /* Given a logical source location, returns the map which the
- corresponding (source file, line, column) triplet can be deduced
- from. Since the set is built chronologically, the logical lines are
- monotonic increasing, and so the list is sorted and we can use a
- binary search. If no line map have been allocated yet, this
- function returns NULL. */
- extern const struct line_map *linemap_lookup
- (struct line_maps *, source_location);
- /* Returns TRUE if the line table set tracks token locations across
- macro expansion, FALSE otherwise. */
- bool linemap_tracks_macro_expansion_locs_p (struct line_maps *);
- /* Return TRUE if MAP encodes locations coming from a macro
- replacement-list at macro expansion point. */
- bool linemap_macro_expansion_map_p (const struct line_map *);
- /* Return the name of the macro associated to MACRO_MAP. */
- const char* linemap_map_get_macro_name (const struct line_map*);
- /* Return a positive value if LOCATION is the locus of a token that is
- located in a system header, O otherwise. It returns 1 if LOCATION
- is the locus of a token that is located in a system header, and 2
- if LOCATION is the locus of a token located in a C system header
- that therefore needs to be extern "C" protected in C++.
- Note that this function returns 1 if LOCATION belongs to a token
- that is part of a macro replacement-list defined in a system
- header, but expanded in a non-system file. */
- int linemap_location_in_system_header_p (struct line_maps *,
- source_location);
- /* Return TRUE if LOCATION is a source code location of a token coming
- from a macro replacement-list at a macro expansion point, FALSE
- otherwise. */
- bool linemap_location_from_macro_expansion_p (const struct line_maps *,
- source_location);
- /* source_location values from 0 to RESERVED_LOCATION_COUNT-1 will
- be reserved for libcpp user as special values, no token from libcpp
- will contain any of those locations. */
- #define RESERVED_LOCATION_COUNT 2
- /* Converts a map and a source_location to source line. */
- #define SOURCE_LINE(MAP, LOC) \
- (((((LOC) - linemap_check_ordinary (MAP)->start_location) \
- >> (MAP)->d.ordinary.column_bits) + (MAP)->d.ordinary.to_line))
- /* Convert a map and source_location to source column number. */
- #define SOURCE_COLUMN(MAP, LOC) \
- ((((LOC) - linemap_check_ordinary (MAP)->start_location) \
- & ((1 << (MAP)->d.ordinary.column_bits) - 1)))
- /* Returns the last source line number within an ordinary map. This
- is the (last) line of the #include, or other directive, that caused
- a map change. */
- #define LAST_SOURCE_LINE(MAP) \
- SOURCE_LINE (MAP, LAST_SOURCE_LINE_LOCATION (MAP))
- /* Return the last column number within an ordinary map. */
- #define LAST_SOURCE_COLUMN(MAP) \
- SOURCE_COLUMN (MAP, LAST_SOURCE_LINE_LOCATION (MAP))
- /* Return the location of the last source line within an ordinary
- map. */
- #define LAST_SOURCE_LINE_LOCATION(MAP) \
- ((((linemap_check_ordinary (MAP)[1].start_location - 1 \
- - (MAP)->start_location) \
- & ~((1 << (MAP)->d.ordinary.column_bits) - 1)) \
- + (MAP)->start_location))
- /* Returns the map a given map was included from, or NULL if the map
- belongs to the main file, i.e, a file that wasn't included by
- another one. */
- #define INCLUDED_FROM(SET, MAP) \
- ((linemap_check_ordinary (MAP)->d.ordinary.included_from == -1) \
- ? NULL \
- : (&LINEMAPS_ORDINARY_MAPS (SET)[(MAP)->d.ordinary.included_from]))
- /* Nonzero if the map is at the bottom of the include stack. */
- #define MAIN_FILE_P(MAP) \
- ((linemap_check_ordinary (MAP)->d.ordinary.included_from < 0))
- #if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
- /* Assertion macro to be used in line-map code. */
- #define linemap_assert(EXPR) \
- do { \
- if (! (EXPR)) \
- abort (); \
- } while (0)
-
- /* Assert that becomes a conditional expression when checking is disabled at
- compilation time. Use this for conditions that should not happen but if
- they happen, it is better to handle them gracefully rather than crash
- randomly later.
- Usage:
- if (linemap_assert_fails(EXPR)) handle_error(); */
- #define linemap_assert_fails(EXPR) __extension__ \
- ({linemap_assert (EXPR); false;})
- /* Assert that MAP encodes locations of tokens that are not part of
- the replacement-list of a macro expansion. */
- #define linemap_check_ordinary(LINE_MAP) __extension__ \
- ({linemap_assert (!linemap_macro_expansion_map_p (LINE_MAP)); \
- (LINE_MAP);})
- #else
- /* Include EXPR, so that unused variable warnings do not occur. */
- #define linemap_assert(EXPR) ((void)(0 && (EXPR)))
- #define linemap_assert_fails(EXPR) (! (EXPR))
- #define linemap_check_ordinary(LINE_MAP) (LINE_MAP)
- #endif
- /* Encode and return a source_location from a column number. The
- source line considered is the last source line used to call
- linemap_line_start, i.e, the last source line which a location was
- encoded from. */
- extern source_location
- linemap_position_for_column (struct line_maps *, unsigned int);
- /* Encode and return a source location from a given line and
- column. */
- source_location
- linemap_position_for_line_and_column (const struct line_map *,
- linenum_type, unsigned int);
- /* Encode and return a source_location starting from location LOC and
- shifting it by OFFSET columns. This function does not support
- virtual locations. */
- source_location
- linemap_position_for_loc_and_offset (struct line_maps *set,
- source_location loc,
- unsigned int offset);
- /* Return the file this map is for. */
- #define LINEMAP_FILE(MAP) \
- (linemap_check_ordinary (MAP)->d.ordinary.to_file)
- /* Return the line number this map started encoding location from. */
- #define LINEMAP_LINE(MAP) \
- (linemap_check_ordinary (MAP)->d.ordinary.to_line)
- /* Return a positive value if map encodes locations from a system
- header, 0 otherwise. Returns 1 if MAP encodes locations in a
- system header and 2 if it encodes locations in a C system header
- that therefore needs to be extern "C" protected in C++. */
- #define LINEMAP_SYSP(MAP) \
- (linemap_check_ordinary (MAP)->d.ordinary.sysp)
- /* Return a positive value if PRE denotes the location of a token that
- comes before the token of POST, 0 if PRE denotes the location of
- the same token as the token for POST, and a negative value
- otherwise. */
- int linemap_compare_locations (struct line_maps *set,
- source_location pre,
- source_location post);
- /* Return TRUE if LOC_A denotes the location a token that comes
- topogically before the token denoted by location LOC_B, or if they
- are equal. */
- #define linemap_location_before_p(SET, LOC_A, LOC_B) \
- (linemap_compare_locations ((SET), (LOC_A), (LOC_B)) >= 0)
- typedef struct
- {
- /* The name of the source file involved. */
- const char *file;
- /* The line-location in the source file. */
- int line;
- int column;
- void *data;
- /* In a system header?. */
- bool sysp;
- } expanded_location;
- /* This is enum is used by the function linemap_resolve_location
- below. The meaning of the values is explained in the comment of
- that function. */
- enum location_resolution_kind
- {
- LRK_MACRO_EXPANSION_POINT,
- LRK_SPELLING_LOCATION,
- LRK_MACRO_DEFINITION_LOCATION
- };
- /* Resolve a virtual location into either a spelling location, an
- expansion point location or a token argument replacement point
- location. Return the map that encodes the virtual location as well
- as the resolved location.
- If LOC is *NOT* the location of a token resulting from the
- expansion of a macro, then the parameter LRK (which stands for
- Location Resolution Kind) is ignored and the resulting location
- just equals the one given in argument.
- Now if LOC *IS* the location of a token resulting from the
- expansion of a macro, this is what happens.
- * If LRK is set to LRK_MACRO_EXPANSION_POINT
- -------------------------------
- The virtual location is resolved to the first macro expansion point
- that led to this macro expansion.
- * If LRK is set to LRK_SPELLING_LOCATION
- -------------------------------------
- The virtual location is resolved to the locus where the token has
- been spelled in the source. This can follow through all the macro
- expansions that led to the token.
- * If LRK is set to LRK_MACRO_DEFINITION_LOCATION
- --------------------------------------
- The virtual location is resolved to the locus of the token in the
- context of the macro definition.
- If LOC is the locus of a token that is an argument of a
- function-like macro [replacing a parameter in the replacement list
- of the macro] the virtual location is resolved to the locus of the
- parameter that is replaced, in the context of the definition of the
- macro.
- If LOC is the locus of a token that is not an argument of a
- function-like macro, then the function behaves as if LRK was set to
- LRK_SPELLING_LOCATION.
- If LOC_MAP is not NULL, *LOC_MAP is set to the map encoding the
- returned location. Note that if the returned location wasn't originally
- encoded by a map, the *MAP is set to NULL. This can happen if LOC
- resolves to a location reserved for the client code, like
- UNKNOWN_LOCATION or BUILTINS_LOCATION in GCC. */
- source_location linemap_resolve_location (struct line_maps *,
- source_location loc,
- enum location_resolution_kind lrk,
- const struct line_map **loc_map);
- /* Suppose that LOC is the virtual location of a token coming from the
- expansion of a macro M. This function then steps up to get the
- location L of the point where M got expanded. If L is a spelling
- location inside a macro expansion M', then this function returns
- the point where M' was expanded. LOC_MAP is an output parameter.
- When non-NULL, *LOC_MAP is set to the map of the returned
- location. */
- source_location linemap_unwind_toward_expansion (struct line_maps *,
- source_location loc,
- const struct line_map **loc_map);
- /* If LOC is the virtual location of a token coming from the expansion
- of a macro M and if its spelling location is reserved (e.g, a
- location for a built-in token), then this function unwinds (using
- linemap_unwind_toward_expansion) the location until a location that
- is not reserved and is not in a system header is reached. In other
- words, this unwinds the reserved location until a location that is
- in real source code is reached.
- Otherwise, if the spelling location for LOC is not reserved or if
- LOC doesn't come from the expansion of a macro, the function
- returns LOC as is and *MAP is not touched.
- *MAP is set to the map of the returned location if the later is
- different from LOC. */
- source_location linemap_unwind_to_first_non_reserved_loc (struct line_maps *,
- source_location loc,
- const struct line_map **map);
- /* Expand source code location LOC and return a user readable source
- code location. LOC must be a spelling (non-virtual) location. If
- it's a location < RESERVED_LOCATION_COUNT a zeroed expanded source
- location is returned. */
- expanded_location linemap_expand_location (struct line_maps *,
- const struct line_map *,
- source_location loc);
- /* Statistics about maps allocation and usage as returned by
- linemap_get_statistics. */
- struct linemap_stats
- {
- long num_ordinary_maps_allocated;
- long num_ordinary_maps_used;
- long ordinary_maps_allocated_size;
- long ordinary_maps_used_size;
- long num_expanded_macros;
- long num_macro_tokens;
- long num_macro_maps_used;
- long macro_maps_allocated_size;
- long macro_maps_used_size;
- long macro_maps_locations_size;
- long duplicated_macro_maps_locations_size;
- };
- /* Return the highest location emitted for a given file for which
- there is a line map in SET. FILE_NAME is the file name to
- consider. If the function returns TRUE, *LOC is set to the highest
- location emitted for that file. */
- bool linemap_get_file_highest_location (struct line_maps * set,
- const char *file_name,
- source_location *loc);
- /* Compute and return statistics about the memory consumption of some
- parts of the line table SET. */
- void linemap_get_statistics (struct line_maps *, struct linemap_stats *);
- /* Dump debugging information about source location LOC into the file
- stream STREAM. SET is the line map set LOC comes from. */
- void linemap_dump_location (struct line_maps *, source_location, FILE *);
- /* Dump line map at index IX in line table SET to STREAM. If STREAM
- is NULL, use stderr. IS_MACRO is true if the caller wants to
- dump a macro map, false otherwise. */
- void linemap_dump (FILE *, struct line_maps *, unsigned, bool);
- /* Dump line table SET to STREAM. If STREAM is NULL, stderr is used.
- NUM_ORDINARY specifies how many ordinary maps to dump. NUM_MACRO
- specifies how many macro maps to dump. */
- void line_table_dump (FILE *, struct line_maps *, unsigned int, unsigned int);
- #endif /* !LIBCPP_LINE_MAP_H */
|