From 5f3cb64637a14cf0d02d33b1cbd0202ebc060fc8 Mon Sep 17 00:00:00 2001 From: endeavor Date: Sun, 6 Aug 2017 02:17:42 -0400 Subject: [PATCH] get rid of some warnings --- lib/analysis/value_set.rs | 2 +- lib/engine/engine.rs | 8 ++++---- lib/engine/engine_driver.rs | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/lib/analysis/value_set.rs b/lib/analysis/value_set.rs index 0b205ed..fd35fc5 100644 --- a/lib/analysis/value_set.rs +++ b/lib/analysis/value_set.rs @@ -132,7 +132,7 @@ impl<'v> FixedPointAnalysis 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 index d87bf40..f47b38e 100644 --- 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 index dfd18c1..d6efb16 100644 --- 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();