Fix warnings and enable -Wnon-virtual-dtor warning (#2079)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 21 Jun 2018 03:28:50 +0000 (20:28 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Jun 2018 03:28:50 +0000 (20:28 -0700)
commit5f997ea7363bd29ae53b57051ebac8d1da8f9439
treeddcae46a71db87da31ca6d83e3dd3ee9098ace22
parentdd0bd217e222b2db5fac9aedee3aacee8a28d0b1
Fix warnings and enable -Wnon-virtual-dtor warning (#2079)

This commit fixes warnings for an unused variable, comparison of two
different types and add virtual destructors to classes that were
previously missing them. It also enables the -Wnon-virtual-dtor warning
which warns about any class definition with virtual methods that does
not have a virtual destructor (except if the destructor is protected).
This flag is supported by both clang and GCC and not enabled by default.
configure.ac
src/theory/bv/abstraction.cpp
src/theory/quantifiers/dynamic_rewrite.cpp
src/theory/quantifiers/dynamic_rewrite.h
src/theory/quantifiers/sygus/cegis.h
src/theory/quantifiers/sygus/cegis_unif.h
src/theory/quantifiers/sygus/sygus_module.h
src/theory/quantifiers/sygus/sygus_unif_strat.h
src/theory/quantifiers/sygus_sampler.h