|
@@ -154,7 +154,11 @@ void starpu_tag_remove(starpu_tag_t id)
|
|
|
|
|
|
_STARPU_PTHREAD_RWLOCK_UNLOCK(&tag_global_rwlock);
|
|
_STARPU_PTHREAD_RWLOCK_UNLOCK(&tag_global_rwlock);
|
|
|
|
|
|
- if (entry)_starpu_tag_free(entry->tag);
|
|
|
|
|
|
+ if (entry)
|
|
|
|
+ {
|
|
|
|
+ _starpu_tag_free(entry->tag);
|
|
|
|
+ free(entry);
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
|
|
void _starpu_tag_clear(void)
|
|
void _starpu_tag_clear(void)
|
|
@@ -171,6 +175,7 @@ void _starpu_tag_clear(void)
|
|
{
|
|
{
|
|
HASH_DEL(tag_htbl, entry);
|
|
HASH_DEL(tag_htbl, entry);
|
|
_starpu_tag_free(entry->tag);
|
|
_starpu_tag_free(entry->tag);
|
|
|
|
+ free(entry);
|
|
}
|
|
}
|
|
|
|
|
|
_STARPU_PTHREAD_RWLOCK_UNLOCK(&tag_global_rwlock);
|
|
_STARPU_PTHREAD_RWLOCK_UNLOCK(&tag_global_rwlock);
|