Konrad Borowski
bfe1ab96d7
Clarify that str data must still be initialized
5 years ago
Konrad Borowski
b8344ef88f
Remove language-level UB for non-UTF-8 str
5 years ago
Isak
45a997aabd
Data Race definition should be more precise
...
"one of them is a write" did not seem right to me. Doesn't generalise to the case with two concurrent threads writing to shared memory. [Related Wikipedia article](https://en.wikipedia.org/wiki/Race_condition#Example_definitions_of_data_races_in_particular_concurrency_models )
5 years ago
Ralf Jung
c94172314b
fix Nomicon transmute UB
5 years ago
Eric Huss
d1517d4e3f
Rename Unique::empty to Unique::dangling
5 years ago
dbdr
91dd12be34
Use simpler link syntax
...
Thanks @lzutao
Co-authored-by: lzutao <taolzu@gmail.com>
5 years ago
Daniel Bonniot de Ruisselet
76d0799a8d
Replace catch_panic by catch_unwind
5 years ago
amosonn
4d2d275997
Fix example in FFI, section NPO
5 years ago
Youngsuk Kim
1e1dd962c7
Update implementation code of `split_at_mut`
5 years ago
Linus Färnstrand
9f131b5b9c
Use just `std::_` instead of `::std::_`
...
Accessing std this way has been stable since Rust 1.30.0
5 years ago
WarmongeringBeaver
8413980b07
Remove illegal space.
...
Sorry, I'm the useless-details sheriff.
5 years ago
Linus Färnstrand
1d517f87dc
Fix Global.realloc by changing to Global.grow
5 years ago
Linus Färnstrand
6cceae61c9
Fix usage of Global.alloc
5 years ago
Linus Färnstrand
a2d606f49c
Use isize::MAX directly on type instead of module
5 years ago
Eric Huss
218da782b8
Fix negative_impls feature.
5 years ago
Yuki Okushi
d2ed4ebed9
Rustup to latest rustc
5 years ago
Mazdak Farrokhzad
71241f4030
Merge pull request #197 from JOE1994/patch-1
...
(minor) Add backticks around type names
5 years ago
Youngsuk Kim
e3812150dd
follow-up to review from Centril
5 years ago
Mazdak Farrokhzad
8e07b14b15
Merge pull request #188 from TimDiekmann/rename-alloc
...
Rename `Alloc` to `AllocRef`
5 years ago
Youngsuk Kim
d37282bfff
(minor) Add backticks around type names
...
Added backticks around type names for consistency of document.
5 years ago
japm48
0fd7306f5a
Lifetimes: explain how to fix destructor example
5 years ago
Ralf Jung
7c93203063
mention soundness
5 years ago
Mazdak Farrokhzad
8c57c4e299
Merge pull request #193 from amosonn/patch-2
...
Fix example in FFI section Calling Rust from C
5 years ago
amosonn
6e93a7cbf8
Fix example in FFI section Calling Rust from C
...
Make it explicit we're using `"C"` calling convention.
5 years ago
Christian Vallentin
cf36a0f9c0
Removed repeated word
5 years ago
Tim Diekmann
99d5b65882
Rename `Alloc` to `AllocRef`
5 years ago
ChrisGreenaway
c7d67b599a
Update send-and-sync.md
5 years ago
Joshua Nelson
e0702e4b9a
Add more links
5 years ago
Peter Todd
ce08025be2
Remove mention of contravariance possibly getting scrapped
...
Contravariance is part of stable Rust, and it's a natural outcome of how
`fn(T)` interacts with lifetimes, so it's hard to imagine this ever
going away.
tl;dr: LONG LIVE CONTRAVARIANCE!
5 years ago
CreepySkeleton
8be35b201f
Update unwinding.md
...
`catch_unwind` is not unstable anymore
5 years ago
Yuki Okushi
4f29478b14
Update unsafe-code-guidelines link
5 years ago
Ralf Jung
ddc460c245
further clarify C11
5 years ago
Ralf Jung
37a0693e0e
mention C11 in case someone wonders
5 years ago
Ralf Jung
9c5dc0be63
atomics: C11 -> C++20
5 years ago
Ralf Jung
cbbe63b561
use sound/unsound terminology
5 years ago
Ralf Jung
fdcf179d75
fix links for copy, copy_nonoverlapping
5 years ago
Ralf Jung
3600533888
Merge pull request #153 from RalfJung/uninit
...
update uninit section to MaybeUninit
5 years ago
Ralf Jung
9fae750261
remark on structs and mem::uninitialized
5 years ago
Ralf Jung
2ab1783f2d
remove a pointless remark
5 years ago
Ralf Jung
0a2172f104
clarify 'easy to change'
5 years ago
Ralf Jung
f2c2491427
Apply feedback
...
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
5 years ago
Mazdak Farrokhzad
0f469dcadd
Merge pull request #163 from RalfJung/zst
...
fix and expand what we say about ZST
5 years ago
Ralf Jung
d176807b2e
Update src/what-unsafe-does.md
...
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
5 years ago
Ralf Jung
04823fd22b
use agreed-upon wording
5 years ago
Ralf Jung
d3a5f5b21d
impove wording
...
Co-Authored-By: gnzlbg <gnzlbg@users.noreply.github.com>
5 years ago
Ralf Jung
c6bf198f75
adjust fn unwinding clause to match reference
5 years ago
Ralf Jung
5287c526f7
fix noun
5 years ago
Ralf Jung
78c247398f
note on not-too-large slices
5 years ago
Ralf Jung
8db5ad17bf
fix slice wide ptr metadata
5 years ago
Ralf Jung
61b001f52c
Oxford
...
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
5 years ago
Ralf Jung
9cf4a9a6f1
clarify, also cover Box
5 years ago
Ralf Jung
8a3cc78962
fix and expand what we say about ZST
5 years ago
Ralf Jung
5e082af681
adjust for current reality wrt. wide raw pointers
5 years ago
Ralf Jung
d1cf763599
update uninit section to MaybeUninit
5 years ago
Lzu Tao
38b9a76bc8
Fix transmute_copy link
5 years ago
Ralf Jung
92b7198c10
some edits
5 years ago
Ralf Jung
d9709e1b74
drop parenthetical
5 years ago
Ralf Jung
02b64d1672
clarify dangling
5 years ago
Ralf Jung
052159694e
fix def.n of dangling
5 years ago
Ralf Jung
121a5a01a1
fold uninit integer rule with reading uninit memory
5 years ago
Ralf Jung
98a71fde9f
refactor null a bit
5 years ago
Ralf Jung
6596772610
resolve some nits
5 years ago
Ralf Jung
929fd20709
raw ptrs must be initialized like integers
5 years ago
Ralf Jung
307db2a17b
Apply suggestions from code review
...
Co-Authored-By: gnzlbg <gnzlbg@users.noreply.github.com>
5 years ago
Ralf Jung
b41ef53e57
explain when metadata is invalid
5 years ago
Ralf Jung
c113664204
mention !
5 years ago
Ralf Jung
01d11b8429
add more cases of UB
5 years ago
Ralf Jung
a7aa0a8944
avoid redundant UB
5 years ago
Ralf Jung
1824951736
stick to broader UB for raw ptr offsets/derefs for now
5 years ago
Ralf Jung
93c626d0d0
be more precise about dangling
5 years ago
Ralf Jung
447fdb0cd9
subsume the NonNull things as library types
5 years ago
Ralf Jung
2d8338bea7
handle recursion in the heading
5 years ago
Ralf Jung
450041032c
Define 'producing'
5 years ago
Ralf Jung
c9db421053
NonNull, NonZero*
5 years ago
Ralf Jung
423f6b926d
list more ptr offset computations
5 years ago
Ralf Jung
12b34a6570
UB
5 years ago
chansuke
dc9019c9e2
Update the diagnostic of `error[E0597]`
5 years ago
chansuke
87159b8656
Fix typo in subtyping
5 years ago
chansuke
e12b1ba8ba
Add colon to `MySuperSliceable` too
5 years ago
Joe Schafer
fc81aa405d
Fix typo `str::mem` to `std::mem`
5 years ago
Graydon Hoare
2482d92778
s/railguard/guardrail/
5 years ago
lzutao
b7f0aba2f8
chore: Remove redundant Eq import
5 years ago
lzutao
d23b1c86ff
Fix link to rfc1857
5 years ago
Joseph Lyons
47d081061e
Move word "reading" out of the link to "The Book"
5 years ago
Eric Huss
341c221116
Fix some links.
...
rust-lang/rust does not allow bare directory links.
This unblocks updating the submodule.
6 years ago
Alexis Beingessner
eb662e85e3
cleanup the intro, and clarify how it relates to the reference
6 years ago
Michal 'vorner' Vaner
0cc13816d7
Lifetimes: Updates to incorporate NLL
...
* Updated the explanations around lifetimes a bit.
* Made sure the examples that should fail still fail in edition 2018.
* Prefer `rust,compile_fail` instead of `rust,ignore` ‒ the latter
allows the user to click on button and see the actual compile errors.
Also, this'll tell us if something stops failing.
6 years ago
Eric Huss
e27d66a472
Fix link to copy_nonoverlapping
...
This unblocks updating upstream.
6 years ago
Alexis Beingessner
e4042e69a1
Merge pull request #130 from vorner/uninit-improvements
...
Various unchecked-uninit improvements
6 years ago
Michal 'vorner' Vaner
7b6cc4ffc9
Various unchecked-uninit improvements
...
* Links to the std for some functions
* Mention the MaybeUninit
* Unify indentation (spaces, not tabs)
6 years ago
Denis
5ceb4253f7
Fix "illegal cpu instruction" in `vec-alloc.md`
...
As per #132
6 years ago
Alexis Beingessner
02ef0fbb2d
Merge pull request #131 from anderejd/master
...
Added missing "things".
6 years ago
Alexis Beingessner
43be8c9a66
Merge pull request #128 from casey/number
...
Fix number agreement in subtyping chapter
6 years ago
anderejd
5fb237f0f8
Added a missing word.
6 years ago
Michal 'vorner' Vaner
5d56de9fcc
Minor improvements
...
* Prefer compile_fail over ignore, to catch if the code accidentally
starts compiling in future versions.
* Make an example compile by providing mocked environment around it in
case it should be correct.
* Links into std.
6 years ago
Casey Rodarmor
51df283213
Fix number agreement in subtyping chapter
6 years ago
Alexis Beingessner
c02e0e7754
Merge pull request #113 from vorner/defined-drop-order
...
dropck: The drop order is now defined
6 years ago
Michal 'vorner' Vaner
1da7d384d5
dropck: The drop order is now defined
...
So the examples are out of date, they no longer pose a problem. However,
there's still a case where it does, so let's use that instead.
Also, mention the definition of drop order in the text, as it is
related.
6 years ago
Alexis Beingessner
f1ff93b668
Merge pull request #112 from peter50216/patch-2
...
Fix typo in other-reprs.md
6 years ago
Alexis Beingessner
a2d86d34b0
Merge pull request #117 from cmyr/patch-4
...
Fix typo in subtyping.md
6 years ago