From 57391bab1098cb75bc9a1cfaeb4a3ecb05386555 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 22 Jun 2017 11:33:39 -0700 Subject: [PATCH] fix unused variable warning --- src/terminator/mod.rs | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/src/terminator/mod.rs b/src/terminator/mod.rs index 7cb1a3cd629..90f0aed7f10 100644 --- a/src/terminator/mod.rs +++ b/src/terminator/mod.rs @@ -585,14 +585,12 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> { } "dlsym" => { - let handle = args[0].read_ptr(&self.memory)?; - { - let symbol = args[1].read_ptr(&self.memory)?.to_ptr()?; - let symbol_name = self.memory.read_c_str(symbol)?; - let err = format!("bad c unicode symbol: {:?}", symbol_name); - let symbol_name = ::std::str::from_utf8(symbol_name).unwrap_or(&err); - return Err(EvalError::Unimplemented(format!("miri does not support dynamically loading libraries (requested symbol: {})", symbol_name))); - } + let _handle = args[0].read_ptr(&self.memory)?; + let symbol = args[1].read_ptr(&self.memory)?.to_ptr()?; + let symbol_name = self.memory.read_c_str(symbol)?; + let err = format!("bad c unicode symbol: {:?}", symbol_name); + let symbol_name = ::std::str::from_utf8(symbol_name).unwrap_or(&err); + return Err(EvalError::Unimplemented(format!("miri does not support dynamically loading libraries (requested symbol: {})", symbol_name))); } "__rust_allocate" => {