Please close this bug. It was reported upstream: https://github.com/google/sanitizers/issues/1172#issuecomment-561409759