diff options
Diffstat (limited to 'gcc/stringpool.c')
| -rw-r--r-- | gcc/stringpool.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/stringpool.c b/gcc/stringpool.c index c880cb1e678..330df6c1d35 100644 --- a/gcc/stringpool.c +++ b/gcc/stringpool.c @@ -61,6 +61,11 @@ stringpool_ggc_alloc (size_t x) void init_stringpool (void) { + /* Clean up if we're called more than once. + (We can't make this idempotent since identifiers contain state) */ + if (ident_hash) + ht_destroy (ident_hash); + /* Create with 16K (2^14) entries. */ ident_hash = ht_create (14); ident_hash->alloc_node = alloc_node; |