| 3082 | } |
| 3083 | |
| 3084 | THREAD_FUNC releaseMem(void* arg) { |
| 3085 | threadSleep(0.1 * deterministicRandom()->random01()); |
| 3086 | try { |
| 3087 | // Must get for releaseMemory to work |
| 3088 | ((ThreadSingleAssignmentVar<int>*)arg)->get(); |
| 3089 | } catch (Error&) { |
| 3090 | // Swallow |
| 3091 | } |
| 3092 | try { |
| 3093 | ((ThreadSingleAssignmentVar<int>*)arg)->releaseMemory(); |
| 3094 | } catch (Error& e) { |
| 3095 | printf("Caught error in releaseMem: %s\n", e.name()); |
| 3096 | ASSERT(false); |
| 3097 | } |
| 3098 | THREAD_RETURN; |
| 3099 | } |
| 3100 | |
| 3101 | THREAD_FUNC destroy(void* arg) { |
| 3102 | threadSleep(0.1 * deterministicRandom()->random01()); |
nothing calls this directly
no test coverage detected