Ralf Jung
|
837a17625a
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-14 10:35:27 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
10244b5a0e
|
Merge pull request #477 from RalfJung/miri-validate
Validate more things
|
2018-10-12 12:26:39 +02:00 |
|
Ralf Jung
|
c9cf0344ee
|
enable validation for compile-fail tests, and add some new ones
|
2018-10-12 10:54:37 +02:00 |
|
Ralf Jung
|
62b819ba18
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
7fb2fa70a7
|
Merge pull request #476 from RalfJung/atomics
atomics wrap around on overflow
|
2018-10-12 09:31:09 +02:00 |
|
Ralf Jung
|
b99e1267be
|
atomics wrap around on overflow
|
2018-10-12 09:08:17 +02:00 |
|
Ralf Jung
|
26f9d617c3
|
do not validate start-fn code
|
2018-10-11 16:10:04 +02:00 |
|
Ralf Jung
|
1846f111c9
|
fix return place for __rust_maybe_catch_panic
|
2018-10-11 15:28:21 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
dc08735acf
|
Merge pull request #474 from RalfJung/miri-validate
Enable enforcing the validity invariant per default
|
2018-10-11 13:36:43 +02:00 |
|
Ralf Jung
|
e4dfb7013b
|
enable validation per default, but add a flag to disable it and use that for some run-pass tests
compile-fail does not do validation yet
|
2018-10-11 11:24:22 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
616645255a
|
Merge pull request #468 from RalfJung/pointer-provenance
update for ptr provenance
|
2018-10-11 09:15:35 +02:00 |
|
Ralf Jung
|
d94d32e937
|
enforce_validity became a function
|
2018-10-11 09:02:28 +02:00 |
|
Ralf Jung
|
a090edbc03
|
explain a test
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
791f464ea0
|
update for size_and_align considering extern types
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
ce5b183e8b
|
update for new return place handling
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
cde707d28b
|
bump toolchain
|
2018-10-11 08:45:57 +02:00 |
|
Ralf Jung
|
8ea8cd2919
|
update for ptr provenance
|
2018-10-11 08:42:26 +02:00 |
|
Ralf Jung
|
15a00043ba
|
Merge pull request #470 from RalfJung/ptr-offset
only allow 0-offset on integer pointers
|
2018-10-10 11:28:33 +02:00 |
|
Ralf Jung
|
a439262859
|
Merge branch 'master' into ptr-offset
|
2018-10-10 10:03:34 +02:00 |
|
Ralf Jung
|
5a496ddde2
|
Merge pull request #467 from solson/rustup
rustup; test for return type mismatch
|
2018-10-10 10:03:22 +02:00 |
|
Ralf Jung
|
6ae988fc3e
|
Merge branch 'master' into rustup
|
2018-10-10 09:43:23 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
c91d8dcfb0
|
Merge pull request #471 from RalfJung/vergen
update to vergen 3
|
2018-10-10 09:09:08 +02:00 |
|
Ralf Jung
|
57afd396a6
|
bump toolchain
|
2018-10-10 09:08:03 +02:00 |
|
Ralf Jung
|
233516b54d
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-10 09:07:26 +02:00 |
|
Ralf Jung
|
5f2c74e022
|
update to vergen 3
|
2018-10-09 20:17:54 +02:00 |
|
Ralf Jung
|
0641d5b6d3
|
0-offset is also not always okay
|
2018-10-09 20:13:46 +02:00 |
|
Ralf Jung
|
edf28fa227
|
only allow offset-by-0 on integer pointers
|
2018-10-09 20:13:46 +02:00 |
|
Ralf Jung
|
cc275c63a9
|
fix for fn allocations now having an alignment (1) and a size (0)
|
2018-10-08 13:35:54 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
e058baf1d3
|
Merge pull request #469 from RalfJung/ptr-offset
ensure that we cannot use (wrapping_)offset to go from an int ptr to a real ptr
|
2018-10-08 08:18:11 +02:00 |
|
Ralf Jung
|
59eb3dbdae
|
use Box::into_raw
|
2018-10-07 10:35:34 +02:00 |
|
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
|
146f5d8d10
|
rustup; test for return type mismatch
|
2018-10-02 21:16:55 +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 |
|