Commit Graph

2671 Commits

Author SHA1 Message Date
Ralf Jung
677bd6f656 add LinkedList test and mention the bug Miri found there 2019-04-19 23:08:24 +02:00
Ralf Jung
4376b9ac2d
Merge pull request #703 from RalfJung/compiletest
bump compiletest
2019-04-19 19:56:47 +02:00
Ralf Jung
bf6b7aa550 rewirte development part of README 2019-04-19 19:53:42 +02:00
Ralf Jung
2481d6091a warn when cargo miri setup does not do anything 2019-04-19 19:27:19 +02:00
Ralf Jung
e4cecb10db bump compiletest 2019-04-19 18:30:53 +02:00
Oliver Scherer
f26c2cb4eb
Merge pull request #699 from RalfJung/stacked-borrows-2
test another version of 'creating a shared ref must not leak the Unique'
2019-04-19 09:55:44 +02:00
Ralf Jung
287ffb8bba test another version of 'creating a shared ref must not leak the Unique' 2019-04-19 08:46:40 +02:00
Ralf Jung
0a5e541272 two-phase-borrow comment 2019-04-19 08:36:05 +02:00
Ralf Jung
5adfa1d56a
Merge pull request #698 from RalfJung/stacked-borrows-2
test that creating a 2nd mutable ref from a NonNull invalidates the first
2019-04-18 23:29:27 +02:00
Ralf Jung
22b57f6435
Merge branch 'master' into stacked-borrows-2 2019-04-18 19:28:25 +02:00
Ralf Jung
7d7cf4d42e
Merge pull request #696 from TimDiekmann/realloc
Add `realloc`
2019-04-18 17:21:04 +02:00
Ralf Jung
107b8b8ed9 try to fix Windows CI 2019-04-18 16:44:43 +02:00
Ralf Jung
36e99a1bda remove some unneeded 'extern crate' 2019-04-18 16:16:32 +02:00
Tim Diekmann
9ecc07c9b2
Add handling for nullptr and size == 0 2019-04-18 15:20:32 +02:00
Ralf Jung
78e11058d3 CI: build with debug assertions 2019-04-18 14:58:30 +02:00
Ralf Jung
7d9dc6e698 test that creating a 2nd mutable ref from a NonNull invalidates the first 2019-04-18 14:43:25 +02:00
Tim Diekmann
afb64232db
Fix for latest upstream update 2019-04-18 12:39:18 +02:00
Tim Diekmann
af3c4c0c23
Merge branch 'master' into realloc 2019-04-18 12:22:58 +02:00
Ralf Jung
ae9e9cb47c
Merge pull request #695 from RalfJung/stacked-borrows-2
Stacked borrows 2 (alpha 1)
2019-04-18 10:15:37 +02:00
Tim Diekmann
0e6deee76e
Add realloc 2019-04-18 01:20:21 +02:00
Ralf Jung
39ecd05c46 embrace find_map and some whitespace changes 2019-04-17 16:25:38 +02:00
Oliver Scherer
abe8959339 Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
2019-04-17 16:22:33 +02:00
Ralf Jung
e1ed855a44 more tests -- also one showing why we are not done yet 2019-04-17 16:02:57 +02:00
Ralf Jung
0a313183b1 bump Rust 2019-04-17 16:02:57 +02:00
Ralf Jung
72cec0562c add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability 2019-04-17 16:02:57 +02:00
Ralf Jung
46d5fd8487 barriers are dead, long live protectors -- this enables overlapping two-phase borrows! 2019-04-17 16:02:57 +02:00
Ralf Jung
e7a500b7e1 test creating two raw pointers from the same mutable ref 2019-04-17 16:02:57 +02:00
Ralf Jung
14e701f7d8 abstract mapping over all the stacks in some memory range 2019-04-17 16:02:57 +02:00
Ralf Jung
7b7fef1b53 let the permission of a new pointer depend on the type only 2019-04-17 16:02:57 +02:00
Ralf Jung
a503259d8b organize stacked borrows run-pass tests 2019-04-17 16:02:57 +02:00
Ralf Jung
97c34c266f try to test the problematic cast-to-raw case... unfortunately with the implicit reborrow that's not currently possible 2019-04-17 16:02:57 +02:00
Ralf Jung
924624f810 some failures are impossible 2019-04-17 16:02:57 +02:00
Ralf Jung
ef52be031c adjust compile-fail error messages
This also passes miri-test-libstd!
2019-04-17 16:02:57 +02:00
Ralf Jung
a6d377ca0b more comments 2019-04-17 16:02:57 +02:00
Ralf Jung
966d638760 make run-pass tests pass. tweak how we remove barriers. 2019-04-17 16:02:57 +02:00
Ralf Jung
3f0a2a2941 rewrite Stacked Borrows Core. this passes stacked-borrows.rs! 2019-04-17 16:02:57 +02:00
Oliver Scherer
3e8bd4560c
Merge pull request #694 from RalfJung/readme
document -Zmiri-seed
2019-04-17 09:23:47 +02:00
Ralf Jung
d7bcaab737 document -Zmiri-seed 2019-04-17 08:20:02 +02:00
Ralf Jung
ff88062d4c
Merge pull request #692 from RalfJung/rand
Fix 0-sized getrandom and thread_rng()
2019-04-17 07:42:43 +02:00
Ralf Jung
a50512f751 fix RtlGenRandom argument size 2019-04-16 21:27:27 +02:00
Ralf Jung
6fdc75024b
Merge branch 'master' into rand 2019-04-16 20:55:58 +02:00
Oliver Scherer
f6fef3b08b
Merge pull request #691 from RalfJung/pragmatic-ptr-eq
be pragmatic about ptr-int comparisons, for now
2019-04-16 20:52:55 +02:00
Ralf Jung
54039cafa8 try to really fix tests on macOS 2019-04-16 20:36:33 +02:00
Ralf Jung
341798f09d fix tests on macOS 2019-04-16 20:14:23 +02:00
Ralf Jung
59541d446a pick better test names 2019-04-16 20:12:55 +02:00
Ralf Jung
5761a0bf61 fix ref file 2019-04-16 19:55:22 +02:00
Ralf Jung
ba567d19f0 stub out pthread_atfork to that we support thread_rng() 2019-04-16 19:53:10 +02:00
Ralf Jung
9c8ad5f9e1 fix 0-sized getrandom 2019-04-16 19:26:02 +02:00
Ralf Jung
bd4a772e1a update cargo miri test to test rng crate a bit; this currently fails 2019-04-16 19:13:53 +02:00
Ralf Jung
af2b42de0a fix compile-fail test 2019-04-16 19:09:41 +02:00