Ralf Jung
8ecd767791
fix test failure from diagnostics change
2019-09-29 11:30:28 -04:00
bors
b625812092
Auto merge of #957 - christianpoveda:ptr-align-offset, r=RalfJung
...
Fixes for align_offset
This addresses @RalfJung's comments in https://github.com/rust-lang/miri/pull/945
2019-09-28 18:38:00 +00:00
bors
918a9afe10
Auto merge of #967 - RalfJung:rustup, r=RalfJung
...
cargo update for test-cargo-miri
2019-09-28 16:11:13 +00:00
Ralf Jung
49fa8bfd72
cargo update for test-cargo-miri
2019-09-28 12:10:38 -04:00
bors
ac3e725681
Auto merge of #966 - RalfJung:rustup, r=RalfJung
...
sync AppVeyor CI script with Travis
2019-09-28 15:36:53 +00:00
Ralf Jung
638d989629
sync AppVeyor CI script with Travis
2019-09-28 11:36:20 -04:00
bors
86e498c00c
Auto merge of #965 - RalfJung:rustup, r=RalfJung
...
rustup
2019-09-28 15:00:30 +00:00
Ralf Jung
63ea13ad0d
fix miri-rustc-tests
2019-09-28 11:00:05 -04:00
Ralf Jung
28e814ab53
rustup
2019-09-28 10:37:48 -04:00
bors
af1a19d907
Auto merge of #963 - rust-lang:rustup, r=RalfJung
...
Update to latest nightly
2019-09-28 04:57:33 +00:00
Ralf Jung
c424e06993
make sure we use the stable toolchain, no matter the cache
2019-09-28 00:56:57 -04:00
Ralf Jung
9f6287eb0c
show cargo version
2019-09-27 10:23:26 -04:00
Oliver Scherer
9fdb347ad7
Rustup to sty -> kind changes
2019-09-26 11:41:11 +02:00
Oliver Scherer
20b10cc6d3
Update to latest nightly
2019-09-26 09:42:03 +02:00
bors
402129c01e
Auto merge of #960 - christianpoveda:chdir-shim, r=oli-obk
...
Add `chdir` shim
r? @oli-obk
2019-09-24 22:39:55 +00:00
Christian Poveda
145a5826d5
Check that chdir fails for non-utf8 paths
2019-09-24 17:28:38 -05:00
Christian Poveda
0eed5e64de
Add chdir shim
2019-09-24 15:50:00 -05:00
bors
2e17933eed
Auto merge of #958 - christianpoveda:getcwd-shim, r=oli-obk
...
Add getcwd shim
2019-09-24 16:22:21 +00:00
Christian Poveda
02261e4be2
Fix comments
2019-09-24 09:29:16 -05:00
Christian Poveda
e2c54e64d1
Ignore integers
2019-09-22 21:39:17 -05:00
Christian Poveda
f736636038
Throw unsupported error when alignment is not a power of two
2019-09-22 20:56:48 -05:00
Christian Poveda
0f58289b3d
fetch ERANGE value from libc
2019-09-20 11:32:07 -05:00
Christian Poveda
c0a6b5ff69
Set errno when getcwd fails
2019-09-20 03:30:55 -05:00
Christian Poveda
49275d4269
Avoid writing more bytes than necessary
2019-09-20 02:13:48 -05:00
bors
0c77a1025b
Auto merge of #903 - RalfJung:discriminant, r=RalfJung
...
fix discriminant handling
The Miri side of https://github.com/rust-lang/rust/pull/63448
2019-09-20 06:56:18 +00:00
Ralf Jung
a86ca24526
bump Rust
2019-09-20 08:55:12 +02:00
Ralf Jung
0ab0e40e1b
add another test case
2019-09-20 08:53:35 +02:00
Ralf Jung
d53d7f77a0
err on all-but-B, not just on C
2019-09-20 08:53:35 +02:00
Ralf Jung
7e65c44714
test for niche enum discriminant computation that overflows
2019-09-20 08:53:35 +02:00
Christian Poveda
133c2b39db
Only use getcwd without isolation
2019-09-19 10:32:18 -05:00
Christian Poveda
6593563e46
Check that getcwd does not error
2019-09-18 20:01:09 -05:00
Christian Poveda
5cf90bc786
Add getcwd shim
2019-09-18 16:13:59 -05:00
bors
d83bcbd339
Auto merge of #956 - rust-lang:rustup-retag, r=RalfJung
...
rustup for retag rename
This is the Miri side of https://github.com/rust-lang/rust/pull/64503 . Do not force-push!
2019-09-18 09:22:58 +00:00
Ralf Jung
d610d9de90
bump Rust version
2019-09-18 11:22:28 +02:00
Ralf Jung
39e2a76817
Merge remote-tracking branch 'origin/master' into rustup-retag
2019-09-18 11:22:12 +02:00
Christian Poveda
4a0b7446cf
Move truncation from the main branch
2019-09-17 13:26:12 -05:00
Christian Poveda
497de53825
Update align_offset tests
2019-09-17 11:47:36 -05:00
Christian Poveda
881929f753
Add align_offset for integers
2019-09-17 11:47:01 -05:00
Ralf Jung
130f9488d3
rustup
2019-09-17 12:31:02 +02:00
bors
44ca0f6a35
Auto merge of #955 - RalfJung:rustup, r=RalfJung
...
remove libstd backtrace work-around
2019-09-16 20:26:13 +00:00
Ralf Jung
8cd215dc97
remove libstd backtrace work-around
2019-09-16 22:22:54 +02:00
bors
d0a10507e4
Auto merge of #945 - christianpoveda:ptr-align-offset, r=oli-obk
...
Use libcore's align_offset
Related issue: https://github.com/rust-lang/miri/issues/873
2019-09-16 15:52:22 +00:00
Christian Poveda
55863cb88e
Use force_ptr instead of assert_ptr
2019-09-16 10:16:06 -05:00
bors
d881387237
Auto merge of #954 - RalfJung:rustup, r=RalfJung
...
update for rustc changes
https://github.com/rust-lang/rust/pull/60584 changed some stuff around ICEs. What I am not sure about is whether we should call `install_ice_hook` or not. @jonas-schievink @oli-obk any advice?
2019-09-16 07:32:21 +00:00
Ralf Jung
9e2107cef5
install ICE hook
2019-09-16 09:31:56 +02:00
Ralf Jung
1ef1d581d3
update for rustc changes
2019-09-15 23:27:58 +02:00
bors
508fdb860b
Auto merge of #951 - spastorino:place-2-0, r=RalfJung
...
Place projection field is now Box<[PlaceElem<'tcx>]>
Closes https://github.com/rust-lang/rust/issues/64441
2019-09-15 11:24:06 +00:00
Santiago Pastorino
5ecb2d9356
Place projection field is now Box<[PlaceElem<'tcx>]>
2019-09-15 00:05:52 -03:00
bors
a34d694f68
Auto merge of #953 - RalfJung:contributing, r=oli-obk
...
add CONTRIBUTING guide
2019-09-14 12:43:39 +00:00
bors
9a146243d0
Auto merge of #949 - RalfJung:ask-to-run, r=RalfJung
...
factor ask-to-run-command into helper function
2019-09-14 11:44:01 +00:00
