teascade/reid-llvm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix index out of bounds off-by-one error

Browse Source
This commit is contained in:
Sofia 2025-07-14 02:29:54 +03:00
parent c2a087785e
commit bad4713779
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
reid/src/mir/typecheck.rs
View File

@ -394,7 +394,7 @@ impl Expression {
let expr_t = expression.typecheck(state, hints, hint_t)?; let expr_t = expression.typecheck(state, hints, hint_t)?;
if let TypeKind::Array(inferred_ty, len) = expr_t { if let TypeKind::Array(inferred_ty, len) = expr_t {
if len < *idx { if len <= *idx {
return Err(ErrorKind::IndexOutOfBounds(*idx, len)); return Err(ErrorKind::IndexOutOfBounds(*idx, len));
} }
let ty = state.or_else( let ty = state.or_else(