Searched refs:gcable_pointers (Results 1 – 1 of 1) sorted by relevance
27 static char **gcable_pointers = (char **)NULL; variable38 add_pointer_to_array (pointer, gcable_pointers_index, gcable_pointers, in add_gcable_pointer()65 if (gcable_pointers[k] == node->contents) in gc_pointers()79 if (gcable_pointers[i] == new[j]) in gc_pointers()85 free (gcable_pointers[i]); in gc_pointers()88 free (gcable_pointers); in gc_pointers()89 gcable_pointers = new; in gc_pointers()