Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rollup of 6 pull requests #125663

Closed
wants to merge 21 commits into from
Closed
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
ead02ba
NVPTX: Avoid PassMode::Direct for args in C abi
May 10, 2024
f63931b
Cleanup custom mingw in CI
ChrisDenton May 26, 2024
19cfe8d
Add "Setup Python" action to github-hosted runners
ChrisDenton May 26, 2024
ede62b8
Add an intrinsic for `ptr::metadata`
scottmcm Apr 21, 2024
ce8f37b
Add custom mir support for `PtrMetadata`
scottmcm May 25, 2024
0f9e4d6
Add Miri tests for `PtrMetadata` UB
scottmcm May 26, 2024
f931290
Update description of install-mingw
ChrisDenton May 27, 2024
713ddc2
Add Miri smoke pass test for ptr_metadata intrinsic
scottmcm May 27, 2024
bcfa67d
Remove out-of-date comment.
nnethercote May 22, 2024
5673337
Add `assert_not_contains` to `run-make-support` library
GuillaumeGomez May 27, 2024
404d47e
Migrate `run-make/allow-warnings-cmdline-stability` to `rmake.rs`
GuillaumeGomez May 26, 2024
4702a1c
Fix comments.
nnethercote May 28, 2024
f1b0ca0
Don't format `tests/run-make/*/rmake.rs`.
nnethercote May 28, 2024
50a5da1
EvalCtxt::tcx() -> EvalCtxt::interner()
compiler-errors May 19, 2024
f494036
Make ProofTreeBuilder actually generic over interner
compiler-errors May 19, 2024
2c5a26b
Rollup merge of #117671 - kjetilkjeka:nvptx_c_abi_avoid_direct, r=dav…
matthiaskrgr May 28, 2024
f96ce48
Rollup merge of #124251 - scottmcm:unop-ptr-metadata, r=oli-obk
matthiaskrgr May 28, 2024
df3b962
Rollup merge of #125573 - GuillaumeGomez:migrate-allow-warnings-cmdli…
matthiaskrgr May 28, 2024
1c51557
Rollup merge of #125590 - ChrisDenton:mingw-ci-3, r=Kobzol
matthiaskrgr May 28, 2024
87cd582
Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnr
matthiaskrgr May 28, 2024
2c7d9ce
Rollup merge of #125637 - nnethercote:rustfmt-fixes, r=GuillaumeGomez
matthiaskrgr May 28, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Don't format tests/run-make/*/rmake.rs.
It's reasonable to want to, but in the current implementation this
causes multiple problems.

- All the `rmake.rs` files are formatted every time even when they
  haven't changed. This is because they get whitelisted unconditionally
  in the `OverrideBuilder`, before the changed files get added.

- The way `OverrideBuilder` works, if any files gets whitelisted then no
  unmentioned files will get traversed. This is surprising, and means
  that the `rmake.rs` entries broke the use of explicit paths to `x
  fmt`, and also broke `GITHUB_ACTIONS=true git check --fmt`.

The commit removes the `rmake.rs` entries, fixes the formatting of a
couple of files that were misformatted (not previously caught due to the
`GITHUB_ACTIONS` breakage), and bans `!`-prefixed entries in
`rustfmt.toml` because they cause all these problems.
  • Loading branch information
nnethercote committed May 28, 2024
commit f1b0ca08a42e9cbfcd91e25174be2e36cdaf2651
6 changes: 2 additions & 4 deletions compiler/rustc_mir_transform/src/instsimplify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -219,10 +219,8 @@ impl<'tcx> InstSimplifyContext<'tcx, '_> {
for (i, field) in variant.fields.iter_enumerated() {
let field_ty = field.ty(self.tcx, args);
if field_ty == *cast_ty {
let place = place.project_deeper(
&[ProjectionElem::Field(i, *cast_ty)],
self.tcx,
);
let place = place
.project_deeper(&[ProjectionElem::Field(i, *cast_ty)], self.tcx);
let operand = if operand.is_move() {
Operand::Move(place)
} else {
Expand Down
2 changes: 1 addition & 1 deletion compiler/rustc_mir_transform/src/validate.rs
Original file line number Diff line number Diff line change
Expand Up @@ -691,7 +691,7 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
location,
format!(
"You can't project to field {f:?} of `DynMetadata` because \
layout is weird and thinks it doesn't have fields."
layout is weird and thinks it doesn't have fields."
),
);
}
Expand Down
8 changes: 2 additions & 6 deletions library/core/src/ptr/metadata.rs
Original file line number Diff line number Diff line change
Expand Up @@ -209,18 +209,14 @@ impl<Dyn: ?Sized> DynMetadata<Dyn> {
// Consider a reference like `&(i32, dyn Send)`: the vtable will only store the size of the
// `Send` part!
// SAFETY: DynMetadata always contains a valid vtable pointer
return unsafe {
crate::intrinsics::vtable_size(self.vtable_ptr() as *const ())
};
return unsafe { crate::intrinsics::vtable_size(self.vtable_ptr() as *const ()) };
}

/// Returns the alignment of the type associated with this vtable.
#[inline]
pub fn align_of(self) -> usize {
// SAFETY: DynMetadata always contains a valid vtable pointer
return unsafe {
crate::intrinsics::vtable_align(self.vtable_ptr() as *const ())
};
return unsafe { crate::intrinsics::vtable_align(self.vtable_ptr() as *const ()) };
}

/// Returns the size and alignment together as a `Layout`
Expand Down
10 changes: 2 additions & 8 deletions rustfmt.toml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ version = "Two"
use_small_heuristics = "Max"
merge_derives = false

# Files to ignore. Each entry uses gitignore syntax.
# Files to ignore. Each entry uses gitignore syntax, but `!` prefixes aren't allowed.
ignore = [
"/build/",
"/*-build/",
Expand All @@ -12,13 +12,7 @@ ignore = [

# Tests for now are not formatted, as they are sometimes pretty-printing constrained
# (and generally rustfmt can move around comments in UI-testing incompatible ways).
"/tests/*",

# But we still want to format rmake.rs files in tests/run-make/ so we need to do this
# dance to avoid the parent directory from being excluded.
"!/tests/run-make/",
"/tests/run-make/*/*.rs",
"!/tests/run-make/*/rmake.rs",
"/tests/",

# Do not format submodules.
# FIXME: sync submodule list with tidy/bootstrap/etc
Expand Down
11 changes: 9 additions & 2 deletions src/bootstrap/src/core/build_steps/format.rs
Original file line number Diff line number Diff line change
Expand Up @@ -115,8 +115,15 @@ pub fn format(build: &Builder<'_>, check: bool, paths: &[PathBuf]) {
let rustfmt_config: RustfmtConfig = t!(toml::from_str(&rustfmt_config));
let mut fmt_override = ignore::overrides::OverrideBuilder::new(&build.src);
for ignore in rustfmt_config.ignore {
if let Some(ignore) = ignore.strip_prefix('!') {
fmt_override.add(ignore).expect(ignore);
if ignore.starts_with('!') {
// A `!`-prefixed entry could be added as a whitelisted entry in `fmt_override`, i.e.
// strip the `!` prefix. But as soon as whitelisted entries are added, an
// `OverrideBuilder` will only traverse those whitelisted entries, and won't traverse
// any files that aren't explicitly mentioned. No bueno! Maybe there's a way to combine
// explicit whitelisted entries and traversal of unmentioned files, but for now just
// forbid such entries.
eprintln!("`!`-prefixed entries are not supported in rustfmt.toml, sorry");
crate::exit!(1);
} else {
fmt_override.add(&format!("!{ignore}")).expect(&ignore);
}
Expand Down
Loading