From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 24 May 2018 20:01:33 +0000 (-0700)
Subject: Fix compiler warnings (#1959)
X-Git-Tag: cvc5-1.0.0~5012
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=83b4e2ba719ddc410c125a7ef7ff49f39dc2a599;p=cvc5.git

Fix compiler warnings (#1959)
---

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 3a27fca25..f8601af15 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -43,7 +43,7 @@ ${includes}
 // compiler directs the user to the template file instead of the
 // generated one.  We don't want the user to modify the generated one,
 // since it'll get overwritten on a later build.
-#line 44 "${template}"
+#line 47 "${template}"
 
 namespace CVC4 {
 
@@ -609,7 +609,7 @@ private:
 
 ${getConst_instantiations}
 
-#line 549 "${template}"
+#line 613 "${template}"
 
 inline size_t ExprHashFunction::operator()(CVC4::Expr e) const {
   return (size_t) e.getId();
diff --git a/src/theory/fp/kinds b/src/theory/fp/kinds
index b1170b42c..49ed92dee 100644
--- a/src/theory/fp/kinds
+++ b/src/theory/fp/kinds
@@ -8,7 +8,7 @@ theory THEORY_FP ::CVC4::theory::fp::TheoryFp "theory/fp/theory_fp.h"
 typechecker "theory/fp/theory_fp_type_rules.h"
 rewriter ::CVC4::theory::fp::TheoryFpRewriter "theory/fp/theory_fp_rewriter.h"
 
-properties check propagate
+properties check
 
 # Theory content goes here.
 
diff --git a/src/theory/fp/theory_fp.h b/src/theory/fp/theory_fp.h
index 6234ab8ad..832fc6442 100644
--- a/src/theory/fp/theory_fp.h
+++ b/src/theory/fp/theory_fp.h
@@ -43,11 +43,11 @@ class TheoryFp : public Theory {
   void preRegisterTerm(TNode node) override;
   void addSharedTerm(TNode node) override;
 
-  Node ppRewrite(TNode node);
+  Node ppRewrite(TNode node) override;
 
   void check(Effort) override;
 
-  bool needsCheckLastEffort() { return true; }
+  bool needsCheckLastEffort() override { return true; }
   Node getModelValue(TNode var) override;
   bool collectModelInfo(TheoryModel* m) override;
 
diff --git a/src/theory/fp/theory_fp_rewriter.cpp b/src/theory/fp/theory_fp_rewriter.cpp
index f502ad547..496066ebc 100644
--- a/src/theory/fp/theory_fp_rewriter.cpp
+++ b/src/theory/fp/theory_fp_rewriter.cpp
@@ -862,12 +862,12 @@ namespace constantFold {
   {
     Assert(node.getKind() == kind::ROUNDINGMODE_BITBLAST);
 
-    RoundingMode arg0(node[0].getConst<RoundingMode>());
     BitVector value;
 
 #ifdef CVC4_USE_SYMFPU
     /* \todo fix the numbering of rounding modes so this doesn't need
      * to call symfpu at all and remove the dependency on fp_converter.h #1915 */
+    RoundingMode arg0(node[0].getConst<RoundingMode>());
     switch (arg0)
     {
       case roundNearestTiesToEven:
diff --git a/src/theory/type_enumerator_template.cpp b/src/theory/type_enumerator_template.cpp
index 91ae3e1d6..3daf449fb 100644
--- a/src/theory/type_enumerator_template.cpp
+++ b/src/theory/type_enumerator_template.cpp
@@ -45,7 +45,7 @@ ${mk_type_enumerator_type_constant_cases}
     }
     Unreachable();
 ${mk_type_enumerator_cases}
-#line 47 "${template}"
+#line 49 "${template}"
   default:
     {
       stringstream ss;