Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When detaching common remote coverage, do not clear any fields. Instead,
let kr_free() do the work. Otherwise a thread currently inside a remote section could end up not decrementing the number of ongoing sections while exiting the same remote section. Reported-by: syzbot+1252e696865efc29b767@syzkaller.appspotmail.com
- Loading branch information