Remove unused {c,java}_qualifierst::count

These are never used (and their implementation was awkwardly summing up Booleans, yielding conversion warnings).
diffblue · Feb 7, 2025 · 0e1bdf5 · 0e1bdf5
1 parent 66004dc
commit 0e1bdf5
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 12 deletions.
diff --git a/jbmc/src/java_bytecode/java_qualifiers.cpp b/jbmc/src/java_bytecode/java_qualifiers.cpp
@@ -27,11 +27,6 @@ std::unique_ptr<c_qualifierst> 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
@@ -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
@@ -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
-Original file line number
+Diff line change
@@ Expand Up / @@ -31,7 +31,6 @@ class java_qualifierst : public c_qualifierst @@
       {
         return annotations;
       }
-      std::size_t count() const override;
       void clear() override;
@@ Expand Down @@