mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,136 Commits 2 Branches 0 Tags 1.4 GiB
f462b4c257
Commit Graph

4136 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
b843de6dd2 run-test.py: also print what we are testing for 2020-03-22 09:04:10 +01:00
Ralf Jung
e1b654f09a mention cross-running in docs 2020-03-22 08:55:53 +01:00
Ralf Jung
d85f09c4e4 platform -> target 2020-03-22 08:55:39 +01:00
Ralf Jung
dece5bc4ee fix bad use of FOREIGN_TARGET 2020-03-21 23:28:10 +01:00
Ralf Jung
82fe771676 also cross-test Windows from Linux, macOS 2020-03-21 23:26:44 +01:00
Ralf Jung
78fe5288d0 do more cross-testing 2020-03-21 23:17:18 +01:00
Ralf Jung
8306073835 bump Rust 2020-03-21 23:17:07 +01:00
bors
7f476266fd Auto merge of #1248 - RalfJung:overflow, r=RalfJung 
detect UB: overflow in copy/write_bytes

Fixes https://github.com/rust-lang/miri/issues/1234
 2020-03-21 17:09:57 +00:00
Ralf Jung
238ed49a07 detect UB: overflow in copy/write_bytes 2020-03-21 17:54:33 +01:00
Ralf Jung
8acfafe186 test for zero-sized write_bytes to NULL 2020-03-21 17:54:18 +01:00
Ralf Jung
eb3be2f97d ./miri check 2020-03-21 17:43:28 +01:00
bors
70ab91d087 Auto merge of #1247 - RalfJung:rustup, r=RalfJung 
call error location was fixed by rustup
 2020-03-21 12:13:39 +00:00
Ralf Jung
6355228d4e remove no longer needed (and sometimes broken) 'extern crate' 2020-03-21 13:13:08 +01:00
Ralf Jung
e890d4d5e1 call error location was fixed by rustup 2020-03-21 12:52:23 +01:00
bors
b2605d809d Auto merge of #1241 - RalfJung:dont-panic, r=RalfJung 
whitelist platforms where panicking should work

@CAD97 [proposed](https://github.com/rust-lang/miri/issues/1059#issuecomment-601217992) trying to get a better error for failed panics on Windows.

Could you test if this works for you?
 2020-03-21 09:55:23 +00:00
Ralf Jung
5c09047411 fix tests 2020-03-21 10:54:56 +01:00
Ralf Jung
bde3111c61 test windows panic message 2020-03-21 10:17:57 +01:00
bors
ee71b2e140 Auto merge of #1243 - RalfJung:instant, r=RalfJung 
implement Instant::now

For now, this is Linux-only.

Unlike `SystemTime`, we cannot convert `Instant` to something absolute via an epoch. But that's okay, that clock is relative anyway, so we just make up our own time anchor when interpretation starts.

Fixes https://github.com/rust-lang/miri/issues/1242
 2020-03-20 15:18:06 +00:00
Ralf Jung
f430e54456 implement mach_absolute_time for macOS 2020-03-20 16:15:37 +01:00
bors
0cfb20d9ea Auto merge of #1244 - RalfJung:readme, r=RalfJung 
README updates
 2020-03-20 14:57:58 +00:00
Ralf Jung
3a5f601710 add some more miri-detected issues 2020-03-20 15:57:11 +01:00
Ralf Jung
04c937e281 assert platform in time shims 2020-03-20 15:11:54 +01:00
bors
22de46402e Auto merge of #1245 - RalfJung:rustup, r=RalfJung 
rustup

Just to make sure the CI failure we just saw was truly spurious (travis macOS being unreliable, as usual)
 2020-03-20 09:35:08 +00:00
Ralf Jung
e3a72be107 rustup 2020-03-20 10:34:24 +01:00
Ralf Jung
c3f6f47f7a we also do not check floats for being init'd 2020-03-19 23:19:17 +01:00
Ralf Jung
4608b94bd8 implement CLOCK_MONOTONIC on Linux 2020-03-19 23:01:24 +01:00
Ralf Jung
0f1713f67c whitelist platforms where panicking should work 2020-03-19 15:54:09 +01:00
bors
0ff05c4cfe Auto merge of #1219 - RalfJung:error-cleanup, r=RalfJung 
rustup for error reform

This is the Miri side of https://github.com/rust-lang/rust/pull/69839.
 2020-03-19 07:42:53 +00:00
Ralf Jung
49051e05ea rustup, and some final message adjustments 2020-03-19 08:41:01 +01:00
Ralf Jung
e1e158e103 adjust error messages for lower-case start 2020-03-19 08:26:08 +01:00
Ralf Jung
681819c8ad getting a path should never fail 
we basically treat them as lang items
 2020-03-19 08:26:08 +01:00
Ralf Jung
77cc0cddd9 add test for validation finding use-after-free 2020-03-19 08:25:08 +01:00
Ralf Jung
e6e8773272 start messages in lower-case 2020-03-19 08:25:08 +01:00
Ralf Jung
1103a10e2c adjust for error reform 2020-03-19 08:25:08 +01:00
bors
6b56aefa0b Auto merge of #1239 - elichai:2020-03-abort-intrinsics, r=RalfJung 
Abort instead of panic on asserting intrinsics

This fixes #1222
replacing the panic with an abort and a corresponding message.
the stack trace is already printed, this just adds an optional message the caller can pass, and I just pass the same message we passed to the panic but now to the abort instead.

r? @RalfJung
 2020-03-18 12:20:30 +00:00
Elichai Turkel
0826899ca0
Remove uninhabit/zeroed tests to a new test file for abort checking 2020-03-18 14:14:23 +02:00
Elichai Turkel
52e1372e03
Abort instead of panic in asserting intrinsics, because they might not be panic safe 2020-03-18 14:14:23 +02:00
Elichai Turkel
1b8979c8c7
Add an optional message to abort 2020-03-18 14:14:23 +02:00
bors
5e7fd2b44d Auto merge of #1238 - RalfJung:mir-opt-test, r=oli-obk 
move repeated run of test suite (without and with MIR optimizations) out of compiletest

Just like we already pass the target architecture to our compiletest wrapper via `MIRI_TEST_TARGET` (and then have CI run compiletest with different values for that env var), we now do the same for running the tests with and without MIR optimizations.

This has the advantage of speeding up local `./miri test`, where in the vast majority of cases running tests both with and without optimizations is just a waste of time.
 2020-03-18 10:36:41 +00:00
Ralf Jung
a32e25677f move repeated run of test suite (without and with MIR optimizations) out of compiletest 2020-03-18 11:19:01 +01:00
bors
ff2e799e36 Auto merge of #1237 - RalfJung:rustup, r=RalfJung 
rustup; remove no longer existing intrinsics
 2020-03-17 20:12:14 +00:00
Ralf Jung
b82cf36117 rustup; remove no longer existing intrinsics 2020-03-17 21:11:19 +01:00
bors
12b7cf877b Auto merge of #1235 - RalfJung:check-arith, r=RalfJung 
avoid using unchecked casts or arithmetic
 2020-03-17 14:22:44 +00:00
Ralf Jung
8b6af3eacb avoid using unchecked casts or arithmetic 2020-03-17 15:21:43 +01:00
bors
9082cc406a Auto merge of #1233 - RalfJung:rustup, r=RalfJung 
rustup

Cc https://github.com/rust-lang/rust/issues/70055
 2020-03-16 20:33:49 +00:00
Ralf Jung
8a26a288c2 rustup 2020-03-16 21:32:57 +01:00
bors
3cf495d762 Auto merge of #1232 - RalfJung:rustup, r=RalfJung 
rustup
 2020-03-16 09:00:44 +00:00
Ralf Jung
bddf9e050b rustup 2020-03-16 09:59:01 +01:00
bors
acdddc78bc Auto merge of #1231 - JOE1994:patch-1, r=RalfJung 
Minor typo fix

**"initialziation"** => **"initialization"**
 2020-03-15 22:12:36 +00:00
Youngsuk Kim
a664156440
Minor typo fix 
"initializiation" => "initialization"
 2020-03-15 18:06:21 -04:00