Remove unused {c,java}_qualifierst::count

These are never used (and their implementation was awkwardly summing up
Booleans, yielding conversion warnings).

Author: tautschnig

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();

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;
 

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