Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 10 additions & 10 deletions arche-core/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -13,16 +13,16 @@ publish = false
bench = false #https://bheisler.github.io/criterion.rs/book/faq.html#cargo-bench-gives-unrecognized-option-errors-for-valid-command-line-options

# The unsafe here is the generator's writes into the move list before
# `set_len`, the static exchange gain array's `assume_init`, the `madvise`
# that asks for the transposition table's huge pages, the table's SSE load
# of a bucket's key slices and its unchecked bucket reads, and the
# ordering's SSE blocks (the quiet keys, the pick and the rank). Each
# carries a SAFETY note; nothing checks mechanically that the argument
# keeps holding. This lint is the half a compiler can check: without it
# the body of an `unsafe fn` is unsafe throughout, so a new unsafe
# operation inside one needs no block and gets no note. Miri is the other
# half and needs nightly, which this repository does not otherwise use;
# docs/ROADMAP.md carries it.
# `set_len` and into its unchecked quiet buffer, the static exchange gain
# array's `assume_init`, the `madvise` that asks for the transposition
# table's huge pages, the table's SSE load of a bucket's key slices and
# its unchecked bucket reads, and the ordering's SSE blocks (the quiet
# keys, the pick and the rank). Each carries a SAFETY note; nothing checks
# mechanically that the argument keeps holding. This lint is the half a
# compiler can check: without it the body of an `unsafe fn` is unsafe
# throughout, so a new unsafe operation inside one needs no block and gets
# no note. Miri is the other half and needs nightly, which this repository
# does not otherwise use; docs/ROADMAP.md carries it.
[lints.rust]
unsafe_op_in_unsafe_fn = "deny"

Expand Down
Loading
Loading