diff options
Diffstat (limited to 'gcc/pointer-set.h')
-rw-r--r-- | gcc/pointer-set.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/pointer-set.h b/gcc/pointer-set.h index 3c2be390daf..65ac9ee4724 100644 --- a/gcc/pointer-set.h +++ b/gcc/pointer-set.h @@ -26,6 +26,7 @@ struct pointer_set_t; struct pointer_set_t *pointer_set_create (void); void pointer_set_destroy (struct pointer_set_t *pset); +int pointer_set_contains (struct pointer_set_t *pset, void *p); int pointer_set_insert (struct pointer_set_t *pset, void *p); #endif /* POINTER_SET_H */ |