Ralf Jung
|
959693f1e5
|
ensure that we cannot use (wrapping_)offset to go from an int ptr to a real ptr
|
2018-10-06 18:32:39 +02:00 |
|
Ralf Jung
|
317f90525a
|
Merge pull request #466 from solson/rustup
rustup
|
2018-10-02 10:00:31 +02:00 |
|
Ralf Jung
|
72cd905484
|
rustup
|
2018-10-02 09:25:55 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
179238ad6f
|
Merge pull request #464 from RalfJung/travis
update CI
|
2018-10-01 13:09:38 +02:00 |
|
Ralf Jung
|
aa30540ce7
|
update CI: Avoid downloading Rust twice
|
2018-10-01 12:32:22 +02:00 |
|
Ralf Jung
|
b595e259b5
|
Merge pull request #462 from RalfJung/needs-drop
remove needs_drop impl
|
2018-10-01 09:19:46 +02:00 |
|
Ralf Jung
|
eaff451d5e
|
move 'cargo miri' test down so it is not the first thing testing start-fn
|
2018-10-01 08:27:03 +02:00 |
|
Ralf Jung
|
1ce05523c4
|
remove needs_drop impl
|
2018-10-01 08:24:42 +02:00 |
|
Ralf Jung
|
110c98ba16
|
Merge pull request #461 from solson/rustup
fix test for latest rustc
|
2018-09-29 20:02:32 +02:00 |
|
Ralf Jung
|
e8f6973e2d
|
fix test for latest rustc
|
2018-09-29 19:39:34 +02:00 |
|
Ralf Jung
|
f8507d79e8
|
Merge pull request #459 from solson/rustup
Rustup
|
2018-09-24 23:34:34 +02:00 |
|
Ralf Jung
|
4b11792259
|
bump toolchain
|
2018-09-24 23:01:12 +02:00 |
|
Ralf Jung
|
2b882f3feb
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-09-24 23:00:58 +02:00 |
|
Ralf Jung
|
7433c6fc8f
|
Merge pull request #460 from RalfJung/static-mut
Test mutating a non-mut static with interior mutability
|
2018-09-24 22:57:59 +02:00 |
|
Ralf Jung
|
f18cb40e4c
|
test mutating a non-mut static with interior mutability
|
2018-09-23 09:14:55 +02:00 |
|
Ralf Jung
|
ca698a6eac
|
Merge pull request #457 from RalfJung/field-align
test for interestingly aligned field access
|
2018-09-22 09:53:48 +02:00 |
|
Ralf Jung
|
6b404011cc
|
bump toolchain
|
2018-09-22 08:45:39 +02:00 |
|
Ralf Jung
|
a85b78d30c
|
test for interestingly aligned field access
|
2018-09-22 08:45:24 +02:00 |
|
Ralf Jung
|
8d7cdbb853
|
rustup
|
2018-09-20 12:24:55 +02:00 |
|
Eduard-Mihai Burtescu
|
c95923d602
|
Merge pull request #458 from RalfJung/tls
Move TLS data to machine data
|
2018-09-20 02:31:34 +03:00 |
|
Ralf Jung
|
ea4232cf22
|
Move TLS data to machine data
There is no good reason to let the machine store stuff in the machine *and* in memory. I plan to get rid of the latter.
|
2018-09-20 01:00:59 +02:00 |
|
Ralf Jung
|
384c2bec2a
|
Merge pull request #453 from RalfJung/zst
ZST pointers and pointer equality
|
2018-09-18 09:05:58 +02:00 |
|
Ralf Jung
|
83ae0530a7
|
update toolchain
|
2018-09-18 08:32:23 +02:00 |
|
Ralf Jung
|
18d7394071
|
more compile-fail ptr equality tests, to rule out any non-determinism; and fix ptr equality to fail all of them.
At least these are the cases I can think of right now.
|
2018-09-17 10:02:31 +02:00 |
|
Ralf Jung
|
cd138bcd0b
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
|
Ralf Jung
|
cf44c36640
|
Merge pull request #456 from solson/rustup
fix test for rustup
|
2018-09-17 10:01:44 +02:00 |
|
Ralf Jung
|
130d803b32
|
fix test for rustup
|
2018-09-17 09:18:57 +02:00 |
|
Ralf Jung
|
0d7ca7194c
|
Merge pull request #446 from RalfJung/zero-sized-accesses
Strictly enforce pointer validity even for zero-sized accesses
|
2018-09-17 09:15:36 +02:00 |
|
Ralf Jung
|
c096d34053
|
bump toolchain
|
2018-09-17 08:40:17 +02:00 |
|
Ralf Jung
|
95d79cc11e
|
Merge remote-tracking branch 'origin/master' into zero-sized-accesses
|
2018-09-17 08:39:59 +02:00 |
|
Ralf Jung
|
95eb77c18e
|
add some compile-fail tests
|
2018-09-16 17:29:53 +02:00 |
|
Ralf Jung
|
63c2a2fc05
|
Merge pull request #455 from RalfJung/cargo-miri-version
cargo miri: show version number
|
2018-09-16 15:37:52 +02:00 |
|
Ralf Jung
|
f925e5dafd
|
cargo miri: show version number
|
2018-09-16 15:18:18 +02:00 |
|
Ralf Jung
|
d198400f75
|
Merge pull request #451 from TimDiekmann/master
Remove unchecked_shr/shl from intrinsics
|
2018-09-15 13:52:20 +02:00 |
|
Ralf Jung
|
b488b51b66
|
bump Rust
|
2018-09-15 10:34:45 +02:00 |
|
Ralf Jung
|
d889da43f8
|
move MemoryData to memory.rs; remove all the Hashing stuff
|
2018-09-09 11:01:15 +02:00 |
|
Tim
|
72918c1a97
|
Remove (overflowing_)add/mul/sub(_with_overflow)
|
2018-09-06 16:49:08 +02:00 |
|
Tim
|
055c63ab0d
|
Remove unchecked_shr/shl from intrinsics
|
2018-09-06 16:07:13 +02:00 |
|
Ralf Jung
|
5a8b46d993
|
Merge pull request #448 from TheDarkula/master
Removed transmute from intrinsic.rs
|
2018-09-01 12:28:56 +02:00 |
|
Ralf Jung
|
6dff6e84d7
|
Merge branch 'master' into master
|
2018-09-01 11:47:52 +02:00 |
|
thedarkula
|
90d7cb2493
|
Removed transmute from intrinsic.rs
|
2018-09-01 11:47:20 +02:00 |
|
Ralf Jung
|
155399382e
|
Merge pull request #445 from solson/rustup
Rustup
|
2018-09-01 11:46:01 +02:00 |
|
Ralf Jung
|
d3928f6356
|
more permissive pointer comparison logic
|
2018-09-01 11:26:54 +02:00 |
|
Ralf Jung
|
1697b93ed9
|
Merge branch 'master' into rustup
|
2018-09-01 10:35:19 +02:00 |
|
Ralf Jung
|
74c6a1aa49
|
bump toolchain
|
2018-09-01 10:33:53 +02:00 |
|
Ralf Jung
|
ece98ea8b6
|
Merge pull request #444 from RalfJung/windows
Unignore a bunch of tests that actually work
|
2018-08-31 08:32:31 +02:00 |
|
Ralf Jung
|
f56841d974
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
Ralf Jung
|
2a318264ea
|
also allow comparing pointers with integers so big that they cannot be equal
|
2018-08-30 11:05:52 +02:00 |
|
Ralf Jung
|
fe9cd1c98d
|
strictly enforce pointer validity even for zero-sized accesses
|
2018-08-30 10:50:13 +02:00 |
|
Ralf Jung
|
c44267960f
|
ptr equality: only defined for ptrs in the same allocation and live ptrs
|
2018-08-30 10:46:09 +02:00 |
|