use override in Verilog front-end

Author: Daniel Kroening

lib/cbmc

@@ -63,7 +63,7 @@ class verilog_typecheckt:
     assertion_counter(0)
   {}
 
-  virtual void typecheck();
+  void typecheck() override;
 
 protected:
   const namespacet ns;
@@ -163,8 +163,10 @@ class verilog_typecheckt:
   bool replace_symbols(const replace_mapt &what, exprt &dest);
   void replace_symbols(const std::string &target, exprt &dest);
 
+  // to be overridden
   virtual void convert_statements();
 
+  // to be overridden
   virtual bool implicit_wire(
     const irep_idt &identifier,
     const symbolt *&symbol);
@@ -181,6 +183,7 @@ class verilog_typecheckt:
   typedef std::map<irep_idt, mp_integer> genvarst;
   genvarst genvars;
 
+  // to be overridden
   virtual void genvar_value(
     const irep_idt &identifier,
     mp_integer &value)
@@ -206,7 +209,7 @@ class verilog_typecheckt:
   }
 
   // const functions
-  exprt elaborate_const_function_call(const class function_call_exprt &);
+  exprt elaborate_const_function_call(const class function_call_exprt &) override;
   void verilog_interpreter(const class verilog_statementt &);
 
   // counter for assertions

src/verilog/verilog_typecheck.h

@@ -31,15 +31,15 @@ class verilog_typecheck_baset:public typecheckt
 
   // overloaded to use verilog syntax
 
-  virtual std::string to_string(const typet &type);
-  virtual std::string to_string(const exprt &expr);
+  std::string to_string(const typet &type);
+  std::string to_string(const exprt &expr);
 
 protected:
   const namespacet &ns;
   const irep_idt mode;
 
-  virtual std::size_t get_width(const exprt &expr) { return get_width(expr.type()); }
-  virtual std::size_t get_width(const typet &type);
+  std::size_t get_width(const exprt &expr) { return get_width(expr.type()); }
+  std::size_t get_width(const typet &type);
   mp_integer array_size(const typet &type);
   mp_integer array_offset(const typet &type);
   typet index_type(const typet &array_type);

src/verilog/verilog_typecheck_base.h

@@ -50,33 +50,33 @@ class verilog_typecheck_exprt:public verilog_typecheck_baset
 
   void propagate_type(exprt &expr, const typet &type);
 
-  virtual void convert_type(const irept &src, typet &dest);
+  void convert_type(const irept &src, typet &dest);
 
-  virtual void convert_range(
+  void convert_range(
     const exprt &range,
     mp_integer &msb,
     mp_integer &lsb);
 
-  virtual void genvar_value(
+  void genvar_value(
     const irep_idt &identifier,
     mp_integer &value)
   {
     assert(false);
   }
 
-  virtual exprt var_value(const irep_idt &identifier)
+  exprt var_value(const irep_idt &identifier)
   {
     assert(false);
   }
 
-  virtual bool implicit_wire(
+  bool implicit_wire(
     const irep_idt &identifier,
     const symbolt *&symbol)
   {
     return true;
   }
 
-  virtual void typecheck()
+  void typecheck() override
   {
   }
 
@@ -91,6 +91,7 @@ class verilog_typecheck_exprt:public verilog_typecheck_baset
   bool is_const_expression(const exprt &, mp_integer &value);
   exprt elaborate_const_expression(const exprt &);
 
+  // to be overridden
   virtual exprt elaborate_const_function_call(const class function_call_exprt &)
   {
     assert(false);