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

5781 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
bors
76a3329f51 Auto merge of #1913 - RalfJung:rustdoc-miri, r=RalfJung 
run rustdoc with the miri cfg flag

This is important to be able to control which doctests run with `cargo miri test`. In particular, this is required for https://github.com/rust-lang/rust/pull/90909 to work as intended.
 2021-11-14 17:29:41 +00:00
Ralf Jung
a15539e911 run rustdoc with the miri cfg flag 2021-11-14 12:19:58 -05:00
Ralf Jung
d8bee92aee rename track-raw-pointers flag to tag-raw-pointers 2021-11-13 15:48:27 -05:00
bors
a8b976eb35 Auto merge of #1904 - camelid:uninit-num, r=RalfJung 
Add flag to check for uninitialized numbers

Closes #1340.

Companion rustc PR that implements this in the Miri engine: rust-lang/rust#88670

r? `@RalfJung`
 2021-11-10 19:50:47 +00:00
Noah Lev
6dd10820dd rustup 
So that we get rust-lang/rust#88670.
 2021-11-10 11:40:08 -08:00
Noah Lev
1cca2acf95 Add test for uninit raw ptrs 2021-11-10 11:36:42 -08:00
Noah Lev
b3be6b44b6 Add tests for -Zmiri-check-number-validity 2021-11-10 11:36:42 -08:00
Noah Lev
1659ef4206 Add docs for -Zmiri-check-number-validity 2021-11-10 11:36:42 -08:00
Noah Lev
e6a9b2ce68 Update Miri for detecting uninitialized numbers 
This commit adds a `-Zmiri-check-number-initialization` flag to check
that integers and floats are initialized.

This commit also changes some shims to write at type `MaybeUninit<...>`
in order to prevent spurious errors from the uninit check.
 2021-11-10 11:36:42 -08:00
bors
3f2c9ee17e Auto merge of #1905 - camelid:rustup, r=RalfJung 
rustup

r? `@RalfJung`
 2021-11-02 01:44:48 +00:00
Noah Lev
6d1d8c69a0 rustup 2021-11-01 16:12:38 -07:00
bors
9c18177cd3 Auto merge of #1902 - camelid:r-a, r=RalfJung 
Add instructions for using rust-analyzer for Miri development

r? `@RalfJung`
 2021-10-26 23:23:31 +00:00
Noah Lev
141bf38f23 Add instructions for using rust-analyzer for Miri development 2021-10-26 15:58:17 -07:00
bors
04e5c78c3f Auto merge of #1903 - bjorn3:rustup, r=oli-obk 
rustup

Rustup for https://github.com/rust-lang/rust/pull/85830
 2021-10-26 12:29:08 +00:00
bjorn3
9944a2daf3 rustup 2021-10-26 13:42:03 +02:00
bors
084c660c71 Auto merge of #1901 - RalfJung:rustup, r=RalfJung 
rustup; add swap_remove test

Adds a test for https://github.com/rust-lang/rust/issues/90055
 2021-10-21 13:50:07 +00:00
Ralf Jung
a6b12c229b rustup; add swap_remove test 2021-10-21 09:49:19 -04:00
bors
24a1d78a70 Auto merge of #1900 - RalfJung:rustup, r=RalfJung 
rustup

Just making sure the CI failure in https://github.com/rust-lang/miri/runs/3879412292?check_suite_focus=true is truly intermittent.
 2021-10-13 18:04:51 +00:00
Ralf Jung
4a44c33976 rustup 2021-10-13 14:04:14 -04:00
bors
315e2b2f8c Auto merge of #1898 - Kixunil:patch-1, r=RalfJung 
Document threading support a bit more

This adds a few known limitations around threading to the README and suggests the users to look into GitHub issues to learn more.

Addresses https://github.com/rust-lang/miri/issues/1388#issuecomment-939317828
 2021-10-12 17:58:26 +00:00
Martin Habovštiak
782085adcd
Remove vague statement from README 
Addresses https://github.com/rust-lang/miri/pull/1898#discussion_r727274293
 2021-10-12 18:46:23 +02:00
bors
a32bf4a6eb Auto merge of #1899 - RalfJung:rustup, r=RalfJung 
rustup
 2021-10-12 15:39:54 +00:00
Ralf Jung
f040413af8 rustup 2021-10-12 11:39:06 -04:00
Martin Habovštiak
31ed3a7120
Typo fixes 
Co-authored-by: Ralf Jung <post@ralfj.de>
 2021-10-12 11:09:43 +02:00
Martin Habovštiak
0309de73dc
Document threading support a bit more 
This adds a few known limitations around threading to the README and suggests the users to look into GitHub issues to learn more.
 2021-10-09 22:19:14 +02:00
bors
fa91a89193 Auto merge of #1897 - camelid:rustup, r=RalfJung 
rustup

cc rust-lang/rust#89612

r? `@RalfJung`
 2021-10-07 19:48:53 +00:00
Noah Lev
e751c7b04e rustup 2021-10-07 11:52:11 -07:00
bors
f3af24096e Auto merge of #1896 - camelid:rustup, r=RalfJung 
rustup

Update to the `HEAD` commit of rust-lang/rust and fix test failure.

r? `@RalfJung`
 2021-10-05 20:28:34 +00:00
Noah Lev
9af75a824f rustup 
Update to the `HEAD` commit of rust-lang/rust and fix test failure.
 2021-10-05 13:13:06 -07:00
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