https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70696
--- Comment #5 from Damian Rouson <damian at sourceryinstitute dot org> --- Hmm... I wouldn't be surprised if the root cause is the same or closely related, but given that lock_type and event_type are not the same, I don't see one as the duplicate of the other.