dlclose() causes .so unloaded and does not reload it back on reverse-continue #3846
Description
In continuation of #3845.
For the trace of the following sequence:
- dlopen(X.so)
- debugged code
- dlclose(X.so)
- After dlclose()
Until 4. is reached 2. displays X.so in info shared. But if 4. is reached in trace replay, reverse-continue to 2. does not return back X.so to loaded modules.
The workaround to this is restart from the start or replay dlopen() again. Saved checkpoints also restore correct modules list.