Skip to content

Commit e154687

Browse files
committed
add a encoding version to the actual metadata
previously, only .so files included a metadata encoding version, *outside* of the zlib compressed area. This adds an encoding version inside the metadata itself, in both .so and .rlib files. Fixes #33778.
1 parent 0b36fff commit e154687

File tree

3 files changed

+59
-18
lines changed

3 files changed

+59
-18
lines changed

src/librustc_metadata/cstore.rs

+16-10
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@
1515

1616
pub use self::MetadataBlob::*;
1717

18+
use common;
1819
use creader;
1920
use decoder;
2021
use index;
@@ -328,20 +329,25 @@ impl CrateMetadata {
328329
}
329330

330331
impl MetadataBlob {
331-
pub fn as_slice<'a>(&'a self) -> &'a [u8] {
332-
let slice = match *self {
332+
pub fn as_slice_raw<'a>(&'a self) -> &'a [u8] {
333+
match *self {
333334
MetadataVec(ref vec) => &vec[..],
334335
MetadataArchive(ref ar) => ar.as_slice(),
335-
};
336-
if slice.len() < 4 {
336+
}
337+
}
338+
339+
pub fn as_slice<'a>(&'a self) -> &'a [u8] {
340+
let slice = self.as_slice_raw();
341+
let len_offset = 4 + common::metadata_encoding_version.len();
342+
if slice.len() < len_offset+4 {
337343
&[] // corrupt metadata
338344
} else {
339-
let len = (((slice[0] as u32) << 24) |
340-
((slice[1] as u32) << 16) |
341-
((slice[2] as u32) << 8) |
342-
((slice[3] as u32) << 0)) as usize;
343-
if len + 4 <= slice.len() {
344-
&slice[4.. len + 4]
345+
let len = (((slice[len_offset+0] as u32) << 24) |
346+
((slice[len_offset+1] as u32) << 16) |
347+
((slice[len_offset+2] as u32) << 8) |
348+
((slice[len_offset+3] as u32) << 0)) as usize;
349+
if len <= slice.len() - 4 - len_offset {
350+
&slice[len_offset + 4..len_offset + len + 4]
345351
} else {
346352
&[] // corrupt or old metadata
347353
}

src/librustc_metadata/encoder.rs

+19-6
Original file line numberDiff line numberDiff line change
@@ -1832,12 +1832,25 @@ pub fn encode_metadata(ecx: EncodeContext, krate: &hir::Crate) -> Vec<u8> {
18321832
// the length of the metadata to the start of the metadata. Later on this
18331833
// will allow us to slice the metadata to the precise length that we just
18341834
// generated regardless of trailing bytes that end up in it.
1835-
let len = v.len() as u32;
1836-
v.insert(0, (len >> 0) as u8);
1837-
v.insert(0, (len >> 8) as u8);
1838-
v.insert(0, (len >> 16) as u8);
1839-
v.insert(0, (len >> 24) as u8);
1840-
return v;
1835+
//
1836+
// We also need to store the metadata encoding version here, because
1837+
// rlibs don't have it. To get older versions of rustc to ignore
1838+
// this metadata, there are 4 zero bytes at the start, which are
1839+
// treated as a length of 0 by old compilers.
1840+
1841+
let len = v.len();
1842+
let mut result = vec![];
1843+
result.push(0);
1844+
result.push(0);
1845+
result.push(0);
1846+
result.push(0);
1847+
result.extend(metadata_encoding_version.iter().cloned());
1848+
result.push((len >> 24) as u8);
1849+
result.push((len >> 16) as u8);
1850+
result.push((len >> 8) as u8);
1851+
result.push((len >> 0) as u8);
1852+
result.extend(v);
1853+
result
18411854
}
18421855

18431856
fn encode_metadata_inner(rbml_w: &mut Encoder,

src/librustc_metadata/loader.rs

+24-2
Original file line numberDiff line numberDiff line change
@@ -767,6 +767,21 @@ impl ArchiveMetadata {
767767
pub fn as_slice<'a>(&'a self) -> &'a [u8] { unsafe { &*self.data } }
768768
}
769769

770+
fn verify_decompressed_encoding_version(blob: &MetadataBlob, filename: &Path)
771+
-> Result<(), String>
772+
{
773+
let data = blob.as_slice_raw();
774+
if data.len() < 4+metadata_encoding_version.len() ||
775+
!<[u8]>::eq(&data[..4], &[0, 0, 0, 0]) ||
776+
&data[4..4+metadata_encoding_version.len()] != metadata_encoding_version
777+
{
778+
Err((format!("incompatible metadata version found: '{}'",
779+
filename.display())))
780+
} else {
781+
Ok(())
782+
}
783+
}
784+
770785
// Just a small wrapper to time how long reading metadata takes.
771786
fn get_metadata_section(target: &Target, flavor: CrateFlavor, filename: &Path)
772787
-> Result<MetadataBlob, String> {
@@ -797,7 +812,10 @@ fn get_metadata_section_imp(target: &Target, flavor: CrateFlavor, filename: &Pat
797812
return match ArchiveMetadata::new(archive).map(|ar| MetadataArchive(ar)) {
798813
None => Err(format!("failed to read rlib metadata: '{}'",
799814
filename.display())),
800-
Some(blob) => Ok(blob)
815+
Some(blob) => {
816+
try!(verify_decompressed_encoding_version(&blob, filename));
817+
Ok(blob)
818+
}
801819
};
802820
}
803821
unsafe {
@@ -842,7 +860,11 @@ fn get_metadata_section_imp(target: &Target, flavor: CrateFlavor, filename: &Pat
842860
csz - vlen);
843861
let bytes = slice::from_raw_parts(cvbuf1, csz - vlen);
844862
match flate::inflate_bytes(bytes) {
845-
Ok(inflated) => return Ok(MetadataVec(inflated)),
863+
Ok(inflated) => {
864+
let blob = MetadataVec(inflated);
865+
try!(verify_decompressed_encoding_version(&blob, filename));
866+
return Ok(blob);
867+
}
846868
Err(_) => {}
847869
}
848870
}

0 commit comments

Comments
 (0)