| commit | c576fe174931c827e0e273707d2c0e5d40fd6da7 | [log] [tgz] |
|---|---|---|
| author | Jon Chesterfield <jonathanchesterfield@gmail.com> | Thu Jul 28 16:21:36 2022 +0100 |
| committer | Copybara-Service <copybara-worker@google.com> | Thu Jul 28 08:26:45 2022 -0700 |
| tree | 2e4587fa6a94efce518af411cfb533d3a11d49e4 | |
| parent | f22838a48cb3dad19b72fb35565c9adcf7e89274 [diff] |
[openmp] Introduce optional plugin init/deinit functions Will allow plugins to migrate away from using global variables to manage lifetime, which will fix a segfault discovered in relation to D127432 Reviewed By: jhuber6 Differential Revision: https://reviews.llvm.org/D130712 GitOrigin-RevId: 1f9d3974e444f95ddb600a6964ed14ded559e89c