From 3dfaf302646c504e0e233f255a02302ddae290ef Mon Sep 17 00:00:00 2001
From: Jean-Louis Leroy <jl@leroy.nyc>
Date: Tue, 20 Jan 2026 15:53:26 -0500
Subject: [PATCH] disable incorrect coverity warnings

---
 include/boost/openmethod/core.hpp                | 2 +-
 test/test_unique_virtual_ptr_value_semantics.cpp | 2 ++
 test/test_virtual_ptr_doc.cpp                    | 2 ++
 test/test_virtual_ptr_value_semantics.cpp        | 1 +
 4 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/include/boost/openmethod/core.hpp b/include/boost/openmethod/core.hpp
index 0a3f39d..87906c3 100644
--- a/include/boost/openmethod/core.hpp
+++ b/include/boost/openmethod/core.hpp
@@ -2746,7 +2746,7 @@ method<Id, ReturnType(Parameters...), Registry>::override_impl<
 #endif
 
     // zero-initalized static variable
-    // coverity[uninit_use:FALSE]
+    // coverity[uninit_use]
     if (overrider_info::method) {
         BOOST_ASSERT(overrider_info::method == &fn);
         return;
diff --git a/test/test_unique_virtual_ptr_value_semantics.cpp b/test/test_unique_virtual_ptr_value_semantics.cpp
index 35d8662..3d858a8 100644
--- a/test/test_unique_virtual_ptr_value_semantics.cpp
+++ b/test/test_unique_virtual_ptr_value_semantics.cpp
@@ -116,6 +116,7 @@ BOOST_AUTO_TEST_CASE_TEMPLATE(
         unique_virtual_ptr<Dog, Registry> p(std::make_unique<Dog>());
         auto dog = p.get();
         unique_virtual_ptr<Dog, Registry> q(std::move(p));
+        // coverity[use_after_move]
         BOOST_TEST(q.get() == dog);
         BOOST_TEST(q.vptr() == Registry::template static_vptr<Dog>);
         BOOST_TEST(p.get() == nullptr);
@@ -127,6 +128,7 @@ BOOST_AUTO_TEST_CASE_TEMPLATE(
         unique_virtual_ptr<Dog, Registry> p(std::make_unique<Dog>());
         auto dog = p.get();
         unique_virtual_ptr<Animal, Registry> q(std::move(p));
+        // coverity[use_after_move]
         BOOST_TEST(q.get() == dog);
         BOOST_TEST(q.vptr() == Registry::template static_vptr<Dog>);
         BOOST_TEST(p.get() == nullptr);
diff --git a/test/test_virtual_ptr_doc.cpp b/test/test_virtual_ptr_doc.cpp
index 18b711b..dbd95fb 100644
--- a/test/test_virtual_ptr_doc.cpp
+++ b/test/test_virtual_ptr_doc.cpp
@@ -117,6 +117,7 @@ BOOST_AUTO_TEST_CASE(smart_virtual_ptr_examples) {
 
         virtual_ptr<std::shared_ptr<Animal>> p = std::move(snoopy);
 
+        // coverity[use_after_move]
         BOOST_TEST(p.get() == moving);
         BOOST_TEST(p.vptr() == default_registry::static_vptr<Dog>);
         BOOST_TEST(snoopy.get() == nullptr);
@@ -126,6 +127,7 @@ BOOST_AUTO_TEST_CASE(smart_virtual_ptr_examples) {
             make_shared_virtual<Dog>();
         virtual_ptr<std::shared_ptr<Animal>> p = std::move(snoopy);
 
+        // coverity[use_after_move]
         BOOST_TEST(snoopy.get() != nullptr);
         BOOST_TEST(p.get() == snoopy.get());
         BOOST_TEST(p.vptr() == default_registry::static_vptr<Dog>);
diff --git a/test/test_virtual_ptr_value_semantics.cpp b/test/test_virtual_ptr_value_semantics.cpp
index 41f550c..c4c5a1d 100644
--- a/test/test_virtual_ptr_value_semantics.cpp
+++ b/test/test_virtual_ptr_value_semantics.cpp
@@ -168,6 +168,7 @@ BOOST_AUTO_TEST_CASE_TEMPLATE(
         Dog snoopy;
         virtual_ptr<Dog, Registry> p(snoopy);
         virtual_ptr<Dog, Registry> q(std::move(p));
+        // coverity[use_after_move]
         BOOST_TEST(q.get() == &snoopy);
         BOOST_TEST(q.vptr() == Registry::template static_vptr<Dog>);
         BOOST_TEST(p.get() == &snoopy);