port r14771 from 1.2: fix leaks

src/core/topology.c

@@ -245,6 +245,12 @@ _starpu_initialize_workers_opencl_gpuid (struct _starpu_machine_config*config)
                                 nb ++;
                         }
                 }
+		struct handle_entry *entry, *tempo;
+		HASH_ITER(hh, devices_already_used, entry, tempo)
+		{
+			HASH_DEL(devices_already_used, entry);
+			free(entry);
+		}
                 for (i=nb ; i<STARPU_NMAXWORKERS ; i++)
 			tmp[i] = -1;
                 memcpy (topology->workers_opencl_gpuid, tmp,

src/core/workers.c

@@ -1204,6 +1204,7 @@ int starpu_initialize(struct starpu_conf *user_conf, int *argc, char ***argv)
 		starpu_perfmodel_free_sampling_directories();
 		STARPU_PTHREAD_MUTEX_LOCK(&init_mutex);
 		init_count--;
+		_starpu_destroy_topology(&config);
 #ifdef STARPU_USE_SCC
 		if (_starpu_scc_common_is_mp_initialized())
 			_starpu_scc_src_mp_deinit();