summary refs log tree commit diff
path: root/src/librustc_metadata/decoder.rs
diff options
context:
space:
mode:
authorOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>2018-01-16 09:31:48 +0100
committerOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>2018-03-08 08:34:05 +0100
commitb33e4e784e9906c732dcb3e0b6872f65dc8f5597 (patch)
tree13e1196b1fb3c26f969d5f6e7e28003bf76e058e /src/librustc_metadata/decoder.rs
parentb2b101befcfe1ca4ea57862675df0de5ca7b15bd (diff)
downloadrust-b33e4e784e9906c732dcb3e0b6872f65dc8f5597.tar.gz
rust-b33e4e784e9906c732dcb3e0b6872f65dc8f5597.zip
Fully use miri in trans
Diffstat (limited to 'src/librustc_metadata/decoder.rs')
-rw-r--r--src/librustc_metadata/decoder.rs4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/librustc_metadata/decoder.rs b/src/librustc_metadata/decoder.rs
index d991fb0f67b..14984e8a6d7 100644
--- a/src/librustc_metadata/decoder.rs
+++ b/src/librustc_metadata/decoder.rs
@@ -298,9 +298,7 @@ impl<'a, 'tcx> SpecializedDecoder<interpret::AllocId> for DecodeContext<'a, 'tcx
                 let allocation = self.tcx.unwrap().intern_const_alloc(allocation);
                 interpret_interner().intern_at_reserved(alloc_id, allocation);
 
-                let num = usize::decode(self)?;
-                for _ in 0..num {
-                    let glob = interpret::GlobalId::decode(self)?;
+                if let Some(glob) = Option::<DefId>::decode(self)? {
                     interpret_interner().cache(glob, alloc_id);
                 }