Add override in a few places

Owen Jones · Owen Jones · commit 37e5b80730c7 · 2017-11-27T17:28:58.000Z
diff --git a/src/pointer-analysis/value_set_analysis.h b/src/pointer-analysis/value_set_analysis.h
@@ -39,11 +39,11 @@ class value_set_analysis_baset:
   }
 
   // overloading
-  void initialize(const goto_programt &goto_program)
+  void initialize(const goto_programt &goto_program) override
   {
     baset::initialize(goto_program);
   }
-  void initialize(const goto_functionst &goto_functions)
+  void initialize(const goto_functionst &goto_functions) override
   {
     baset::initialize(goto_functions);
   }
@@ -105,7 +105,7 @@ class value_set_analysis_baset:
   virtual void get_values(
     locationt l,
     const exprt &expr,
-    value_setst::valuest &dest)
+    value_setst::valuest &dest) override
   {
     ((const value_sett&)(*this)[l].value_set).get_value_set(
       expr,

Original file line number	Diff line number	Diff line change
`@@ -39,11 +39,11 @@ class value_set_analysis_baset:`
`39`	`39`	`}`
`40`	`40`
`41`	`41`	`// overloading`
`42`		`- void initialize(const goto_programt &goto_program)`
	`42`	`+ void initialize(const goto_programt &goto_program) override`
`43`	`43`	`{`
`44`	`44`	`baset::initialize(goto_program);`
`45`	`45`	`}`
`46`		`- void initialize(const goto_functionst &goto_functions)`
	`46`	`+ void initialize(const goto_functionst &goto_functions) override`
`47`	`47`	`{`
`48`	`48`	`baset::initialize(goto_functions);`
`49`	`49`	`}`
`@@ -105,7 +105,7 @@ class value_set_analysis_baset:`
`105`	`105`	`virtual void get_values(`
`106`	`106`	`locationt l,`
`107`	`107`	`const exprt &expr,`
`108`		`- value_setst::valuest &dest)`
	`108`	`+ value_setst::valuest &dest) override`
`109`	`109`	`{`
`110`	`110`	`((const value_sett&)(*this)[l].value_set).get_value_set(`
`111`	`111`	`expr,`