-
Notifications
You must be signed in to change notification settings - Fork 12.9k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #116772 - matthiaskrgr:rollup-mpff3lh, r=matthiaskrgr
Rollup of 7 pull requests Successful merges: - #116172 (Broaden the consequences of recursive TLS initialization) - #116341 (Implement sys::args for UEFI) - #116522 (use `PatKind::Error` when an ADT const value has violation) - #116732 (Make x capable of resolving symlinks) - #116755 (Remove me from libcore review rotation) - #116760 (Remove trivial cast in `guaranteed_eq`) - #116771 (Ignore let-chains formatting) r? `@ghost` `@rustbot` modify labels: rollup
- Loading branch information
Showing
12 changed files
with
206 additions
and
9 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,158 @@ | ||
use r_efi::protocols::loaded_image; | ||
|
||
use crate::env::current_exe; | ||
use crate::ffi::OsString; | ||
use crate::fmt; | ||
use crate::iter::Iterator; | ||
use crate::mem::size_of; | ||
use crate::sys::uefi::helpers; | ||
use crate::vec; | ||
|
||
pub struct Args { | ||
parsed_args_list: vec::IntoIter<OsString>, | ||
} | ||
|
||
pub fn args() -> Args { | ||
let lazy_current_exe = || Vec::from([current_exe().map(Into::into).unwrap_or_default()]); | ||
|
||
// Each loaded image has an image handle that supports `EFI_LOADED_IMAGE_PROTOCOL`. Thus, this | ||
// will never fail. | ||
let protocol = | ||
helpers::image_handle_protocol::<loaded_image::Protocol>(loaded_image::PROTOCOL_GUID) | ||
.unwrap(); | ||
|
||
let lp_size = unsafe { (*protocol.as_ptr()).load_options_size } as usize; | ||
// Break if we are sure that it cannot be UTF-16 | ||
if lp_size < size_of::<u16>() || lp_size % size_of::<u16>() != 0 { | ||
return Args { parsed_args_list: lazy_current_exe().into_iter() }; | ||
} | ||
let lp_size = lp_size / size_of::<u16>(); | ||
|
||
let lp_cmd_line = unsafe { (*protocol.as_ptr()).load_options as *const u16 }; | ||
if !lp_cmd_line.is_aligned() { | ||
return Args { parsed_args_list: lazy_current_exe().into_iter() }; | ||
} | ||
let lp_cmd_line = unsafe { crate::slice::from_raw_parts(lp_cmd_line, lp_size) }; | ||
|
||
Args { | ||
parsed_args_list: parse_lp_cmd_line(lp_cmd_line) | ||
.unwrap_or_else(lazy_current_exe) | ||
.into_iter(), | ||
} | ||
} | ||
|
||
impl fmt::Debug for Args { | ||
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { | ||
self.parsed_args_list.as_slice().fmt(f) | ||
} | ||
} | ||
|
||
impl Iterator for Args { | ||
type Item = OsString; | ||
|
||
fn next(&mut self) -> Option<OsString> { | ||
self.parsed_args_list.next() | ||
} | ||
|
||
fn size_hint(&self) -> (usize, Option<usize>) { | ||
self.parsed_args_list.size_hint() | ||
} | ||
} | ||
|
||
impl ExactSizeIterator for Args { | ||
fn len(&self) -> usize { | ||
self.parsed_args_list.len() | ||
} | ||
} | ||
|
||
impl DoubleEndedIterator for Args { | ||
fn next_back(&mut self) -> Option<OsString> { | ||
self.parsed_args_list.next_back() | ||
} | ||
} | ||
|
||
/// Implements the UEFI command-line argument parsing algorithm. | ||
/// | ||
/// This implementation is based on what is defined in Section 3.4 of | ||
/// [UEFI Shell Specification](https://uefi.org/sites/default/files/resources/UEFI_Shell_Spec_2_0.pdf) | ||
/// | ||
/// Return None in the following cases: | ||
/// - Invalid UTF-16 (unpaired surrogate) | ||
/// - Empty/improper arguments | ||
fn parse_lp_cmd_line(code_units: &[u16]) -> Option<Vec<OsString>> { | ||
const QUOTE: char = '"'; | ||
const SPACE: char = ' '; | ||
const CARET: char = '^'; | ||
const NULL: char = '\0'; | ||
|
||
let mut ret_val = Vec::new(); | ||
let mut code_units_iter = char::decode_utf16(code_units.iter().cloned()).peekable(); | ||
|
||
// The executable name at the beginning is special. | ||
let mut in_quotes = false; | ||
let mut cur = String::new(); | ||
while let Some(w) = code_units_iter.next() { | ||
let w = w.ok()?; | ||
match w { | ||
// break on NULL | ||
NULL => break, | ||
// A quote mark always toggles `in_quotes` no matter what because | ||
// there are no escape characters when parsing the executable name. | ||
QUOTE => in_quotes = !in_quotes, | ||
// If not `in_quotes` then whitespace ends argv[0]. | ||
SPACE if !in_quotes => break, | ||
// In all other cases the code unit is taken literally. | ||
_ => cur.push(w), | ||
} | ||
} | ||
|
||
// If exe name is missing, the cli args are invalid | ||
if cur.is_empty() { | ||
return None; | ||
} | ||
|
||
ret_val.push(OsString::from(cur)); | ||
// Skip whitespace. | ||
while code_units_iter.next_if_eq(&Ok(SPACE)).is_some() {} | ||
|
||
// Parse the arguments according to these rules: | ||
// * All code units are taken literally except space, quote and caret. | ||
// * When not `in_quotes`, space separate arguments. Consecutive spaces are | ||
// treated as a single separator. | ||
// * A space `in_quotes` is taken literally. | ||
// * A quote toggles `in_quotes` mode unless it's escaped. An escaped quote is taken literally. | ||
// * A quote can be escaped if preceded by caret. | ||
// * A caret can be escaped if preceded by caret. | ||
let mut cur = String::new(); | ||
let mut in_quotes = false; | ||
while let Some(w) = code_units_iter.next() { | ||
let w = w.ok()?; | ||
match w { | ||
// break on NULL | ||
NULL => break, | ||
// If not `in_quotes`, a space or tab ends the argument. | ||
SPACE if !in_quotes => { | ||
ret_val.push(OsString::from(&cur[..])); | ||
cur.truncate(0); | ||
|
||
// Skip whitespace. | ||
while code_units_iter.next_if_eq(&Ok(SPACE)).is_some() {} | ||
} | ||
// Caret can escape quotes or carets | ||
CARET if in_quotes => { | ||
if let Some(x) = code_units_iter.next() { | ||
cur.push(x.ok()?); | ||
} | ||
} | ||
// If quote then flip `in_quotes` | ||
QUOTE => in_quotes = !in_quotes, | ||
// Everything else is always taken literally. | ||
_ => cur.push(w), | ||
} | ||
} | ||
// Push the final argument, if any. | ||
if !cur.is_empty() || in_quotes { | ||
ret_val.push(OsString::from(cur)); | ||
} | ||
Some(ret_val) | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
const CONST_STRING: String = String::new(); | ||
|
||
fn main() { | ||
let empty_str = String::from(""); | ||
if let CONST_STRING = empty_str {} | ||
//~^ ERROR to use a constant of type `Vec<u8>` in a pattern, `Vec<u8>` must be annotated with `#[derive(PartialEq, Eq)]` | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
error: to use a constant of type `Vec<u8>` in a pattern, `Vec<u8>` must be annotated with `#[derive(PartialEq, Eq)]` | ||
--> $DIR/issue-115599.rs:5:12 | ||
| | ||
LL | if let CONST_STRING = empty_str {} | ||
| ^^^^^^^^^^^^ | ||
| | ||
= note: the traits must be derived, manual `impl`s are not sufficient | ||
= note: see https://doc.rust-lang.org/stable/std/marker/trait.StructuralEq.html for details | ||
|
||
error: aborting due to previous error | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters