Long sequences of sync events can overflow

[bprail]

While the instrumentation checks for overflows due to lots of memory accesses, it may need to reason about a sequence of lock acquires within a single basic block.