wackbyte/able-script
1
0
Fork 0
forked from AbleScript/ablescript
Code Issues Pull requests Projects Releases Wiki Activity

Merge pull request #43 from T-Dark0/T-Dark_fix_brainfuck_overflows

Browse source 
Fixed integer overflows. Why did I even write `checked_add` in the first place?
This commit is contained in:
Erin 2021-10-19 23:37:47 +02:00 committed by GitHub
parent a3b6ae326e 06464dfea9
commit f82ad34e34
1 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
ablescript/src/brian.rs
View file

@ -110,14 +110,14 @@ impl<'a, I: BootlegRead> Interpreter<'a, I> {
let val = self
.get_or_resize_tape_mut()
.ok_or(ProgramError::TapeSizeExceededLimit)?;
*val = val.checked_add(1).ok_or(ProgramError::IntegerOverflow)?;
*val = val.wrapping_add(1)
}
b'-' => {
let val = self
.get_or_resize_tape_mut()
.ok_or(ProgramError::TapeSizeExceededLimit)?;
*val = val.checked_sub(1).ok_or(ProgramError::IntegerUnderflow)?;
*val = val.wrapping_sub(1)
}
b'.' => {
@ -282,8 +282,6 @@ pub enum IoStatus {
/// An error that occurred while the interpreter was advancing
pub enum ProgramError {
DataPointerUnderflow,
IntegerOverflow,
IntegerUnderflow,
InputReadError,
UnmatchedOpeningBracket,
UnmatchedClosingBracket,
@ -297,8 +295,6 @@ impl Display for ProgramError {
"{}",
match self {
ProgramError::DataPointerUnderflow => "data pointer underflow",
ProgramError::IntegerOverflow => "integer overflow",
ProgramError::IntegerUnderflow => "integer underflow",
ProgramError::InputReadError => "input read error",
ProgramError::UnmatchedOpeningBracket => "unmatched `[`",
ProgramError::UnmatchedClosingBracket => "unmatched `]`",
@ -442,4 +438,14 @@ mod tests {
))
);
}
#[test]
fn positive_integer_overflow() {
interpret_with_io(b"+[+]", std::io::empty(), std::io::sink()).unwrap();
}
#[test]
fn negative_integer_overflow() {
interpret_with_io(b"-", std::io::empty(), std::io::sink()).unwrap();
}
}