mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

typo

Browse Source
This commit is contained in:
Ralf Jung 2023-04-12 15:04:15 +02:00 committed by GitHub
parent aacd261e00
commit 7e37783f11
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/shims/foreign_items.rs
View File

@ -769,7 +769,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
// We use `read_c_str` to determine the amount of data to copy,
// and then use `mem_copy` for the actual copy. This means
// pointer provenance is preserved by this implementation of `strcpy`.
// That is properly overly cautious, but there also is no fundamental
// That is probably overly cautious, but there also is no fundamental
// reason to have `strcpy` destroy pointer provenance.
let n = this.read_c_str(ptr_src)?.len().checked_add(1).unwrap();
this.mem_copy(