From ccfc6842cbc5311480583094c7f7220379b03a42 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 7 Feb 2025 12:37:36 +0000 Subject: [PATCH] Remove unused {c,java}_qualifierst::count These are never used (and their implementation was awkwardly summing up Booleans, yielding conversion warnings). --- jbmc/src/java_bytecode/java_qualifiers.cpp | 5 ----- jbmc/src/java_bytecode/java_qualifiers.h | 1 - src/ansi-c/c_qualifiers.h | 6 ------ 3 files changed, 12 deletions(-) diff --git a/jbmc/src/java_bytecode/java_qualifiers.cpp b/jbmc/src/java_bytecode/java_qualifiers.cpp index d146580cc91..38a4acb77d1 100644 --- a/jbmc/src/java_bytecode/java_qualifiers.cpp +++ b/jbmc/src/java_bytecode/java_qualifiers.cpp @@ -27,11 +27,6 @@ std::unique_ptr java_qualifierst::clone() const return std::move(other); } -std::size_t java_qualifierst::count() const -{ - return c_qualifierst::count() + annotations.size(); -} - void java_qualifierst::clear() { c_qualifierst::clear(); diff --git a/jbmc/src/java_bytecode/java_qualifiers.h b/jbmc/src/java_bytecode/java_qualifiers.h index 8e61ad187e6..da58c7e5959 100644 --- a/jbmc/src/java_bytecode/java_qualifiers.h +++ b/jbmc/src/java_bytecode/java_qualifiers.h @@ -31,7 +31,6 @@ class java_qualifierst : public c_qualifierst { return annotations; } - std::size_t count() const override; void clear() override; diff --git a/src/ansi-c/c_qualifiers.h b/src/ansi-c/c_qualifiers.h index 3c403dcadb3..2cf17bb2161 100644 --- a/src/ansi-c/c_qualifiers.h +++ b/src/ansi-c/c_qualifiers.h @@ -109,12 +109,6 @@ class c_qualifierst is_noreturn |= other.is_noreturn; return *this; } - - virtual std::size_t count() const - { - return is_constant + is_volatile + is_restricted + is_atomic + is_ptr32 + - is_ptr64 + is_nodiscard + is_noreturn; - } }; #endif // CPROVER_ANSI_C_C_QUALIFIERS_H