Commit Graph

2064 Commits

Author SHA1 Message Date
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
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