Skip to content

Commit 8053288

Browse files
committed
Auto merge of #887 - RalfJung:readme, r=RalfJung
README: add getrandom bug
2 parents d82b244 + e8d956c commit 8053288

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -342,6 +342,7 @@ Definite bugs found:
342342
* [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200)
343343
* [`rand` performing unaligned reads](https://github.com/rust-random/rand/issues/779)
344344
* [The Unix allocator calling `posix_memalign` in an invalid way](https://github.com/rust-lang/rust/issues/62251)
345+
* [`getrandom` calling the `getrandom` syscall in an invalid way](https://github.com/rust-random/getrandom/pull/73)
345346

346347
Violations of Stacked Borrows found that are likely bugs (but Stacked Borrows is currently just an experiment):
347348

0 commit comments

Comments
 (0)