diff options
| -rw-r--r-- | openmp/runtime/src/kmp_affinity.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/openmp/runtime/src/kmp_affinity.h b/openmp/runtime/src/kmp_affinity.h index d17717f4e3a..67045733f5b 100644 --- a/openmp/runtime/src/kmp_affinity.h +++ b/openmp/runtime/src/kmp_affinity.h @@ -688,8 +688,11 @@ public: : maxLevels(7), depth(1), uninitialized(not_initialized), resizing(0) {} void fini() { - if (!uninitialized && numPerLevel) + if (!uninitialized && numPerLevel) { __kmp_free(numPerLevel); + numPerLevel = NULL; + uninitialized = not_initialized; + } } void init(AddrUnsPair *adr2os, int num_addrs) { |
