mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,003 Commits 2 Branches 0 Tags 1.4 GiB
0505868d18
Commit Graph

3003 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Aaron Hill
0505868d18
Do nothing when we try to generate random data of length 0 
This preserves compatibility with programs that pass a null pointer and
a length of zero to getrandom(), or their platform's equivalent.
 2019-08-04 09:21:17 -04:00
bors
d82b24422d Auto merge of #883 - RalfJung:gen_random, r=RalfJung 
gen_random helper: move ptr argument to front

This matches, for example, the `getrandom` syscall.
 2019-08-04 12:57:16 +00:00
Ralf Jung
0096a0df2a gen_random helper: move ptr argument to front 2019-08-04 14:49:10 +02:00
bors
ed30152b52 Auto merge of #876 - RalfJung:atomic, r=RalfJung 
check that atomics are sufficiently aligned

Fixes https://github.com/rust-lang/miri/issues/475
 2019-08-04 08:55:18 +00:00
Ralf Jung
a4cc58efc6 one more place -> ptr rename 2019-08-04 10:54:07 +02:00
Ralf Jung
19add0bb75 places and pointers are not the same thing; this is a place 2019-08-04 10:52:09 +02:00
Ralf Jung
f47e58950b check that atomics are sufficiently aligned, and add test 2019-08-04 10:30:42 +02:00
Ralf Jung
702f63e427 test AtomicU64 2019-08-04 10:30:42 +02:00
Ralf Jung
ca4969d4da consolidate atomic tests 2019-08-04 10:30:42 +02:00
bors
843691d612 Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung 
install xargo from git temporarily

This is so that once https://github.com/japaric/xargo/pull/246 landed, we can see if that helps with https://github.com/rust-lang/rust/pull/63162.
 2019-08-04 08:26:51 +00:00
Ralf Jung
162c0ffb1f use postfix negation instead of prefix 2019-08-04 10:14:51 +02:00
Ralf Jung
874437d717 install xargo from git temporarily 2019-08-04 10:11:45 +02:00
bors
d9d6df93a9 Auto merge of #881 - RalfJung:rustup, r=RalfJung 
adjust for rustc changes
 2019-08-03 18:56:38 +00:00
Ralf Jung
a41ec9aacb adjust error messages in tests 2019-08-03 20:54:57 +02:00
Ralf Jung
8d99e42f47 test memalign contract (rustc is fixed) 2019-08-03 20:53:42 +02:00
Ralf Jung
f65e7cd2d1 adjust for rustc changes 2019-08-03 20:31:33 +02:00
bors
d0e8850267 Auto merge of #877 - christianpoveda:ldexp-shim, r=RalfJung 
Add shim for ldexp

Fixes https://github.com/rust-lang/miri/issues/821

r? @RalfJung
 2019-08-03 16:14:20 +00:00
Christian Poveda
c4cea035e6 Formatting 2019-08-03 10:51:23 -05:00
bors
a71ebf9066 Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung 
annotate some unwraps with better messages
 2019-08-03 15:22:09 +00:00
Ralf Jung
10f46336af set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap 2019-08-03 17:21:30 +02:00
Ralf Jung
ab22da8ce8 annotate some unwraps with better messages 2019-08-03 16:59:30 +02:00
bors
9d3fdeeed7 Auto merge of #856 - RalfJung:type_dispatch_first, r=RalfJung 
Adjust for ptr_op changes

This is the Miri side of https://github.com/rust-lang/rust/pull/62946.
 2019-08-03 13:15:51 +00:00
Ralf Jung
5efacf636b bump Rust 2019-08-03 15:15:28 +02:00
Ralf Jung
61d8a4e101 simplify code 2019-08-03 15:01:04 +02:00
Ralf Jung
773f6aeb4c remove some compile-fail tests that now work 2019-08-03 15:01:04 +02:00
Ralf Jung
82da68c5ca implement all ptr comparisons through integer casts 2019-08-03 15:01:04 +02:00
Ralf Jung
bb6a91dc94 adjust for ptr_op now being called type-based 2019-08-03 14:38:36 +02:00
bors
247786dba6 Auto merge of #879 - RalfJung:rustc-tests, r=RalfJung 
also let bootstrap tell us where to find xargo
 2019-08-03 11:55:08 +00:00
Ralf Jung
e71ca965b9 also let bootstrap tell us where to find xargo 2019-08-03 13:53:32 +02:00
bors
f463621a90 Auto merge of #878 - RalfJung:rustup, r=RalfJung 
Rustup for error changes
 2019-08-03 08:36:58 +00:00
Ralf Jung
312b546026 bump Rust 2019-08-03 10:26:15 +02:00
Ralf Jung
8071034b93 fix for error refactoring 2019-08-03 10:25:55 +02:00
Christian Poveda
ff2001040f Add shim for ldexp 2019-08-02 15:46:28 -05:00
bors
079b53e70e Auto merge of #875 - RalfJung:miri-rustc, r=RalfJung 
honor CARGO env var (for rustc bootstrap)
 2019-08-02 16:04:16 +00:00
Ralf Jung
0dab3d5ee1 honor CARGO env var (for rustc bootstrap) 2019-08-02 18:02:54 +02:00
bors
2f5ef735cf Auto merge of #874 - RalfJung:zst, r=RalfJung 
test dangling ZST deref

Fixes https://github.com/rust-lang/miri/issues/582.
 2019-08-02 12:27:55 +00:00
Ralf Jung
2973063fa3 test dangling ZST deref 2019-08-02 14:26:15 +02:00
bors
f0e871785f Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk 
Prepare Miri for rustc bootstrap building a separate libstd for it
 2019-08-02 08:08:35 +00:00
bors
e00fa966ac Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk 
Make Retag shallow

A shallow retag does not traverse into fields of compound typed to search for references to retag. It only retags "top-level"/"bare" references (and boxes).

This helps with https://github.com/rust-lang/unsafe-code-guidelines/issues/125 because it also means that we do not add protectors for references passed in fields of a struct (or other compound types). Until we know what the rules should be for protectors, I prefer to be less aggressive about what we are rejecting.
This also matches our work-in-progress Coq formalization.
 2019-08-02 07:40:02 +00:00
Ralf Jung
30fb027f33 comment 2019-08-02 08:38:22 +02:00
Ralf Jung
3318657eaf test Ref/RefMut protector interactions 2019-08-02 08:15:52 +02:00
Ralf Jung
c4c2716f4e make reborrow shallow, and fix tests for that 2019-08-02 08:09:22 +02:00
Ralf Jung
56630e0ff0 bootstrap no longer carries a copy of these flags 2019-07-31 15:15:31 +02:00
Ralf Jung
d213c64d85 let the user skip the sysroot consistency check 2019-07-31 15:15:14 +02:00
bors
5bbf6733ea Auto merge of #869 - RalfJung:tests, r=oli-obk 
test suite: be fine with warnings when running on rustc CI

r? @oli-obk
 2019-07-31 11:54:00 +00:00
Ralf Jung
a414492cc7 reorder for clarity 2019-07-31 13:48:49 +02:00
Ralf Jung
edf7d1c30c dedup code a bit 2019-07-31 13:48:15 +02:00
Ralf Jung
6dadb94101 test suite: be fine with warnings when running on rustc CI 2019-07-31 13:44:55 +02:00
bors
e276676f0c Auto merge of #868 - JohnTitor:adjust-async-await-test, r=RalfJung 
Remove `await_macro`

`await_macro` is now unsupported so we should remove it.
Failed in https://github.com/rust-lang/rust/pull/63141

r? @RalfJung
 2019-07-31 08:09:12 +00:00
Yuki Okushi
af7570fced Remove await_macro 2019-07-31 16:42:38 +09:00