Merge pull request #5164 from markrtuttle/make-destructor-virtual

peterschrammel · web-flow · commit ffc91c8b8ece · 2019-10-18T20:33:20.000+01:00
Make virtual the destructor for symex_complexity_limit_exceeded_actiont.
diff --git a/src/goto-symex/symex_complexity_limit_exceeded_action.h b/src/goto-symex/symex_complexity_limit_exceeded_action.h
@@ -18,6 +18,9 @@ class symex_complexity_limit_exceeded_actiont
   {
     current_state.reachable = false;
   }
+  virtual ~symex_complexity_limit_exceeded_actiont()
+  {
+  }
 };
 
 #endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,9 @@ class symex_complexity_limit_exceeded_actiont`
`18`	`18`	`{`
`19`	`19`	`current_state.reachable = false;`
`20`	`20`	`}`
	`21`	`+ virtual ~symex_complexity_limit_exceeded_actiont()`
	`22`	`+ {`
	`23`	`+ }`
`21`	`24`	`};`
`22`	`25`
`23`	`26`	`#endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H`