* gcc-interface/utils.c (update_pointer_to): Finalize named pointer