Skip to content

Commit 736ef0a

Browse files
committed
Don't error when adding a staticlib with bitcode files compiled by newer LLVM
1 parent 905b1bf commit 736ef0a

File tree

1 file changed

+22
-6
lines changed

1 file changed

+22
-6
lines changed

compiler/rustc_codegen_llvm/src/back/archive.rs

Lines changed: 22 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -132,23 +132,39 @@ fn get_llvm_object_symbols(
132132
if err.is_null() {
133133
return Ok(true);
134134
} else {
135-
return Err(unsafe { *Box::from_raw(err as *mut io::Error) });
135+
let error = unsafe { *Box::from_raw(err as *mut String) };
136+
// These are the magic constants for LLVM bitcode files:
137+
// https://github.com/llvm/llvm-project/blob/7eadc1960d199676f04add402bb0aa6f65b7b234/llvm/lib/BinaryFormat/Magic.cpp#L90-L97
138+
if buf.starts_with(&[0xDE, 0xCE, 0x17, 0x0B]) || buf.starts_with(&[b'B', b'C', 0xC0, 0xDE])
139+
{
140+
// For LLVM bitcode, failure to read the symbols is not fatal. The bitcode may have been
141+
// produced by a newer LLVM version that the one linked to rustc. This is fine provided
142+
// that the linker does use said newer LLVM version. We skip writing the symbols for the
143+
// bitcode to the symbol table of the archive. Traditional linkers don't like this, but
144+
// newer linkers like lld, mold and wild ignore the symbol table anyway, so if they link
145+
// against a new enough LLVM it will work out in the end.
146+
// LLVM's archive writer also has this same behavior of only warning about invalid
147+
// bitcode since https://github.com/llvm/llvm-project/pull/96848
148+
149+
// We don't have access to the DiagCtxt here to produce a nice warning in the correct format.
150+
eprintln!("warning: Failed to read symbol table from LLVM bitcode: {}", error);
151+
return Ok(true);
152+
} else {
153+
return Err(io::Error::new(io::ErrorKind::Other, format!("LLVM error: {}", error)));
154+
}
136155
}
137156

138157
unsafe extern "C" fn callback(state: *mut c_void, symbol_name: *const c_char) -> *mut c_void {
139158
let f = unsafe { &mut *(state as *mut &mut dyn FnMut(&[u8]) -> io::Result<()>) };
140159
match f(unsafe { CStr::from_ptr(symbol_name) }.to_bytes()) {
141160
Ok(()) => std::ptr::null_mut(),
142-
Err(err) => Box::into_raw(Box::new(err)) as *mut c_void,
161+
Err(err) => Box::into_raw(Box::new(err.to_string()) as Box<String>) as *mut c_void,
143162
}
144163
}
145164

146165
unsafe extern "C" fn error_callback(error: *const c_char) -> *mut c_void {
147166
let error = unsafe { CStr::from_ptr(error) };
148-
Box::into_raw(Box::new(io::Error::new(
149-
io::ErrorKind::Other,
150-
format!("LLVM error: {}", error.to_string_lossy()),
151-
))) as *mut c_void
167+
Box::into_raw(Box::new(error.to_string_lossy().into_owned()) as Box<String>) as *mut c_void
152168
}
153169
}
154170

0 commit comments

Comments
 (0)