diff options
Diffstat (limited to 'gcc/ggc-page.c')
| -rw-r--r-- | gcc/ggc-page.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gcc/ggc-page.c b/gcc/ggc-page.c index 4738ed248dd..559183e2d34 100644 --- a/gcc/ggc-page.c +++ b/gcc/ggc-page.c @@ -1001,16 +1001,6 @@ ggc_set_mark (p) return 0; } -/* Mark P, but check first that it was allocated by the collector. */ - -void -ggc_mark_if_gcable (p) - const void *p; -{ - if (p && ggc_allocated_p (p)) - ggc_set_mark (p); -} - /* Return the size of the gc-able object P. */ size_t |