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(+)

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,
-- 
2.21.0

Reply via email to