tree 0e7f5f7f4b4ee7d84279b5c092fab82c16b929e3
parent c0df94ed10de2180016b7bcd605952e9bf80f19c
author Davide Pesavento <davidepesa@gmail.com> 1697502486 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1697503803 -0400

build: disable `-Wnon-virtual-dtor` compiler warning

It's overkill and suffers from annoying false positives that
prevent us from applying the "protected non-virtual destructor"
idiom in several perfectly valid cases. See for instance the
GCC bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102168

The -Wdelete-non-virtual-dtor warning (included in -Wall) is
the preferred alternative and is enough to catch the unsafe
cases without false positives.

Partially reverts 847de408cbb2358bbb664d971cc33e73b0b2ef7f

Change-Id: I46ee1f01e7d4e2b125c2c534c6550824ba1de4c0