<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/100500>100500</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            LLJIT::deinitialize not running static dtors in LLVM-17
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          xybu
      </td>
    </tr>
</table>

<pre>
    So I have a program that highly resembles the [LLJITWithInitializers.cpp](https://github.com/llvm/llvm-project/blob/main/llvm/examples/OrcV2Examples/LLJITWithInitializers/LLJITWithInitializers.cpp) example except that we expose all symbols in process memory to JIT space.

Recently we're upgrading from LLVM-15 to LLVM-17 and found that our unit tests involving static dtors are broken. It appears that
* static dtors in JITed module don't run anymore with LLJIT::deinitialize(JD)
* Something generated by JIT is attached to the real __cxa_atexit() which causes segfault during shutdown.

I was looking through the commits in Orc but too many to find something relevant.

Then I searched __cxa_atexit in the repo and found this comment about LocalCXXRuntimeOverrides in [ExecutionUtils.h](https://github.com/llvm/llvm-project/blob/2ba1aeed2efd8156717886f89f6d4270b1df7a18/llvm/include/llvm/ExecutionEngine/Orc/ExecutionUtils.h#L163) which seems to describe exactly what's happening. With LLJIT most details are sealed and we only call the clean interface.

I tried to do `CXXRuntimeoverrides.enable(llJIT_->getMainJITDylib(), *mangle_)` but got `Duplicate definition of symbol '__dso_handle'` for now. Still looking.

Platform is Linux x86_64.

I'm running out of ideas so wonder if any expert is aware of some changes to LLJIT that require users to do something different / explicit to handle static dtors or atexit() gracefully. Any help is super appreciated. Thank you!
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykVc2O2zgTfBr60ogh0T_yHHyYZMaABw7yIZkvyc1okS2JG4rUkk3_7NMvKM-M42BzWOzFtmixWV1dVcQYTeuI1mLxXiweJpi482F9OtdpUnt9Xn_xsIUODwQIQ_BtwB64Q4bOtJ09Q6BIfW0pAncEYvF-t3vaPn8z3G2dYYPW_EUhTtUwiMWDkKuOeYhidi_kRshNa7hL9VT5XsiNtYfXr3dD8H-QYiE3tfW1kJsejbu-QyfsB0tRyM2noL7Kx-vzP57_u_URl7yDl3pAJ0UDXxo85sfBRwK0FuK5r72NYFymQVGM0FPvwxnYw9P2GeKAiqaieBDF_eXzMylybM9wJCGrQJCGNqA2roUm-B52u68f35WLXODyswJ0GhqfnL5A8ClAcoaBKXI---DtIe-PjGwUaPYhAgaCOvgf5KawZcBhIAxxrPACR97f7jAuQyYNvdfJEmjvhKwYQnKA7tz7QHA03MFIWp7W7F6TeSNOyNXTg5B31_JffE_cZWgtOQrIpKE-j8SYCMiMqiOdW80yCYQW9nt1wj0ynQwLucpjOHZGdaAwRYoQqW0wWQadwthzl1j7o7vheAtHjGC9_5Ff4S741HbjGcr3vRlJg09BQZ0Y2Hvo0Y0ja4zTEN9QB7J0QMc3xZ87crCFSBhG9D8jznUvrQz-ZmwmjkeTY8DaJ4adV2g_fP_-OTk2PX06UAhG04hMLN4_nkglNt79n42N0-6_2UTWWCKRltToVblYVmW1Wi2b1V2z1HNZFXWpmwrL1bWOccomTdeFN0CPrjWOLhb7ef0VqJztyuXsOrdI1MfMraaogqmzf1CNBshSlFWELovTGddO4dubvqD3kUETo7EXNUdCS3qk9UjgnT2DyiYc52oJHRjHFJpfHbcFDuYiM-1BLIsr7f6V9ik5rG2WsLVP2-f9OzF7bIk_onFP2-eHszX1RY1CfgAh73t0raV9XlgWo4xaz7n2QxqsUcgEmprRG96Bb16SAoSs9nsd_b5Dp_N5Vd7f-ADOH6fwhY21r8K9aeJ_Frnxoc_G2RmXTnBaLffL-W2nQlZ99msmE7LMfANGE0aIHo7eaQpgmuzmnGIUePThMbObMfqeQHXoWoqX_MlzGDMn0J_J5LCKFOILk1efaNM0FLK4hdzkytaonE8eLm3e5owPcOPvNqCiJll7nsK9O0NHdsi4Yhoo5OAKpEzOjik8d-h-wNknIcuJXs_03ewOJ7QuK1muqoWslpNuPSuk1jTTcllSXcyJZlVzt6rV3bKRqilxYtaykPOikotCzstyOS2KEktcFLJYFLP5HMW8oB6NnWbxT31oJybGROuyKBZFMbFYk43j5SiloyOM_wop810Z1qMH69RGMS-siRyvZdiwpfVv8hOc57fh_ZrML3fBJAW7_tcxMOLL191LA4e1_DsAAP__zw6pWw">