Commit Graph

4028 Commits

Author SHA1 Message Date
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
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