@@ -19,12 +19,15 @@
 #   modernize-avoid-c-arrays: arrays are passed to and filled by C APIs.
 #   modernize-return-braced-init-list: `return {};` vs. an explicit type is
 #       left to the author; it adds noise for the driver-API result structs.
+#   bugprone-throwing-static-initialization: the handle registries are
+#       process-lifetime globals whose constructors allocate on some standard
+#       libraries (MSVC); running out of memory while loading the module is
+#       fatal either way.
 #
 # Disabled because they do not match the codebase style:
 #   performance-enum-size: enum underlying types are left as they are.
 #   misc-const-correctness: const on every local is not the convention here.
-#   readability-function-cognitive-complexity: a metric threshold, not a defect;
-#       it flags only ensure_fn_table, which is flat error handling.
+#   readability-function-cognitive-complexity: too disruptive.
 #   readability-identifier-length: short names such as the handle parameter `h`
 #       are used throughout.
 #   readability-implicit-bool-conversion: `if (ptr)` and `if (handle)` are the
@@ -38,6 +41,7 @@ Checks: >
   bugprone-*,
   -bugprone-easily-swappable-parameters,
   -bugprone-assignment-in-if-condition,
+  -bugprone-throwing-static-initialization,
   clang-analyzer-*,
   misc-*,
   -misc-include-cleaner,
 
@@ -83,9 +83,10 @@ struct GraphBox : GraphBoxBase {
     GraphAttachmentMap attachments;       // Non-owning attachment index.
     HandleRegistry<CUgraphNode, GraphNodeHandle> node_handles;
 
+    // Not noexcept: the std::map and HandleRegistry members allocate.
     GraphBox(
         CUgraph resource_, GraphHierarchy *hierarchy_, GraphBox *parent_ = nullptr, CUgraphNode owner_node_ = nullptr
-    ) noexcept
+    )
         : GraphBoxBase{resource_}, hierarchy(hierarchy_), parent(parent_), owner_node(owner_node_)
     {
     }
 
@@ -586,7 +586,7 @@ deviceptr_import_ipc(const MemoryPoolHandle &h_pool, const void *export_data, co
                             [&]() noexcept {
                                 return p_cuMemFreeAsync(b->resource, as_cu(stream.h_stream));  // raw: under ipc_import_mutex
                             },
-                            [&]() noexcept { lock.unlock(); });
+                            [&]() noexcept { lock.release()->unlock(); });
                         delete b;
                     }
                 );
@@ -649,7 +649,7 @@ deviceptr_import_ipc(const MemoryPoolHandle &h_pool, const void *export_data, co
 // ============================================================================
 
 FileDescriptorHandle
-create_fd_handle(int fd)
+create_fd_handle([[maybe_unused]] int fd)
 {
 #ifdef _WIN32
     throw std::runtime_error("create_fd_handle is not supported on Windows");
@@ -669,7 +669,7 @@ create_fd_handle(int fd)
 }
 
 FileDescriptorHandle
-create_fd_handle_ref(int fd)
+create_fd_handle_ref([[maybe_unused]] int fd)
 {
 #ifdef _WIN32
     throw std::runtime_error("create_fd_handle_ref is not supported on Windows");
 
@@ -146,6 +146,10 @@ enqueue_cleanup(void *item) noexcept
 
 // Module initialization calls this once with the GIL held, which serializes
 // the check, allocation, and publication below.
+//
+// The queue lives for the rest of the process. MSVC's std::atomic hides the
+// publication from the analyzer, which then reports a leak at the closing brace.
+// NOLINTBEGIN(clang-analyzer-cplusplus.NewDeleteLeaks)
 void
 initialize_deferred_cleanup()
 {
@@ -155,6 +159,7 @@ initialize_deferred_cleanup()
     auto *queue = new DeferredCleanupQueue();
     deferred_cleanup_queue.store(queue, std::memory_order_release);
 }
+// NOLINTEND(clang-analyzer-cplusplus.NewDeleteLeaks)
 
 void
 retry_deferred_cleanup() noexcept
Original file line number	Diff line number	Diff line change
`@@ -83,9 +83,10 @@ struct GraphBox : GraphBoxBase {`
`83`	`83`	`GraphAttachmentMap attachments; // Non-owning attachment index.`
`84`	`84`	`HandleRegistry<CUgraphNode, GraphNodeHandle> node_handles;`
`85`	`85`
	`86`	`+ // Not noexcept: the std::map and HandleRegistry members allocate.`
`86`	`87`	`GraphBox(`
`87`	`88`	`CUgraph resource_, GraphHierarchy hierarchy_, GraphBox parent_ = nullptr, CUgraphNode owner_node_ = nullptr`
`88`		`- ) noexcept`
	`89`	`+ )`
`89`	`90`	`: GraphBoxBase{resource_}, hierarchy(hierarchy_), parent(parent_), owner_node(owner_node_)`
`90`	`91`	`{`
`91`	`92`	`}`
Original file line number	Diff line number	Diff line change
`@@ -586,7 +586,7 @@ deviceptr_import_ipc(const MemoryPoolHandle &h_pool, const void *export_data, co`
`586`	`586`	`[&]() noexcept {`
`587`	`587`	`return p_cuMemFreeAsync(b->resource, as_cu(stream.h_stream)); // raw: under ipc_import_mutex`
`588`	`588`	`},`
`589`		`- [&]() noexcept { lock.unlock(); });`
	`589`	`+ [&]() noexcept { lock.release()->unlock(); });`
`590`	`590`	`delete b;`
`591`	`591`	`}`
`592`	`592`	`);`
`@@ -649,7 +649,7 @@ deviceptr_import_ipc(const MemoryPoolHandle &h_pool, const void *export_data, co`
`649`	`649`	`// ============================================================================`
`650`	`650`
`651`	`651`	`FileDescriptorHandle`
`652`		`-create_fd_handle(int fd)`
	`652`	`+create_fd_handle([[maybe_unused]] int fd)`
`653`	`653`	`{`
`654`	`654`	`#ifdef _WIN32`
`655`	`655`	`throw std::runtime_error("create_fd_handle is not supported on Windows");`
`@@ -669,7 +669,7 @@ create_fd_handle(int fd)`
`669`	`669`	`}`
`670`	`670`
`671`	`671`	`FileDescriptorHandle`
`672`		`-create_fd_handle_ref(int fd)`
	`672`	`+create_fd_handle_ref([[maybe_unused]] int fd)`
`673`	`673`	`{`
`674`	`674`	`#ifdef _WIN32`
`675`	`675`	`throw std::runtime_error("create_fd_handle_ref is not supported on Windows");`