Skip to content

Commit cd3d70f

Browse files
committed
Auto merge of #3136 - rust-lang:rustup-2023-10-23, r=RalfJung
Automatic Rustup
2 parents 107337b + 0d6360d commit cd3d70f

File tree

4 files changed

+10
-9
lines changed

4 files changed

+10
-9
lines changed

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
9e3f784eb2c7c847b6c3578b373c0e0bc9233ca3
1+
62fae2305e5f3a959bd6ad6c20608c118e93648a

src/borrow_tracker/tree_borrows/tree.rs

+5-7
Original file line numberDiff line numberDiff line change
@@ -661,13 +661,11 @@ impl<'tcx> Tree {
661661
for (perms_range, perms) in self.rperms.iter_mut_all() {
662662
let idx = self.tag_mapping.get(&tag).unwrap();
663663
// Only visit initialized permissions
664-
if let Some(p) = perms.get(idx) && p.initialized {
665-
TreeVisitor {
666-
nodes: &mut self.nodes,
667-
tag_mapping: &self.tag_mapping,
668-
perms,
669-
}
670-
.traverse_nonchildren(
664+
if let Some(p) = perms.get(idx)
665+
&& p.initialized
666+
{
667+
TreeVisitor { nodes: &mut self.nodes, tag_mapping: &self.tag_mapping, perms }
668+
.traverse_nonchildren(
671669
tag,
672670
|args| node_app(perms_range.clone(), args),
673671
|args| err_handler(perms_range.clone(), args),

src/concurrency/data_race.rs

+1
Original file line numberDiff line numberDiff line change
@@ -563,6 +563,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
563563
let old = this.allow_data_races_mut(|this| this.read_immediate(place))?;
564564
let lt = this.wrapping_binary_op(mir::BinOp::Lt, &old, &rhs)?.to_scalar().to_bool()?;
565565

566+
#[rustfmt::skip] // rustfmt makes this unreadable
566567
let new_val = if min {
567568
if lt { &old } else { &rhs }
568569
} else {

src/shims/windows/foreign_items.rs

+3-1
Original file line numberDiff line numberDiff line change
@@ -351,7 +351,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
351351
this.check_shim(abi, Abi::System { unwind: false }, link_name, args)?;
352352
this.read_target_isize(hModule)?;
353353
let name = this.read_c_str(this.read_pointer(lpProcName)?)?;
354-
if let Ok(name) = str::from_utf8(name) && is_dyn_sym(name) {
354+
if let Ok(name) = str::from_utf8(name)
355+
&& is_dyn_sym(name)
356+
{
355357
let ptr = this.fn_ptr(FnVal::Other(DynSym::from_str(name)));
356358
this.write_pointer(ptr, dest)?;
357359
} else {

0 commit comments

Comments
 (0)