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 |
|
Ralf Jung
|
e239fcffc1
|
new tests for new fn arg passing code
|
2018-08-30 10:42:18 +02:00 |
|
Ralf Jung
|
904923fa7a
|
move some more helpers to rustc
|
2018-08-30 10:42:18 +02:00 |
|
Oliver Schneider
|
752accf4e4
|
Merge pull request #434 from solson/rustup
rustup for big refactor; kill most of validation
|
2018-08-30 10:31:05 +02:00 |
|
Ralf Jung
|
2a244dcb48
|
no TLS dtor and no leak checks on macOS
|
2018-08-30 09:41:57 +02:00 |
|
Ralf Jung
|
e2ec521f21
|
pretend mprotect works
|
2018-08-30 09:22:01 +02:00 |
|
Ralf Jung
|
d1cd254003
|
no RwLock on Windows
|
2018-08-30 09:20:08 +02:00 |
|
Ralf Jung
|
b4ebe72b1b
|
stack address functions for macOS
|
2018-08-30 09:04:57 +02:00 |
|
Ralf Jung
|
0db1c6a1b0
|
ignore memory leaks on Windows
|
2018-08-30 08:57:33 +02:00 |
|
Ralf Jung
|
d7a3e040eb
|
pthreads test needs full MIR on Windows
|
2018-08-30 08:33:38 +02:00 |
|
Ralf Jung
|
addcbd8868
|
VecDeque now requries full MIR; update to new nightly
|
2018-08-30 08:21:05 +02:00 |
|
Ralf Jung
|
755c68fdd8
|
some unary operator tests
|
2018-08-26 20:42:02 +02:00 |
|
Ralf Jung
|
5ccdbb8de2
|
small test for extern_type
|
2018-08-26 15:15:26 +02:00 |
|
Ralf Jung
|
1b41b71827
|
update for MUT_STATIC_KIND
|
2018-08-26 13:19:03 +02:00 |
|
Ralf Jung
|
1ba6140891
|
rustup
|
2018-08-25 21:22:06 +02:00 |
|
Ralf Jung
|
823837922b
|
update for enum discriminant changes
|
2018-08-25 11:07:21 +02:00 |
|
Ralf Jung
|
9280d17d98
|
test VecDeque
|
2018-08-24 19:50:31 +02:00 |
|
Ralf Jung
|
bb5079b2bf
|
rustup
|
2018-08-24 19:49:57 +02:00 |
|
Ralf Jung
|
40cc72604a
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +02:00 |
|
Ralf Jung
|
42bce6cb36
|
rustup
|
2018-08-24 17:44:04 +02:00 |
|
Ralf Jung
|
2ee4aac62f
|
fix leaks with -Zmiri-start-fn
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
1a4ad2bb9f
|
update for miri engine: new function handling, new static handling, fixed leaks
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
68194180a8
|
fix type renaming
|
2018-08-23 09:29:27 +02:00 |
|
Ralf Jung
|
ee7f22245d
|
Merge remote-tracking branch 'origin/master'
|
2018-08-20 18:57:48 +02:00 |
|
Ralf Jung
|
1a23b3c313
|
rustup
|
2018-08-20 16:27:23 +02:00 |
|