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

4109 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
bors
4129c0e0fd Auto merge of #1230 - RalfJung:cargo, r=RalfJung 
Cargo.toml: group all dependencies together
 2020-03-15 14:17:08 +00:00
Ralf Jung
92e3032941 Cargo.toml: group all dependencies together 2020-03-15 15:15:22 +01:00
bors
a7891c05f7 Auto merge of #1227 - RalfJung:unwind, r=RalfJung 
adjust Miri to needs of changed unwinding strategy
 2020-03-15 10:18:40 +00:00
Ralf Jung
17a677f4a9 abort intrinsic is handled by librustc_mir now 2020-03-15 11:17:07 +01:00
Ralf Jung
956692d902 bump rust-version 2020-03-15 11:15:09 +01:00
Ralf Jung
1c4f27f1b2 adjust Miri to needs of changed unwinding strategy 2020-03-15 10:59:07 +01:00
bors
a7580f795c Auto merge of #1228 - RalfJung:typo, r=RalfJung 
fix typo and deduplicate comment
 2020-03-14 11:06:03 +00:00
Ralf Jung
a92b2274ce fix typo and deduplicate comment 2020-03-14 12:05:25 +01:00
bors
2a056a7a3b Auto merge of #1226 - RalfJung:rustup, r=RalfJung 
rustup, fix for intrinsic rename and transmute error change

@bors r+
 2020-03-14 08:28:43 +00:00
Ralf Jung
497fbcbf44 rustup, fix for intrinsic rename and transmute error change 2020-03-14 09:27:35 +01:00
bors
97c257530b Auto merge of #1224 - RalfJung:diverge, r=RalfJung 
refactor handling of diverging intrinsics/foreign functions

Also makes sure we don't accidentally call some normal intrinsics diverging -- which it turns out we did.
 2020-03-12 20:22:02 +00:00
Ralf Jung
13ae3147f0 refactor handling of diverging intrinsics/foreign functions 2020-03-12 21:20:16 +01:00
bors
5b3d2657cf Auto merge of #1223 - RalfJung:rustup, r=RalfJung 
rustup, test Abort terminator
 2020-03-12 19:49:27 +00:00
Ralf Jung
5531a79f4c rustup, test Abort terminator 2020-03-12 20:48:04 +01:00
bors
0f22d8a208 Auto merge of #1213 - lcnr:master, r=RalfJung 
rm custom `intrinsics::discriminant_value`

@RalfJung requires https://github.com/rust-lang/rust/pull/69825
 2020-03-12 16:50:12 +00:00
bors
4fc8542c4b Auto merge of #1221 - RalfJung:rustup, r=RalfJung 
Rustup
 2020-03-11 19:42:01 +00:00
Ralf Jung
76ee8ff458 use ctfe_backtracte variable for backtrace control 2020-03-11 20:39:18 +01:00
Ralf Jung
45d5a37787 rustup+fix 2020-03-11 20:39:18 +01:00
bors
704228d0bb Auto merge of #1220 - elichai:2020-03-bump, r=RalfJung 
Bump rust-version to latest

I hoped for some errors I could fix to learn more of the codebase but got none :/
IDK if it's still worth the PR hehe
(is there a TODO list or something like that I can look at when I'm in the mood of contributing to Miri? :) )
 2020-03-11 19:12:05 +00:00
Ralf Jung
548c90e102 share some code between panic intrinsics, and fix the message 2020-03-11 19:53:07 +01:00
Elichai Turkel
2802c3cf0b
Add tests for the new panic_if_any_invalid, panic_if_zero_invalid intrinsics 2020-03-11 16:02:49 +02:00
Elichai Turkel
e81ebffa59
Implement panic_if_any_invalid and panic_if_zero_invalid intrinsics 2020-03-11 16:00:08 +02:00
Elichai Turkel
881e65c01b
bump rust-version to latest 2020-03-11 15:39:18 +02:00
bors
676c4f8c8c Auto merge of #1210 - RalfJung:rustup-validity, r=RalfJung 
rustup: adjust error message

This is the Miri side of https://github.com/rust-lang/rust/pull/69762
 2020-03-09 16:04:10 +00:00
Ralf Jung
5040cb7f81 rustup 2020-03-09 17:03:45 +01:00
Ralf Jung
5ef48593fb adjust error 2020-03-09 17:03:39 +01:00
bors
f2ed1abe34 Auto merge of #1218 - RalfJung:panic, r=RalfJung 
properly panic in panic_if_uninhabited and align_offset shims
 2020-03-08 19:01:59 +00:00