Commit Graph

2689 Commits

Author SHA1 Message Date
Ralf Jung
1c07cd53e9
Merge pull request #709 from RalfJung/macos-rand
implement SecRandomCopyBytes for macOS RNG
2019-04-22 11:32:12 +02:00
Ralf Jung
b7314369e2 make run-test runnable from other directories 2019-04-22 11:11:06 +02:00
Ralf Jung
8cb0b23c08 no need to allow any more 2019-04-22 11:08:53 +02:00
Ralf Jung
131548a748 gen_random: handle size 0 and writing to mem 2019-04-22 11:08:23 +02:00
Ralf Jung
703b7f8a7e implement SecRandomCopyBytes for macOS RNG 2019-04-22 11:08:23 +02:00
Ralf Jung
298bd1f9ce
Merge pull request #710 from RalfJung/travis
Travis: test cargo miri on foreign arch
2019-04-22 00:27:22 +02:00
Ralf Jung
7bb461362e Travis: test cargo miri on foreign arch 2019-04-21 22:35:47 +02:00
Ralf Jung
8fd40db4bc
Merge pull request #708 from RalfJung/alloc-tests
test System/Global allocator API: alloc_zeroed, realloc
2019-04-21 17:22:39 +02:00
Ralf Jung
e4970fe6ff Windows: implement heap functions 2019-04-21 16:48:02 +02:00
Ralf Jung
a87a7338e6 test System/Global allocator API: alloc_zeroed, realloc 2019-04-21 13:47:12 +02:00
Ralf Jung
6a6c0cd5f0 implement ExitProcess for Windows 2019-04-21 13:25:24 +02:00
Ralf Jung
d410b13139 fix compile-fail ref files 2019-04-21 13:18:05 +02:00
Ralf Jung
0694435650 implement exit
implement exit code via new error kind
2019-04-21 12:36:17 +02:00
Ralf Jung
788616d0f0
Merge pull request #704 from RalfJung/dev
Hopefully make it a bit easier to develop on Miri
2019-04-21 12:23:54 +02:00
Ralf Jung
0d53178d5b
Merge branch 'master' into dev 2019-04-21 10:57:49 +02:00
Ralf Jung
a20719cec6 add section on the no MIR error 2019-04-20 18:36:43 +02:00
Ralf Jung
96b22259cc
Merge pull request #697 from RalfJung/linked-list
add LinkedList test and mention the bug Miri found there
2019-04-20 00:38:40 +02:00
Ralf Jung
791abb7a7e bump Rust version 2019-04-19 23:08:35 +02:00
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