about summary refs log tree commit diff
path: root/src/tools
AgeCommit message (Collapse)AuthorLines
2022-11-27clippyRalf Jung-19/+15
2022-11-27advice on josh pushingRalf Jung-0/+7
2022-11-27Merge from rustcRalf Jung-19547/+10617
2022-11-27Preparing for merge from rustcRalf Jung-1/+1
2022-11-27Auto merge of #2694 - RalfJung:retag-deref-check, r=saethlinbors-157/+339
fix handling of spurious accesses during retag The `dereferenceable` attribute we emit for LLVM is checked during retag in Stacked Borrows. However, we currently don't properly do that for retagging of `&mut !Unpin`, which this PR fixes. Also this adjusts retagging to inform the data race model of the accesses as well. Fixes https://github.com/rust-lang/miri/issues/2648. Also fixes https://github.com/rust-lang/miri/issues/2693 since the same issue arose for retagging as well. r? `@saethlin`
2022-11-27Auto merge of #104983 - matthiaskrgr:rollup-018sk73, r=matthiaskrgrbors-3/+33
Rollup of 8 pull requests Successful merges: - #95836 (Use `rust_out{exe_suffix}` for doctests) - #104882 (notify lcnr on changes to `ObligationCtxt`) - #104892 (Explain how to get the discriminant out of a `#[repr(T)] enum` with payload) - #104917 (Allow non-org members to label `requires-debug-assertions`) - #104931 (Pretty-print generators with their `generator_kind`) - #104934 (Remove redundant `all` in cfg) - #104944 (Support unit tests for jsondoclint) - #104946 (rustdoc: improve popover focus handling JS) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-11-27Rollup merge of #104944 - aDotInTheVoid:jsondoclint-unit-tests, r=jyn514Matthias Krüger-3/+33
Support unit tests for jsondoclint r? ````@ghost````
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-46/+33
Separate lifetime ident from lifetime resolution in HIR Drive-by: change how suggested generic args are computed. Fixes https://github.com/rust-lang/rust/issues/103815 I recommend reviewing commit-by-commit.
2022-11-27Auto merge of #2685 - Nilstrieb:cargo-miri-wasm, r=RalfJungbors-1/+3
Use `.wasm` extension when building for wasm in cargo-miri WASM uses the `.wasm` file extension for its binaries (just like how windows uses `.exe`), so we need to set that as well. I'm not sure whether gating this behind the wasm target is a good idea, maybe it makes more sense to always do it just like on windows.
2022-11-27Auto merge of #2701 - RalfJung:smoke, r=RalfJungbors-1/+1
run_tests_minimal: actually run the smoke test on the desired target
2022-11-27run_tests_minimal: actually run the smoke test on the desired targetRalf Jung-1/+1
2022-11-27CI: fix begingroup printingRalf Jung-1/+1
2022-11-27Use `.wasm` extension when building for wasm in cargo-mirinils-1/+3
WASM uses the `.wasm` file extension for its binaries (just like how windows uses `.exe`), so we need to set that as well.
2022-11-27replace 'locally built rustc' instructions by 'Miri in rustc'Ralf Jung-47/+14
2022-11-27Update cargoWeihang Lo-0/+2
5 commits in ba607b23db8398723d659249d9abf5536bc322e5..e027c4b5d25af2119b1956fac42863b9b3242744 2022-11-22 20:52:39 +0000 to 2022-11-25 19:44:46 +0000 - fix: Move off atty to resolve soundness issue (rust-lang/cargo#11420) - add newline char to `cargo install .` error message for easier reading. (rust-lang/cargo#11401) - chore: Upgrade to env_logger (rust-lang/cargo#11417) - Change rustdoc-scrape-examples to be a target-level configuration (rust-lang/cargo#10343) - temporarily disable test `lto::test_profile` (rust-lang/cargo#11419)
2022-11-27nitsRalf Jung-2/+2
2022-11-27make Stacked Borrows retags act like data racesRalf Jung-45/+164
2022-11-27slightly adjust and synchronize Machine passing for SB and DataRaceRalf Jung-55/+24
2022-11-27!Unpin retags must still be reads, to check dereferenceableRalf Jung-57/+151
also fix ICE on deallocation error and avoid redundant find_granting on retag
2022-11-26Auto merge of #104950 - jyn514:revert-preview, r=Mark-Simulacrumbors-3/+3
Revert "Don't set `is_preview` for clippy and rustfmt" This reverts commit fb3e724d7602675f147a9b80e70fb6bd6512738c, which broke `rustup update` for anyone with clippy or rustfmt installed. Fixes https://github.com/rust-lang/rust/issues/104930. r? `@Mark-Simulacrum` `@bors` p=50 fixes nightly
2022-11-26Revert "Don't set `is_preview` for clippy and rustfmt"Joshua Nelson-3/+3
This reverts commit fb3e724d7602675f147a9b80e70fb6bd6512738c, which broke `rustup update` for anyone with clippy or rustfmt installed.
2022-11-26Rewrite LLVM's archive writer in Rustbjorn3-12/+13
This allows it to be used by other codegen backends
2022-11-26Rollup merge of #104943 - aDotInTheVoid:jsondoclint-use-enum, r=GuillaumeGomezGuillaume Gomez-3/+28
jsondoclint: Handle using enum variants and glob using enums. More work on jsondoclint for `core.json` Closes #104942 r? `@GuillaumeGomez` `@rustbot` modify labels: +A-testsuite
2022-11-26Add a test that makes senseNixon Enraght-Moony-5/+28
2022-11-26Support unit tests for jsondoclintNixon Enraght-Moony-0/+7
2022-11-26Auto merge of #2696 - RalfJung:no-std-windows, r=RalfJungbors-43/+71
make no_std work on Windows Also fixes https://github.com/rust-lang/miri/issues/1123 by cherry-picking a patch by `@DrMeepster.`
2022-11-26support no_std on WindowsRalf Jung-5/+5
2022-11-26refactor try_resolve_did and also support resolving crates/modulesRalf Jung-26/+54
2022-11-26jsondoclint: Handle using enum variants and glob using enums.Nixon Enraght-Moony-3/+28
Closes #104942
2022-11-26add namespace to resolve_pathDrMeepster-29/+29
2022-11-26prettify our CI logsRalf Jung-7/+22
2022-11-26Auto merge of #2690 - ↵bors-0/+60
Nilstrieb:cargo-miri-smoke-test-ci-so-that-cargo-miri-actually-works-kinda, r=RalfJung Test a small cargo-miri smoke test even in `run_tests_minimal` This makes sure that cargo-miri works on all targets. Implements the first step of https://github.com/rust-lang/miri/pull/2685#issuecomment-1325155967 to get that PR tested.
2022-11-26update lockfileRalf Jung-4/+0
2022-11-26Auto merge of #2647 - saethlin:current-span, r=RalfJungbors-161/+153
Track local frames incrementally during execution https://github.com/rust-lang/miri/pull/2646 currently introduces a performance regression. This change removes that regression, and provides a minor perf improvement. The existing lazy strategy for tracking the span we want to display is as efficient as it is only because we often create a `CurrentSpan` then never call `.get()`. Most of the calls to the `before_memory_read` and `before_memory_write` hooks do not create any event that we store in `AllocHistory`. But data races are totally different, any memory read or write may race, so every call to those hooks needs to access to the current local span. So this changes to a strategy where we update some state in a `Thread` and `FrameExtra` incrementally, upon entering and existing each function call. Before: ``` Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/backtraces/Cargo.toml Time (mean ± σ): 5.532 s ± 0.022 s [User: 5.444 s, System: 0.073 s] Range (min … max): 5.516 s … 5.569 s 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/mse/Cargo.toml Time (mean ± σ): 831.4 ms ± 3.0 ms [User: 783.8 ms, System: 46.7 ms] Range (min … max): 828.7 ms … 836.1 ms 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/serde1/Cargo.toml Time (mean ± σ): 1.975 s ± 0.021 s [User: 1.914 s, System: 0.059 s] Range (min … max): 1.939 s … 1.990 s 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/serde2/Cargo.toml Time (mean ± σ): 4.060 s ± 0.051 s [User: 3.983 s, System: 0.071 s] Range (min … max): 3.972 s … 4.100 s 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/slice-get-unchecked/Cargo.toml Time (mean ± σ): 784.9 ms ± 8.2 ms [User: 746.5 ms, System: 37.7 ms] Range (min … max): 772.9 ms … 793.3 ms 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/unicode/Cargo.toml Time (mean ± σ): 1.679 s ± 0.006 s [User: 1.623 s, System: 0.055 s] Range (min … max): 1.673 s … 1.687 s 5 runs ``` After: ``` Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/backtraces/Cargo.toml Time (mean ± σ): 5.330 s ± 0.037 s [User: 5.232 s, System: 0.084 s] Range (min … max): 5.280 s … 5.383 s 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/mse/Cargo.toml Time (mean ± σ): 818.9 ms ± 3.7 ms [User: 776.8 ms, System: 41.3 ms] Range (min … max): 813.5 ms … 822.5 ms 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/serde1/Cargo.toml Time (mean ± σ): 1.927 s ± 0.011 s [User: 1.864 s, System: 0.061 s] Range (min … max): 1.917 s … 1.945 s 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/serde2/Cargo.toml Time (mean ± σ): 3.974 s ± 0.020 s [User: 3.893 s, System: 0.076 s] Range (min … max): 3.956 s … 4.004 s 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/slice-get-unchecked/Cargo.toml Time (mean ± σ): 780.0 ms ± 5.3 ms [User: 740.3 ms, System: 39.0 ms] Range (min … max): 771.2 ms … 784.5 ms 5 runs Benchmark 1: cargo +miri miri run --manifest-path /home/ben/miri/bench-cargo-miri/unicode/Cargo.toml Time (mean ± σ): 1.643 s ± 0.007 s [User: 1.584 s, System: 0.058 s] Range (min … max): 1.635 s … 1.654 s 5 runs ``` (This change is marginal, but the point is that it avoids a much more significant regression)
2022-11-26caller_span only makes sense when there are 2 frames on the stackRalf Jung-4/+4
2022-11-26interpret: remove PartialOrd from a bunch of types that do not have or need ↵Ralf Jung-1/+1
a sensible order
2022-11-26jsondoclint: Accept trait alias is places where trait expected.Nixon Enraght-Moony-5/+5
Closes #104923
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-7/+10
Rollup of 8 pull requests Successful merges: - #104716 (move 2 candidates into builtin candidate) - #104760 (Clarify `SyntaxExtensionKind::LegacyDerive`.) - #104797 (rustc_codegen_ssa: write `.dwp` in a streaming fashion) - #104835 (Use infcx.partially_normalize_associated_types_in) - #104853 (Fix typo in miri sysroot) - #104879 (jsondoclint: Recognise Typedef as valid kind for Type::ResolvedPath) - #104887 (rustbuild: Don't build doc::SharedAssets when building JSON docs.) - #104896 (rustdoc: fix broken tooltip CSS) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-11-25Use None when the stack is emptyBen Kimock-10/+11
2022-11-25Rollup merge of #104879 - aDotInTheVoid:jsondoclint-typedef, r=GuillaumeGomezMatthias Krüger-7/+10
jsondoclint: Recognise Typedef as valid kind for Type::ResolvedPath Closes #104851 r? ``@GuillaumeGomez`` ``@rustbot`` modify labels: +A-testsuite
2022-11-25Test a small cargo-miri smoke test even in `run_tests_minimal`Nilstrieb-0/+64
This makes sure that cargo-miri works on all targets.
2022-11-25Auto merge of #104846 - ↵bors-35/+34
spastorino:santa-clauses-make-goals-early-christmas-🎄, r=oli-obk Branch Clause from Predicate r? `@oli-obk` This is part of what's proposed in https://github.com/rust-lang/compiler-team/issues/531
2022-11-25jsondoclint: Recognise Typedef as valid kind for Type::ResolvedPathNixon Enraght-Moony-7/+10
Closes #104851
2022-11-25Rollup merge of #104873 - RalfJung:therefore, r=Dylan-DPCMatthias Krüger-2/+2
RefCell::get_mut: fix typo and fix the same typo in a bunch of other places
2022-11-25Rollup merge of #103648 - jyn514:no-preview, r=Mark-SimulacrumMatthias Krüger-3/+3
Don't set `is_preview` for clippy and rustfmt These have been shipped on stable for many years now and it would be very disruptive to ever remove them. Remove the `-preview` suffix from their dist components. Based on https://github.com/rust-lang/rust/pull/102565.
2022-11-25replace a borrow_mut by get_mutRalf Jung-2/+2
2022-11-25RefCell::get_mut: fix typoRalf Jung-7/+7
and fix the same typo in a bunch of other places
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-33/+33
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-2/+1
2022-11-24Don't set `is_preview` for clippy and rustfmtJoshua Nelson-3/+3
These have been shipped on stable for many years now and it would be very disruptive to ever remove them. Remove the `-preview` suffix from their dist components.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 01:26:59 +0000