Very interesting. Is the bug it found exploitable in practice? Could this have been found by syzkaller?
I case anyone else didn't recognize that word: https://github.com/google/syzkaller