[analyzer] Add FINAL OVERRIDE to sm-signal.cc

Message ID 20191205200604.18471-1-dmalcolm@redhat.com
State New
Headers show
Series
  • [analyzer] Add FINAL OVERRIDE to sm-signal.cc
Related show

Commit Message

David Malcolm Dec. 5, 2019, 8:06 p.m.
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.

Pushed to branch "dmalcolm/analyzer" on the GCC git mirror.

gcc/ChangeLog:
	* analyzer/sm-signal.cc
	(signal_delivery_edge_info_t::add_events_to_path): Add FINAL
	OVERRIDE to vfunc.
---
 gcc/analyzer/sm-signal.cc | 1 +
 1 file changed, 1 insertion(+)

-- 
2.21.0

Patch

diff --git a/gcc/analyzer/sm-signal.cc b/gcc/analyzer/sm-signal.cc
index c9130b243b0a..6b7b5f7b5327 100644
--- a/gcc/analyzer/sm-signal.cc
+++ b/gcc/analyzer/sm-signal.cc
@@ -173,6 +173,7 @@  public:
 
   void add_events_to_path (checker_path *emission_path,
 			   const exploded_edge &eedge ATTRIBUTE_UNUSED)
+    FINAL OVERRIDE
   {
     emission_path->add_event
       (new custom_event (UNKNOWN_LOCATION, NULL_TREE, 0,