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
..
2020-03-04 13:01:06 +01:00
2020-02-12 22:04:58 +01:00
2020-03-04 13:01:06 +01:00
2019-09-29 11:43:50 -04:00
2019-08-20 16:11:03 +02:00
2019-07-13 10:25:04 +02:00
2019-12-15 12:23:43 +01:00
2020-01-25 13:48:26 -06:00
2019-07-24 08:57:05 +02:00
2020-01-06 11:38:35 +01:00
2020-03-06 14:32:46 +01:00
2019-11-07 09:14:23 +01:00
2020-02-21 11:05:56 +01:00
2019-11-25 15:08:47 +01:00
2019-10-11 04:17:43 -05:00
2019-11-07 08:56:11 +01:00
2019-11-07 08:56:11 +01:00
2019-11-07 08:56:11 +01:00
2019-11-07 08:56:11 +01:00
2019-11-07 08:56:11 +01:00
2019-11-07 08:56:11 +01:00
2019-11-07 09:17:40 +01:00
2019-09-20 08:53:35 +02:00
2019-08-28 17:57:41 -05:00
2019-08-23 23:30:23 +02:00
2020-03-06 08:21:53 -05:00
2020-03-06 08:21:53 -05:00
2019-11-25 15:08:47 +01:00
2019-11-13 17:41:09 +08:00
2020-03-06 14:32:46 +01:00
2020-03-03 15:02:06 +01:00
2019-12-31 12:10:52 +01:00
2020-03-04 10:19:35 +01:00
2020-03-04 13:01:06 +01:00
2019-07-23 23:25:06 +02:00
2019-06-16 11:10:33 +02:00
2019-11-21 17:33:30 -05:00
2019-07-26 10:14:44 +02:00
2020-03-04 13:01:06 +01:00
2020-01-19 10:03:18 -06:00
2020-01-19 10:03:18 -06:00
2019-06-30 15:31:14 +01:00
2019-11-14 10:16:44 +01:00
2019-12-02 15:42:33 +01:00
2019-11-08 12:43:26 +01:00
2020-01-28 20:39:06 -06:00
2019-08-23 23:30:23 +02:00
2019-08-04 16:44:32 -04:00
2019-12-15 12:23:43 +01:00
2019-12-23 17:45:23 +01:00
2019-07-23 21:53:47 +02:00
2019-12-07 13:44:48 +01:00
2019-07-06 09:33:22 +02:00
2019-07-10 14:36:56 +02:00
2020-02-24 16:22:02 +01:00
2020-03-04 13:01:06 +01:00
2020-03-04 13:01:06 +01:00
2020-03-04 13:01:06 +01:00
2019-11-05 20:17:35 +01:00
2019-07-10 14:36:56 +02:00
2019-08-18 11:34:09 +02:00
2019-08-18 11:34:09 +02:00
2020-01-19 10:03:18 -06:00
2019-06-30 16:45:41 +02:00
2020-01-28 22:55:07 +01:00
2020-02-24 16:22:02 +01:00
2020-03-04 13:01:06 +01:00
2019-10-22 10:13:11 +02:00
2020-01-19 10:03:18 -06:00
2019-06-23 20:19:26 +02:00