From 54693cf5f11bf292ae308604caf6e866dbb03e6f Mon Sep 17 00:00:00 2001 From: Simon Marchi Date: Fri, 2 Mar 2018 23:22:10 -0500 Subject: Remove free_char_ptr_vec Nothing is using it anymore. gdb/ChangeLog: * common/gdb_vecs.c (free_char_ptr_vec): Remove. * common/gdb_vecs.h (free_char_ptr_vec): Remove. --- gdb/common/gdb_vecs.c | 18 ------------------ 1 file changed, 18 deletions(-) (limited to 'gdb/common/gdb_vecs.c') diff --git a/gdb/common/gdb_vecs.c b/gdb/common/gdb_vecs.c index a19d238..445793e 100644 --- a/gdb/common/gdb_vecs.c +++ b/gdb/common/gdb_vecs.c @@ -21,24 +21,6 @@ #include "gdb_vecs.h" #include "host-defs.h" -/* Call xfree for each element of CHAR_PTR_VEC and final VEC_free for - CHAR_PTR_VEC itself. - - You must not modify CHAR_PTR_VEC after it got registered with this function - by make_cleanup as the CHAR_PTR_VEC base address may change on its updates. - Contrary to VEC_free this function does not (cannot) clear the pointer. */ - -void -free_char_ptr_vec (VEC (char_ptr) *char_ptr_vec) -{ - int ix; - char *name; - - for (ix = 0; VEC_iterate (char_ptr, char_ptr_vec, ix, name); ++ix) - xfree (name); - VEC_free (char_ptr, char_ptr_vec); -} - /* Worker function to split character delimiter separated string of fields STR into a char pointer vector. */ -- cgit v1.1