diff options
Diffstat (limited to 'gcc/input.h')
| -rw-r--r-- | gcc/input.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/input.h b/gcc/input.h index 0ca3ccfd733..2fea1a65c9b 100644 --- a/gcc/input.h +++ b/gcc/input.h @@ -84,6 +84,7 @@ extern void push_srcloc (location_t); extern void push_srcloc (const char *name, int line); #endif /* ! USE_MAPPED_LOCATION */ extern void pop_srcloc (void); +extern void restore_input_file_stack (int); #define LOCATION_FILE(LOC) ((expand_location (LOC)).file) #define LOCATION_LINE(LOC) ((expand_location (LOC)).line) @@ -98,4 +99,7 @@ extern struct file_stack *input_file_stack; /* Incremented on each change to input_file_stack. */ extern int input_file_stack_tick; +/* The number of bits available for input_file_stack_tick. */ +#define INPUT_FILE_STACK_BITS 31 + #endif |