Commit Graph

5652 Commits

Author SHA1 Message Date
bors
18667a8565 Auto merge of #1895 - a1phyr:update_deps, r=RalfJung
Update dependencies
2021-10-01 21:36:47 +00:00
Benoît du Garreau
0424554080 Update dependencies 2021-10-01 23:08:58 +02:00
bors
adc26a3062 Auto merge of #1885 - DrMeepster:global_allocator, r=RalfJung
add support for `#[global_allocator]`

This PR adds support for custom global allocators. Unfortunately, the code given in #1207 still causes errors when used with box. I believe this is because Box is special-cased in miri and stacked borrows.
2021-09-30 01:37:38 +00:00
DrMeepster
e6a27a68fa implement #[global_allocator] 2021-09-28 20:32:53 -07:00
bors
7decf8c720 Auto merge of #1894 - RalfJung:miri, r=RalfJung
rustup
2021-09-27 20:00:54 +00:00
Ralf Jung
5f825ae895 rustup 2021-09-27 15:59:18 -04:00
bors
c1521439f4 Auto merge of #1893 - RalfJung:arg-pass, r=RalfJung
some more Windows argument passing tests
2021-09-24 14:47:24 +00:00
Ralf Jung
405de0217d some more Windows argument passing tests 2021-09-24 10:33:32 -04:00
bors
76057dc518 Auto merge of #1891 - ChrisDenton:win-args, r=RalfJung
Correct Windows argument handling

Previously the command line string would have been incorrectly constructed if argv[0] contained a doublequote (`"`) or ended in a trailing backslash (`\`). This is a very rare edge case because, by convention, argv[0] is the path to the application and Windows file names cannot contain doublequotes.

Fixes #1881
2021-09-22 20:10:48 +00:00
Chris Denton
cfd1316e60
Apply review changes 2021-09-22 20:46:20 +01:00
Chris Denton
f6cedbc744
Correct Windows argument handling
Previously the command line string would have been incorrectly constructed if argv[0] contained a doublequote (`"`) or ended in a trailing backslash (`\`). This is a very rare edge case because, by convention, argv[0] is the path to the application and Windows file names cannot contain doublequotes.

Fixes #1881
2021-09-18 18:41:55 +01:00
bors
6cf851f6d4 Auto merge of #1890 - Smittyvb:cargo-miri-short-alias, r=RalfJung
One character aliases for cargo-miri run/test

The main `cargo` command supports `cargo r` as an alias for `cargo run`, and `cargo t` as an alias for `cargo test`. This adds support to them in `cargo-miri` for consistency.
2021-09-14 18:17:44 +00:00
Smitty
4df931405a Don't use seperate alias test 2021-09-13 18:05:01 -04:00
Smitty
5aecd2811e One character aliases for cargo-miri run/test
The main `cargo` command supports `cargo r` as an alias for
`cargo run`, and `cargo t` as an alias for `cargo test`. This adds
support to them in cargo-miri for consistency.
2021-09-11 12:00:59 -04:00
bors
82901dcbb3 Auto merge of #1889 - hyd-dev:rustup, r=RalfJung
Add `#[allow(dead_code)]` in some tests

There are some new dead code warnings in the tests: https://github.com/rust-lang/miri/runs/3573853719?check_suite_focus=true#step:8:290
I guess this is related to https://github.com/rust-lang/rust/pull/85200, and add `#[allow(dead_code)]` to suppress them in this PR (I assume this is fine because https://github.com/rust-lang/rust/pull/85200 also suppresses warnings in rustc's tests).
2021-09-11 15:47:22 +00:00
hyd-dev
9a877b80fe
Add #[allow(dead_code)] in some tests 2021-09-11 18:58:57 +08:00
bors
0359331869 Auto merge of #1888 - hyd-dev:rustup, r=RalfJung
`rustc_mir` -> `rustc_const_eval`

This should fix the "[can't find crate for `rustc_mir`](https://github.com/rust-lang/rust/issues/88768)" build failure.
2021-09-09 18:38:56 +00:00
hyd-dev
9c62b6454e
rustc_mir -> rustc_const_eval 2021-09-09 17:36:39 +08:00
bors
1cc822e6af Auto merge of #1884 - DrMeepster:start, r=RalfJung
add support for `#[start]`

This PR adds support for the `#[start]` attribute and fixes #1825.

It also renames `eval_main` to `eval_entry` to reflect that it can evaluate any entry function.
2021-09-08 19:43:41 +00:00
bors
b97c34020e Auto merge of #1886 - camelid:stage2, r=RalfJung
Stage 2 seems to be required after all

Reverts most of bb59980b2d.

See the discussion starting at https://github.com/rust-lang/miri/issues/1340#issuecomment-913043714 for more.
2021-09-06 16:22:46 +00:00
bors
7a2f1cadcd Auto merge of #1887 - hyd-dev:rustup, r=RalfJung
`rustc_target::abi::LayoutOf` -> `rustc_middle::ty::layout::LayoutOf`

This should  <!---->fix<!----> rust-lang/rust#88671.
2021-09-06 16:06:33 +00:00
hyd-dev
3fedc7b249
rustc_target::abi::LayoutOf -> rustc_middle::ty::layout::LayoutOf 2021-09-06 23:05:48 +08:00
Noah Lev
78c031204d Stage 2 seems to be required after all
Reverts most of bb59980b2d.
2021-09-05 10:21:16 -07:00
DrMeepster
1ec28f78f3 remove commented out code 2021-09-02 15:45:52 -07:00
DrMeepster
84b058ac47 add support for #[start] 2021-09-02 15:41:10 -07:00
bors
4f1fca7512 Auto merge of #1883 - smoelius:master, r=RalfJung
Update compiletest_rs dependency

Hello. I am trying to [update some Clippy dependencies](https://github.com/rust-lang/rust/pull/88517) in the rust repo. To help keep the overall number of dependencies down, I was asked to submit a PR here to update `compiletest_rs` to from `0.6.0` to  `0.7.0`. I ran CI on my fork and the update didn't seem to cause any problems.
2021-09-01 18:13:26 +00:00
Samuel E. Moelius III
8d797fb154 Update compiletest_rs dependency 2021-09-01 08:53:51 -04:00
bors
9fc61cf486 Auto merge of #1879 - oli-obk:gitpod, r=RalfJung
Try out gitpod

At https://gitpod.io/#https://github.com/rust-lang/miri one can edit miri in the browser and run it and everything.

I'm experimenting with this here as a low-impact version of trying it out on the whole rustc repo. This .gitpod file should cause the user to land in a shell that can run ./miri test immediately without any additional prep
2021-08-30 15:33:59 +00:00
bors
09cadcbb62 Auto merge of #1882 - RalfJung:rustup, r=RalfJung
rustup
2021-08-30 14:37:11 +00:00
Ralf Jung
35b64447f3 rustup 2021-08-30 10:35:34 -04:00
bors
d4a76a9ef1 Auto merge of #1880 - hyd-dev:rustup, r=oli-obk
Move `#[allow(unreachable_code)]` in `tests/run-pass/generator.rs`

The warning now appears on `yield 2;` instead of `drop(x)`: https://github.com/rust-lang/miri/runs/3429959882?check_suite_focus=true#step:8:265

`yield 2;` seems indeed unreachable so I adjusted the `#[allow]`.
2021-08-26 08:32:20 +00:00
hyd-dev
7301fe118a
Move #[allow(unreachable_code)] in tests/run-pass/generator.rs 2021-08-26 16:16:43 +08:00
Oli Scherer
450e110b50 Try out gitpod 2021-08-24 15:03:36 +00:00
bors
08ca5606ab Auto merge of #1877 - hyd-dev:rustup, r=RalfJung
Add `#[allow(unreachable_code)]` to `drop(x)` in `tests/run-pass/generator.rs`

The test [starts to trigger this warning](https://github.com/rust-lang/miri/runs/3408355084?check_suite_focus=true#step:8:264) (I guess it's caused by rust-lang/rust#85556). The warning seems correct, but the unreachable code in that test also seems reasonable.
2021-08-24 12:39:59 +00:00
hyd-dev
33a67c6b33
Add #[allow(unreachable_code)] to drop(x) in tests/run-pass/generator.rs 2021-08-24 18:50:41 +08:00
bors
94ae910131 Auto merge of #1875 - niluxv:volatile_set_memory_intrinsic, r=RalfJung
Add support for the `volatile_set_memory` intrinsic

Add support for the unstable `volatile_set_memory` intrinsic

(Runtime behaviour and soundness requirements for `volatile_set_memory` are identical to those of `write_bytes`, so supporting this intrinsic is trivial.)
2021-08-23 10:55:48 +00:00
niluxv
083e5e604c Add test for volatile_set_memory 2021-08-23 12:42:13 +02:00
bors
7ec2bee723 Auto merge of #1874 - steffahn:a_an, r=RalfJung
Fix typos “a”→“an”

See rust-lang/rust#88230
2021-08-22 16:31:12 +00:00
Frank Steffahn
c79f6dd5a0 Fix a typo “an”→“a” 2021-08-22 18:07:01 +02:00
niluxv
32c2df87be Add support for the volatile_set_memory intrinsic
Runtime behaviour and soundness requirements are identical to `write_bytes`.
2021-08-22 17:48:31 +02:00
Frank Steffahn
a0d4372ff9 Fix typos “a”→“an” 2021-08-22 16:42:23 +02:00
bors
19691b2de8 Auto merge of #1872 - RalfJung:rustup, r=RalfJung
rustup
2021-08-16 15:35:14 +00:00
Ralf Jung
2c14bab76f llvm_asm → asm 2021-08-16 17:34:48 +02:00
Ralf Jung
9a6a5119fc rustup 2021-08-16 17:09:21 +02:00
bors
e8ac524a30 Auto merge of #1871 - hyd-dev:no-mangle-method, r=RalfJung
Update tests for `#[no_mangle]` on associated functions

https://github.com/rust-lang/rust/pull/86492 has landed:
- The code in https://github.com/rust-lang/miri/issues/1837 starts to work (even without `AssocFn::foo();` at line 12) in Miri.
- `pub` is not necessary for `#[no_mangle]` associated functions in `test-cargo-miri/exported-symbol-dep/src/lib.rs` anymore.

Closes https://github.com/rust-lang/miri/issues/1837.
2021-08-15 11:41:00 +00:00
hyd-dev
838ed1d754
Update tests for #[no_mangle] associated functions 2021-08-15 17:21:33 +08:00
bors
13fae3d074 Auto merge of #1870 - RalfJung:rustup, r=RalfJung
rustup

Cc https://github.com/rust-lang/rust/issues/88016
2021-08-14 12:49:46 +00:00
Ralf Jung
78b4c7bf79 rustup 2021-08-14 14:47:57 +02:00
bors
042cbf175b Auto merge of #1868 - hyd-dev:rustup, r=RalfJung
Fix tests for `C-unwind` ABI changes

cc https://github.com/rust-lang/rust/issues/87778
2021-08-07 13:16:22 +00:00
bors
d3157def75 Auto merge of #1865 - rust-lang:test-cargo-miri, r=RalfJung
improve test-cargo-miri output
2021-08-07 12:55:06 +00:00