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

Auto merge of #887 - RalfJung:readme, r=RalfJung

Browse Source 
README: add getrandom bug
This commit is contained in:
bors 2019-08-04 17:37:00 +00:00
commit 8053288bd0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -342,6 +342,7 @@ Definite bugs found:
* [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200)
* [`rand` performing unaligned reads](https://github.com/rust-random/rand/issues/779)
* [The Unix allocator calling `posix_memalign` in an invalid way](https://github.com/rust-lang/rust/issues/62251)
* [`getrandom` calling the `getrandom` syscall in an invalid way](https://github.com/rust-random/getrandom/pull/73)
Violations of Stacked Borrows found that are likely bugs (but Stacked Borrows is currently just an experiment):