Skip to content

Commit 15b2743

Browse files
authored
fix: clippy (#2519)
1 parent 1e2084a commit 15b2743

File tree

14 files changed

+31
-35
lines changed

14 files changed

+31
-35
lines changed

crates/core/executor/src/disassembler/elf.rs

Lines changed: 9 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,7 @@ impl Elf {
8282
}
8383

8484
let mut instructions: Vec<u32> = Vec::new();
85-
let mut base_address = None;
85+
let mut base_address: Option<u32> = None;
8686

8787
// Data about the last segment.
8888
let mut prev_segment_end_addr = None;
@@ -136,23 +136,22 @@ impl Elf {
136136
Some(vaddr.checked_add(mem_size).ok_or_eyre("last addr overflow")?);
137137

138138
if (segment.p_flags & PF_X) != 0 {
139-
if base_address.is_none() {
140-
base_address = Some(vaddr);
141-
eyre::ensure!(
142-
base_address.unwrap() > 0x20,
143-
"base address {} should be greater than 0x20",
144-
base_address.unwrap()
145-
);
146-
} else {
139+
if let Some(base_address) = base_address {
147140
let instr_len: u32 = WORD_SIZE
148141
.checked_mul(instructions.len())
149142
.ok_or_eyre("instructions length overflow")?
150143
.try_into()?;
151144
let last_instruction_addr = base_address
152-
.unwrap()
153145
.checked_add(instr_len)
154146
.ok_or_eyre("instruction addr overflow")?;
155147
eyre::ensure!(vaddr == last_instruction_addr, "unsupported elf structure");
148+
} else {
149+
base_address = Some(vaddr);
150+
eyre::ensure!(
151+
base_address.unwrap() > 0x20,
152+
"base address {} should be greater than 0x20",
153+
base_address.unwrap()
154+
);
156155
}
157156
}
158157

crates/core/executor/src/syscalls/unconstrained.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ impl Syscall for EnterUnconstrainedSyscall {
1212
panic!("Unconstrained block is already active.");
1313
}
1414
ctx.rt.unconstrained = true;
15-
ctx.rt.unconstrained_state = Box::new(ForkState {
15+
*ctx.rt.unconstrained_state = ForkState {
1616
global_clk: ctx.rt.state.global_clk,
1717
clk: ctx.rt.state.clk,
1818
pc: ctx.rt.state.pc,
@@ -21,7 +21,7 @@ impl Syscall for EnterUnconstrainedSyscall {
2121
op_record: std::mem::take(&mut ctx.rt.memory_accesses),
2222
executor_mode: ctx.rt.executor_mode,
2323
total_unconstrained_cycles: ctx.rt.unconstrained_state.total_unconstrained_cycles,
24-
});
24+
};
2525
ctx.rt.executor_mode = ExecutorMode::Simple;
2626
Some(1)
2727
}
@@ -55,7 +55,7 @@ impl Syscall for ExitUnconstrainedSyscall {
5555
ctx.rt.unconstrained = false;
5656
}
5757

58-
ctx.rt.unconstrained_state = Box::new(ForkState::default());
58+
*ctx.rt.unconstrained_state = ForkState::default();
5959
// Persist the total number of unconstrained cycles.
6060
ctx.rt.unconstrained_state.total_unconstrained_cycles = total_unconstrained_cycles;
6161

crates/core/machine/src/alu/add_sub/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -464,8 +464,8 @@ mod tests {
464464
)> {
465465
let mut malicious_record = record.clone();
466466
malicious_record.cpu_events[0].a = op_a;
467-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
468-
malicious_record.cpu_events[0].a_record
467+
if let Some(MemoryRecordEnum::Write(write_record)) =
468+
malicious_record.cpu_events[0].a_record.as_mut()
469469
{
470470
write_record.value = op_a;
471471
}

crates/core/machine/src/alu/bitwise/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -333,8 +333,8 @@ mod tests {
333333
)> {
334334
let mut malicious_record = record.clone();
335335
malicious_record.cpu_events[0].a = op_a;
336-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
337-
malicious_record.cpu_events[0].a_record
336+
if let Some(MemoryRecordEnum::Write(write_record)) =
337+
malicious_record.cpu_events[0].a_record.as_mut()
338338
{
339339
write_record.value = op_a;
340340
}

crates/core/machine/src/alu/divrem/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -977,8 +977,8 @@ mod tests {
977977
)> {
978978
let mut malicious_record = record.clone();
979979
malicious_record.cpu_events[0].a = op_a;
980-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
981-
malicious_record.cpu_events[0].a_record
980+
if let Some(MemoryRecordEnum::Write(write_record)) =
981+
malicious_record.cpu_events[0].a_record.as_mut()
982982
{
983983
write_record.value = op_a;
984984
}

crates/core/machine/src/alu/lt/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -601,8 +601,8 @@ mod tests {
601601
)> {
602602
let mut malicious_record = record.clone();
603603
malicious_record.cpu_events[0].a = op_a as u32;
604-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
605-
malicious_record.cpu_events[0].a_record
604+
if let Some(MemoryRecordEnum::Write(write_record)) =
605+
malicious_record.cpu_events[0].a_record.as_mut()
606606
{
607607
write_record.value = op_a as u32;
608608
}

crates/core/machine/src/alu/mul/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -645,8 +645,8 @@ mod tests {
645645
)> {
646646
let mut malicious_record = record.clone();
647647
malicious_record.cpu_events[0].a = op_a as u32;
648-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
649-
malicious_record.cpu_events[0].a_record
648+
if let Some(MemoryRecordEnum::Write(write_record)) =
649+
malicious_record.cpu_events[0].a_record.as_mut()
650650
{
651651
write_record.value = op_a as u32;
652652
}

crates/core/machine/src/alu/sll/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -530,8 +530,8 @@ mod tests {
530530
-> Vec<(String, RowMajorMatrix<Val<BabyBearPoseidon2>>)> {
531531
let mut malicious_record = record.clone();
532532
malicious_record.cpu_events[0].a = op_a as u32;
533-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
534-
malicious_record.cpu_events[0].a_record
533+
if let Some(MemoryRecordEnum::Write(write_record)) =
534+
malicious_record.cpu_events[0].a_record.as_mut()
535535
{
536536
write_record.value = op_a as u32;
537537
}

crates/core/machine/src/alu/sr/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -672,8 +672,8 @@ mod tests {
672672
)> {
673673
let mut malicious_record = record.clone();
674674
malicious_record.cpu_events[0].a = op_a as u32;
675-
if let Some(MemoryRecordEnum::Write(mut write_record)) =
676-
malicious_record.cpu_events[0].a_record
675+
if let Some(MemoryRecordEnum::Write(write_record)) =
676+
malicious_record.cpu_events[0].a_record.as_mut()
677677
{
678678
write_record.value = op_a as u32;
679679
}

crates/core/machine/src/operations/add.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ pub struct AddOperation<T> {
1919
}
2020

2121
impl<F: Field> AddOperation<F> {
22+
#[allow(unused_assignments)]
2223
pub fn populate(&mut self, record: &mut impl ByteRecord, a_u32: u32, b_u32: u32) -> u32 {
2324
let expected = a_u32.wrapping_add(b_u32);
2425
self.value = Word::from(expected);

0 commit comments

Comments
 (0)