commit 7f20d6ec6c22dd37ba3eb5657aeab2c193558013
author Davide Pesavento <davide.pesavento@lip6.fr> Mon Jan 16 14:43:58 2017 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> Mon Jan 16 14:48:06 2017 -0500
tree ff54faae00c2cce0d53316ff18494ed08ff52080
parent 574aa86e88168e812fe7c40c3a42ab82eada68bd

build+src: mark destructor virtual in classes with virtual functions

And to prevent similar mistakes in the future, add -Wnon-virtual-dtor
to the default build flags.

Change-Id: I28e2361341abab29fca134309288cd259736d67a

.waf-tools/default-compiler-flags.py

diff --git a/.waf-tools/default-compiler-flags.py b/.waf-tools/default-compiler-flags.py
index 2999e8f..13de263 100644
--- a/.waf-tools/default-compiler-flags.py
+++ b/.waf-tools/default-compiler-flags.py
@@ -106,6 +106,7 @@
                               '-Wall',
                               '-Wextra',
                               '-Werror',
+                              '-Wnon-virtual-dtor',
                               '-Wno-unused-parameter',
                               '-Wno-error=maybe-uninitialized', # Bug #1615
                               '-Wno-error=deprecated-declarations', # Bug #3795
@@ -119,6 +120,7 @@
                               '-pedantic',
                               '-Wall',
                               '-Wextra',
+                              '-Wnon-virtual-dtor',
                               '-Wno-unused-parameter',
                               ]
         return flags