diff options
Diffstat (limited to 'gcc/pointer-set.h')
| -rw-r--r-- | gcc/pointer-set.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/pointer-set.h b/gcc/pointer-set.h index 7b3f549d28e..9c09cb05770 100644 --- a/gcc/pointer-set.h +++ b/gcc/pointer-set.h @@ -24,7 +24,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_contains (struct pointer_set_t *pset, const void *p); int pointer_set_insert (struct pointer_set_t *pset, void *p); void pointer_set_traverse (struct pointer_set_t *, bool (*) (void *, void *), void *); @@ -33,7 +33,7 @@ struct pointer_map_t; struct pointer_map_t *pointer_map_create (void); void pointer_map_destroy (struct pointer_map_t *pmap); -void **pointer_map_contains (struct pointer_map_t *pmap, void *p); +void **pointer_map_contains (struct pointer_map_t *pmap, const void *p); void **pointer_map_insert (struct pointer_map_t *pmap, void *p); void pointer_map_traverse (struct pointer_map_t *, bool (*) (void *, void **, void *), void *); |