Merge pull request #8583 from tautschnig/remove-count

tautschnig · web-flow · commit 831adaf5d272 · 2025-04-04T23:39:10.000+02:00
Remove unused {c,java}_qualifierst::count
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 number	Diff line change
`@@ -27,11 +27,6 @@ std::unique_ptr<c_qualifierst> java_qualifierst::clone() const`
`27`	`27`	`return std::move(other);`
`28`	`28`	`}`
`29`	`29`
`30`		`-std::size_t java_qualifierst::count() const`
`31`		`-{`
`32`		`- return c_qualifierst::count() + annotations.size();`
`33`		`-}`
`34`		`-`
`35`	`30`	`void java_qualifierst::clear()`
`36`	`31`	`{`
`37`	`32`	`c_qualifierst::clear();`
Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,6 @@ class java_qualifierst : public c_qualifierst`
`31`	`31`	`{`
`32`	`32`	`return annotations;`
`33`	`33`	`}`
`34`		`- std::size_t count() const override;`
`35`	`34`
`36`	`35`	`void clear() override;`
`37`	`36`