i#4019 rseq gap: Ensure test covers rseq native abort gap (!4048) · Merge requests · DynamoRIO / dynamorio

Merged Derek Bruening requested to merge i4038-rseq-gap-test into master Jan 23, 2020

Makes the following changes to ensure the drcachesim rseq test from

Confirms that the gap is found by trace_invariants. It wasn't in HEAD: here I fix a bug to only honor pref_xfer_marker if it was not cleared.
Adds ending of a bb right after an rseq committing store, to simplify the native-rseq-mangled bb and drmemtrace's handling: raw2trace wants to include the subsequent instructions in the bb; they are removed by #4038 (closed)'s rollback but it seems cleaner to just not have them there in the bb in the first place.