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

3935 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
bors
a91f3794be Auto merge of #1127 - rust-lang:stacked_borrow_tracing, r=RalfJung 
Add a scheme for emitting errors without halting interpretation

cc #797
 2020-01-09 11:43:26 +00:00
Oliver Scherer
dbffbe5214 Document all the things 2020-01-09 12:42:56 +01:00
Oliver Scherer
bfc7a7effd Remove trailing newline 2020-01-09 12:38:58 +01:00
bors
85ab34826a Auto merge of #1144 - RalfJung:panic-location, r=RalfJung 
test that unwrap gets us the right panic location

Make sure this stuff works in Miri as well -- basically, an integration test for `track_caller` and the panic machinery (we already have more focused tests as well).
 2020-01-09 10:42:02 +00:00
Ralf Jung
833816dd35 Unwind panicking does not currently work on Windows 2020-01-09 11:41:08 +01:00
Ralf Jung
e9b4323048 also make sure the hook actually gets called 2020-01-09 11:24:41 +01:00
Ralf Jung
b1676a3e89 test that unwrap gets us the right panic location 2020-01-09 11:20:13 +01:00
Oliver Scherer
c69ebaaed2 Use names that actually represent what's going on 2020-01-08 13:43:23 +01:00
Oliver Scherer
90a8f2f6a3 Make the non-halting diagnostic scheme independent of InterpError 2020-01-08 13:02:55 +01:00
Oliver Scherer
c0a7fd5602 Remove debugging hint until we can actuall use note: 2020-01-08 12:50:15 +01:00
Oliver Scherer
aec175e0de Process delayed errors on every step 2020-01-08 12:49:46 +01:00
Oliver Scherer
bb58e42da2 Tell the user about stacked borrow debugging flags 2020-01-08 12:37:25 +01:00
Oliver Scherer
96d6efdf32 Emit errors without halting interpretation 2020-01-08 12:37:25 +01:00
Oliver Scherer
4411903cca Add a scheme for registering and obtaining errors even without access to an InterpCx 2020-01-08 12:37:25 +01:00
Oliver Scherer
4de031b3da Move error reporting to its own module 2020-01-08 12:37:25 +01:00
Oliver Scherer
2673ba99fd Trailing return 2020-01-08 12:37:25 +01:00
Oliver Scherer
b9f6b9721a Split error reporting from main eval function 2020-01-08 12:37:25 +01:00
bors
71a7b9bd26 Auto merge of #1140 - RalfJung:no-macos, r=oli-obk 
no longer test 32bit macOS

According to https://blog.rust-lang.org/2020/01/03/reducing-support-for-32-bit-apple-targets.html, these are tier 3 targets now, and might not be available on nightly much longer. So let's stop testing them.
 2020-01-07 20:19:51 +00:00
Christian Poveda
91cf68fac5
Add lstat shim for macos 2020-01-07 12:26:23 -05:00
Christian Poveda
329310fbd6
Clean paths for robustness 2020-01-07 11:09:07 -05:00
bors
4e44aa010c Auto merge of #1142 - JohnTitor:rustup-0107, r=RalfJung 
Rustup

r? @RalfJung
 2020-01-07 07:52:04 +00:00
Christian Poveda
4a1dbc77dc
Add shim for symbolic link creation 2020-01-06 16:30:17 -05:00
Yuki Okushi
86ee705cd5 Rustup 2020-01-07 05:13:18 +09:00
bors
c50757a420 Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung 
remove no-longer-needed allow(const_err)
 2020-01-06 10:39:24 +00:00
Ralf Jung
0217a25a12 remove no-longer-needed allow(const_err) 2020-01-06 11:38:35 +01:00
Ralf Jung
6a614708ca fix testing if a variable exists 2020-01-06 11:02:25 +01:00
Ralf Jung
e979589357 no longer test 32bit macOS 2020-01-06 10:43:41 +01:00
bors
50a5e2053d Auto merge of #1137 - anp:track-caller-update, r=RalfJung 
Update panic machinery to match #[track_caller] changes.

This gets miri's tests passing again with https://github.com/rust-lang/rust/pull/67137, I don't think it will pass CI until that has merged.
 2020-01-06 09:11:56 +00:00
Yuki Okushi
3607dafd9b More rustup 2020-01-05 21:24:28 -08:00
Yuki Okushi
ebacb8ae4e Rustup 2020-01-05 15:55:15 -08:00
Adam Perry
0a3f460d69 Update panic machinery to match #[track_caller] changes. 
This gets miri's tests passing again with https://github.com/rust-lang/rust/pull/67137.
 2020-01-04 16:28:32 -08:00
bors
f3c267d07c Auto merge of #1139 - RalfJung:fixme, r=RalfJung 
note a FIXME

Cc @wesleywiser
 2020-01-02 14:58:15 +00:00
Ralf Jung
c68996dda7 note a FIXME 2020-01-02 15:57:33 +01:00
bors
4da2b2149c Auto merge of #1138 - wesleywiser:fix_miri_after_cast_truncation_checking, r=oli-obk 
Bump rustc version to fix miri

Fixes rust-lang/rust#67793
 2020-01-02 10:53:10 +00:00
Wesley Wiser
959033cbfb Bump rustc version to fix miri 2020-01-01 21:33:51 -05:00
bors
67ef0b131e Auto merge of #1135 - Aaron1011:rustup-plain, r=RalfJung 
Rustup

This is mainly to see if CI can reproduce a strange issue I'm running
into locally
 2020-01-01 14:24:09 +00:00
Aaron Hill
84a43fcb6f
Rustup 
This is mainly to see if CI can reproduce a strange issue I'm running
into locally
 2020-01-01 03:25:44 -05:00
bors
86d7db4684 Auto merge of #1134 - RalfJung:macos-hashmap, r=RalfJung 
test macOS hashmap

With https://github.com/rust-lang/miri/pull/1130 landed, this should work now. Thanks @christianpoveda!

Fixes https://github.com/rust-lang/miri/issues/686
 2019-12-31 11:19:26 +00:00
Ralf Jung
31fbb5a9b2 fix imports 2019-12-31 12:10:52 +01:00
Ralf Jung
e1fceafcea with FS access, default HashMap should work on macOS 2019-12-31 12:06:42 +01:00
bors
39146c44bd Auto merge of #1130 - christianpoveda:ignore-close-read-only, r=RalfJung 
Ignore close errors in read-only files.

this fixes https://github.com/rust-lang/miri/issues/999

r? @RalfJung
 2019-12-31 11:00:08 +00:00
Christian Poveda
a40a99d849
avoid double negation 2019-12-30 17:26:17 -05:00
bors
9f79aa9bb4 Auto merge of #1131 - JOE1994:alloc_os_str_as_c_str, r=RalfJung 
Add helper 'alloc_os_str_as_c_str' and use it in env_var emulation

First part of the plan laid out in #707 (comment).

Re-submitting a pull-request for work from  #1098 (manual rebasing..)

r? @RalfJung
 2019-12-30 19:15:53 +00:00
Christian Poveda
ce4e1f9fe7
add comments 2019-12-29 22:51:48 -05:00
bors
3fe92f8737 Auto merge of #1133 - RalfJung:compile-fail-opt, r=RalfJung 
compile-fail tests work with optimizations now
 2019-12-29 11:39:31 +00:00
Ralf Jung
e952e37a39 compile-fail tests work with optimizations now 2019-12-29 12:38:40 +01:00
bors
16f5d20ab0 Auto merge of #1132 - christianpoveda:use_scalar_to_u16, r=RalfJung 
Use Scalar::to_u16

https://github.com/rust-lang/rust/pull/67604#issuecomment-569413675 r? @RalfJung
 2019-12-28 14:14:43 +00:00
Christian Poveda
c60ab94d20
bump rustc version 2019-12-28 09:09:42 -05:00
Christian Poveda
b7e6135d7b
Use Scalar::to_u16 2019-12-28 08:38:31 -05:00
JOE1994
a4bd68a45f Add helper 'alloc_os_str_as_c_str' and use it in env_var emulation 2019-12-27 20:32:20 -05:00