On 02/07/20 08:18, Pavel Dovgalyuk wrote: > Is it true, that semihosting can be used to access (read and write) host > files from the guest? > In such a case it can't be used with RR for the following reasons: > 1. We don't preserve modified files, therefore the execution result may > change in the future runs. > 2. Even in the case, when all the files are read only, semihosting FDs > can't be saved, therefore it may not be used with reverse debugging.
Since there are many cases in which semihosting and RR can work together well, I think the fix here should not be to just block semihosting. The replay_finish issue is just an example, there can be more atexit handlers. Paolo
