From c2bdb14ee486fe402196c4cbe41534b10b2bd4fd Mon Sep 17 00:00:00 2001 From: Bob Halley Date: Thu, 12 Jan 2023 14:00:52 -0800 Subject: [PATCH] Make Coverity happier [#882]. --- dns/_asyncio_backend.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/dns/_asyncio_backend.py b/dns/_asyncio_backend.py index d8257658..82a06249 100644 --- a/dns/_asyncio_backend.py +++ b/dns/_asyncio_backend.py @@ -145,6 +145,10 @@ class Backend(dns._asyncbackend.Backend): ) return DatagramSocket(af, transport, protocol) elif socktype == socket.SOCK_STREAM: + if destination is None: + # This shouldn't happen, but we check to make code analysis software + # happier. + raise ValueError("destination required for stream sockets") (r, w) = await _maybe_wait_for( asyncio.open_connection( destination[0], -- 2.47.3