get rid of some warnings

2over12 · Aug 6, 2017 · 5f3cb64 · 5f3cb64
1 parent f518c5e
commit 5f3cb64
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/lib/analysis/value_set.rs b/lib/analysis/value_set.rs
@@ -132,7 +132,7 @@ impl<'v> FixedPointAnalysis<LatticeAssignments> for ValueSetAnalysis<'v> {
                         );
                         state_out
                     }
-                    il::Operation::Store { ref dst, ref index, ref src } => {
+                    il::Operation::Store { ref index, ref src, .. } => {
                         let index = state_out.eval(index);
                         let mut value = state_out.eval(src);
                         if self.endian == Endian::Little {

diff --git a/lib/engine/engine.rs b/lib/engine/engine.rs
@@ -210,7 +210,7 @@ impl SymbolicEngine {
                     il::Expression::Scalar(scalar.clone())
                 }
             }
-            il::Expression::Constant(ref constant) => expression.clone(),
+            il::Expression::Constant(_) => expression.clone(),
             il::Expression::Add(ref lhs, ref rhs) =>
                 il::Expression::add(self.symbolize_expression(lhs)?,
                                     self.symbolize_expression(rhs)?)?,
@@ -432,7 +432,7 @@ impl SymbolicEngine {
                 self.set_scalar(dst.name(), src);
                 vec![SymbolicSuccessor::new(self, SuccessorType::FallThrough)]
             },
-            il::Operation::Store { ref dst, ref index, ref src } => {
+            il::Operation::Store { ref index, ref src, .. } => {
                 let src = self.symbolize_and_eval(src)?;
                 let index = self.symbolize_and_concretize(index, None)?;
                 if let Some(index) = index {
@@ -443,7 +443,7 @@ impl SymbolicEngine {
                     Vec::new()
                 }
             },
-            il::Operation::Load { ref dst, ref index, ref src } => {
+            il::Operation::Load { ref dst, ref index, .. } => {
                 let index_ = self.symbolize_and_concretize(index, None)?;
                 if let Some(index) = index_ {
                     let value = self.memory.load(index.value(), dst.bits())?;
@@ -490,7 +490,7 @@ impl SymbolicEngine {
                 }
                 successors
             },
-            il::Operation::Phi { ref dst, ref src } => {
+            il::Operation::Phi { .. } => {
                 panic!("Phi unimplemented");
             },
             il::Operation::Raise { ref expr } => {

diff --git a/lib/engine/engine_driver.rs b/lib/engine/engine_driver.rs
@@ -195,7 +195,7 @@ impl ProgramLocation {
                         } // if instructions[i].index()
                     } // for i in 0..instructions.len()
                 },
-                FunctionLocation::Edge { head, tail } => {
+                FunctionLocation::Edge { head: _, tail } => {
                     // Get the successor block
                     let block = location.function(program).unwrap()
                                         .block(tail).unwrap();