diff options
Diffstat (limited to 'gcc/cfg.c')
| -rw-r--r-- | gcc/cfg.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/cfg.c b/gcc/cfg.c index 1bcf9b8227f..7a0e5bb16cb 100644 --- a/gcc/cfg.c +++ b/gcc/cfg.c @@ -1095,6 +1095,15 @@ free_original_copy_tables (void) original_copy_bb_pool = NULL; } +/* Return true iff we have had a call to initialize_original_copy_tables + without a corresponding call to free_original_copy_tables. */ + +bool +original_copy_tables_initialized_p (void) +{ + return original_copy_bb_pool != NULL; +} + /* Removes the value associated with OBJ from table TAB. */ static void |