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

4077 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Ralf Jung
8394456247 properly panic in panic_if_uninhabited and align_offset shims 2020-03-08 20:00:40 +01:00
bors
96d080a542 Auto merge of #1217 - christianpoveda:environ-shim, r=RalfJung 
move environ place to EnvVars

r? @RalfJung
 2020-03-08 17:02:28 +00:00
Christian Poveda
5dc60d974b
move environ place to EnvVars 2020-03-08 11:58:20 -05:00
bors
b4032a86ea Auto merge of #1216 - RalfJung:env, r=RalfJung 
move environ init to update_environ

@christianpoveda I thought of a way to simplify initialization a bit. :)
 2020-03-08 16:34:40 +00:00
Ralf Jung
87dbf10e84 move environ init to update_environ 2020-03-08 17:21:02 +01:00
bors
e9a25459e5 Auto merge of #1215 - RalfJung:readme, r=RalfJung 
readme: mention the leaks we found
 2020-03-08 16:16:02 +00:00
bors
689600fa4a Auto merge of #1214 - RalfJung:depup, r=RalfJung 
bump dependencies

"quote 1.0.2" which we used got yanked, so update all the things.
 2020-03-08 15:57:33 +00:00
Ralf Jung
69260115ac readme: mention the leaks we found 2020-03-08 16:50:19 +01:00
bors
574d81ce79 Auto merge of #1208 - christianpoveda:environ-shim, r=RalfJung 
Environ shim

Remake of https://github.com/rust-lang/miri/pull/1147. There are three main problems with this:

1. For some reason `update_environ` is not updating `environ` when `setenv` or `unsetenv` are called. Even then it works during initialization.
2. I am not deallocating the old array with the variables in `update_environ`.
3. I had to store the `environ` place into `MemoryExtra` as a field to update it. I was thinking about changing `extern_statics` to store places instead of `AllocID`s to avoid this.

@RalfJung
 2020-03-08 15:39:43 +00:00
Ralf Jung
5c4cc2e3e0 bump dependencies 2020-03-08 16:29:57 +01:00
Christian Poveda
8392a0c589
only expose environ on linux 2020-03-08 10:16:31 -05:00
Bastian Kauschke
6fd3c9174c rm custom intrinsics::discriminant_value 2020-03-08 14:31:57 +01:00
Christian Poveda
18a71ef7b3
minor corrections 2020-03-07 11:35:00 -05:00
Christian Poveda
e31b8b3342
add _NSGetEnviron foreign function for macos 2020-03-07 10:06:20 -05:00
Christian Poveda
6eccc809f2
test that environ gets deallocated on changes 2020-03-07 09:39:55 -05:00
Christian Poveda
aedc34c6e5
deallocate old environ 2020-03-06 18:11:05 -05:00
bors
e6a0c60a0f Auto merge of #1212 - RalfJung:tests, r=RalfJung 
expand clock and fs tests a bit
 2020-03-06 13:33:47 +00:00
Ralf Jung
fefa8e5344 expand clock and fs tests a bit 2020-03-06 14:32:46 +01:00
Ralf Jung
7882dfb3f5
fix env update, and expand test 2020-03-06 08:21:53 -05:00
Christian Poveda
a28330febb
add testcase for environ shim 2020-03-06 08:21:53 -05:00
Christian Poveda
4f5fdc5810
update the environ shim when environment changes 2020-03-06 08:21:52 -05:00
Christian Poveda
d13fe01f82
add working shim for environ 2020-03-06 08:19:56 -05:00
bors
c72af45b1c Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk 
Add option to print when an AllocId gets created

r? @oli-obk
 2020-03-06 11:13:57 +00:00
bors
af451e2b65 Auto merge of #1211 - RalfJung:readme, r=RalfJung 
README: add another bug Miri found
 2020-03-06 09:46:48 +00:00
Ralf Jung
6670f43917 README: add another bug Miri found 2020-03-06 10:46:12 +01:00
Ralf Jung
ade4c4e733 make the new option actually do something 2020-03-06 09:11:41 +01:00
Ralf Jung
d82d701360 add option to track a particular AllocId (does nothing yet) 2020-03-06 09:06:23 +01:00
bors
63925169c1 Auto merge of #1206 - RalfJung:int_asooc, r=RalfJung 
finally stop using min/max_value and the integer modules

https://github.com/rust-lang/rust/pull/68952 landed, so we can finally do this :)
 2020-03-04 12:03:00 +00:00
Ralf Jung
148269dd4b finally stop using min/max_value and the integer modules 2020-03-04 13:01:06 +01:00
bors
974c8be95e Auto merge of #1205 - RalfJung:serde, r=RalfJung 
downgrade serde_json to match rustc workspace

@bors r+
 2020-03-04 09:41:01 +00:00
Ralf Jung
5c4dc072bd downgrade serde_json to match rustc workspace 2020-03-04 10:29:00 +01:00
bors
e05639a225 Auto merge of #1204 - RalfJung:rustup, r=RalfJung 
bump Rust
 2020-03-04 09:20:03 +00:00