Module: ppl/ppl Branch: master Commit: 0e03920b6f86875c95c084af53ba3ccb32c09e46 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e03920b6f868...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Dec 21 20:09:22 2014 +0100
Provided virtual method anchors. Fixes violations of rule UCGP1.L4 detected by ECLAIR.
---
src/Handler_inlines.hh | 4 ---- src/Makefile.am | 1 + src/PIP_Tree.cc | 3 +++ src/PIP_Tree_inlines.hh | 4 ---- src/c_streambuf.cc | 3 +++ src/c_streambuf_inlines.hh | 4 ---- src/globals.cc | 3 +++ src/globals_inlines.hh | 4 ---- 8 files changed, 10 insertions(+), 16 deletions(-)
diff --git a/src/Handler_inlines.hh b/src/Handler_inlines.hh index f725463..bd11dfe 100644 --- a/src/Handler_inlines.hh +++ b/src/Handler_inlines.hh @@ -30,10 +30,6 @@ namespace Implementation {
namespace Watchdog {
-inline -Handler::~Handler() { -} - template <typename Flag_Base, typename Flag> Handler_Flag<Flag_Base, Flag>::Handler_Flag(const Flag_Base* volatile& holder, Flag& flag) diff --git a/src/Makefile.am b/src/Makefile.am index 5e71c5b..f83cd76 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -493,6 +493,7 @@ Generator_System.cc \ Grid_Generator_System.cc \ Generator.cc \ Grid_Generator.cc \ +Handler.cc \ Init.cc \ Coefficient.cc \ Linear_Expression.cc \ diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index fe2318b..90728cb 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -923,6 +923,9 @@ PIP_Tree_Node::PIP_Tree_Node(const PIP_Tree_Node& y) artificial_parameters(y.artificial_parameters) { }
+PIP_Tree_Node::~PIP_Tree_Node() { +} + PIP_Tree_Node::Artificial_Parameter ::Artificial_Parameter(const Linear_Expression& expr, Coefficient_traits::const_reference d) diff --git a/src/PIP_Tree_inlines.hh b/src/PIP_Tree_inlines.hh index 3340e64..0d20f24 100644 --- a/src/PIP_Tree_inlines.hh +++ b/src/PIP_Tree_inlines.hh @@ -52,10 +52,6 @@ PIP_Solution_Node::Tableau::denominator() const { return denom; }
-inline -PIP_Tree_Node::~PIP_Tree_Node() { -} - inline void PIP_Tree_Node::set_parent(const PIP_Decision_Node* p) { parent_ = p; diff --git a/src/c_streambuf.cc b/src/c_streambuf.cc index 45b8713..a7cf3a6 100644 --- a/src/c_streambuf.cc +++ b/src/c_streambuf.cc @@ -28,6 +28,9 @@ site: http://bugseng.com/products/ppl/ . */
namespace Parma_Polyhedra_Library {
+c_streambuf::~c_streambuf() { +} + c_streambuf::int_type c_streambuf::uflow() { const int_type c = underflow(); diff --git a/src/c_streambuf_inlines.hh b/src/c_streambuf_inlines.hh index d1070dc..34d15ae 100644 --- a/src/c_streambuf_inlines.hh +++ b/src/c_streambuf_inlines.hh @@ -31,10 +31,6 @@ c_streambuf::c_streambuf() : unget_char_buf(traits_type::eof()), next_char_buf(traits_type::eof()) { }
-inline -c_streambuf::~c_streambuf() { -} - } // namespace Parma_Polyhedra_Library
#endif // !defined(PPL_c_streambuf_inlines_hh) diff --git a/src/globals.cc b/src/globals.cc index 042f595..0aa7a31 100644 --- a/src/globals.cc +++ b/src/globals.cc @@ -28,6 +28,9 @@ site: http://bugseng.com/products/ppl/ . */
namespace Parma_Polyhedra_Library {
+Throwable::~Throwable() { +} + const Throwable* volatile abandon_expensive_computations = 0;
// Initialize Weightwatch_Traits static data members. diff --git a/src/globals_inlines.hh b/src/globals_inlines.hh index 54d83da..8a16862 100644 --- a/src/globals_inlines.hh +++ b/src/globals_inlines.hh @@ -71,10 +71,6 @@ Weightwatch_Traits::from_delta(Threshold& threshold, const Delta& delta) { threshold = weight + delta; }
-inline -Throwable::~Throwable() { -} - inline void maybe_abandon() { #ifndef NDEBUG