270079 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Michael Goulet	ace9e4c078	Gate checking ~const bounds on const_trait_impl	2024-11-03 18:48:24 +00:00
bjorn3	9e6d2da83d	Reduce dependence on the target name ... The target name can be anything with custom target specs. Matching on fields inside the target spec is much more robust than matching on the target name.	2024-11-03 18:29:01 +00:00
bors	e3a918ece0	Auto merge of #132542 - RalfJung:const_panic, r=tgross35 ... add const_panic macro to make it easier to fall back to non-formatting panic in const Suggested by `@tgross35` r? `@tgross35`	2024-11-03 16:20:51 +00:00
Ralf Jung	19e287060d	remove const-support for align_offset ... Operations like is_aligned would return actively wrong results at compile-time, i.e. calling it on the same pointer at compiletime and runtime could yield different results. That's no good. Instead of having hacks to make align_offset kind-of work in const-eval, just use const_eval_select in the few places where it makes sense, which also ensures those places are all aware they need to make sure the fallback behavior is consistent.	2024-11-03 17:00:44 +01:00
frectonz	9d66cfaa08	Modify NonZero documentation to reference the underlying integer type ... This change updates the documentation for `NonZero` integer types to explicitly reference the underlying integer type each `NonZero` variant wraps, instead of using a general "integer" term.	2024-11-03 18:19:44 +03:00
bors	7028d9318f	Auto merge of #132555 - matthiaskrgr:rollup-2d79661, r=matthiaskrgr ... Rollup of 15 pull requests Successful merges: - #129329 (Implement `From<&mut {slice}>` for `Box/Rc/Arc<{slice}>`) - #131377 (Add LowerExp and UpperExp implementations to NonZero) - #132393 (Docs: added brief colon explanation) - #132437 (coverage: Regression test for inlining into an uninstrumented crate) - #132499 (unicode_data.rs: show command for generating file) - #132503 (better test for const HashMap; remove const_hash leftovers) - #132511 (stabilize const_arguments_as_str) - #132520 (NFC add known bug nr to test) - #132522 (make codegen help output more consistent) - #132523 (Added regression test for generics index out of bounds) - #132528 (Use `*_opt` typeck results fns to not ICE in fallback suggestion) - #132537 (PassWrapper: adapt for llvm/llvm-project@5445edb5d) - #132540 (Do not format generic consts) - #132543 (add and update some crashtests) - #132550 (compiler: Continue introducing rustc_abi to the compiler) r? `@ghost` `@rustbot` modify labels: rollup	2024-11-03 13:46:47 +00:00
klensy	bc1d8e72e7	make time format parsing compiletime	2024-11-03 15:51:39 +03:00
klensy	be3a635fe7	replace manual time convertions with std ones	2024-11-03 15:51:39 +03:00
bors	59ae5eba7e	Auto merge of #132514 - Zalathar:print-target-cpus, r=jieyouxu ... Port most of `--print=target-cpus` to Rust The logic and formatting needed by `--print=target-cpus` has historically been carried out in C++ code. Originally it used `printf` to write directly to the console, but later it switched over to writing to a `std::ostringstream` and then passing its buffer to a callback function pointer. This PR replaces that C++ code with a very simple function that writes a list of CPU names to a `&RustString`, with the rest of the logic and formatting being handled by ordinary safe Rust code.	2024-11-03 11:09:38 +00:00
Matthias Krüger	1ba782ab3d	Rollup merge of #132550 - workingjubilee:rustc-abi-selects-borrowck-for-mono-sans, r=compiler-errors ... compiler: Continue introducing rustc_abi to the compiler Some crates have not heard of rustc_abi before, so arrange introductions. Encourage some crates to go further and leave rustc_target behind: it was no good for them.	2024-11-03 12:08:56 +01:00
Matthias Krüger	ecbd8d1550	Rollup merge of #132543 - cyrgani:master, r=compiler-errors ... add and update some crashtests Adds tests for #126268 and #132126, updates it for #131050.	2024-11-03 12:08:56 +01:00
Matthias Krüger	13cdfae599	Rollup merge of #132540 - compiler-errors:gc, r=calebcartwright ... Do not format generic consts We introduced **nightly support** for generic const items in #113522, but formatting of consts was not modified. Making them format *correctly* is hard, so let's just bail formatting them so we don't accidentally strip their generics and where clauses. This is essentially no-op formatting for generic const items. r? `````@calebcartwright````` or `````@ytmimi`````	2024-11-03 12:08:55 +01:00
Matthias Krüger	7d7f2b5e2f	Rollup merge of #132537 - durin42:llvm-20-prelinklto, r=DianQK ... PassWrapper: adapt for llvm/llvm-project@5445edb5d As with ab5583ed1e, we had been explicitly passing defaults whose type have changed. Rather than do an ifdef, we simply rely on the defaults. ````@rustbot```` label: +llvm-main	2024-11-03 12:08:55 +01:00
Matthias Krüger	1a0ab892cd	Rollup merge of #132528 - compiler-errors:fallback-sugg-opt, r=jieyouxu ... Use `*_opt` typeck results fns to not ICE in fallback suggestion Self-explanatory. Fixes #132517.	2024-11-03 12:08:54 +01:00
Matthias Krüger	625264329f	Rollup merge of #132523 - ranger-ross:test-issue-117446, r=compiler-errors ... Added regression test for generics index out of bounds Added a regression test for #117446 This ICE was fixed in Rust 1.75 but a regression test was never added. This PR adds a UI test with a reduced version of the original bug report that does not rely on external crates.	2024-11-03 12:08:54 +01:00
Matthias Krüger	a7a0586618	Rollup merge of #132522 - senekor:consistenst-codegen-help, r=compiler-errors ... make codegen help output more consistent The output of `rustc -C help` generally has one option per line. There was one exception because of a (presumably) forgotten line continuation escape.	2024-11-03 12:08:53 +01:00
Matthias Krüger	9c7cdc2352	Rollup merge of #132520 - matthiaskrgr:knobu, r=jieyouxu ... NFC add known bug nr to test r? ```````@jieyouxu```````	2024-11-03 12:08:53 +01:00
Matthias Krüger	003c97477d	Rollup merge of #132511 - RalfJung:const_arguments_as_str, r=dtolnay ... stabilize const_arguments_as_str FCP passed in the [tracking issue](https://github.com/rust-lang/rust/issues/103900#issuecomment-2397096659).	2024-11-03 12:08:52 +01:00
Matthias Krüger	e9379382f9	Rollup merge of #132503 - RalfJung:const-hash-map, r=Amanieu ... better test for const HashMap; remove const_hash leftovers The existing `const_with_hasher` test is kind of silly since the HashMap it constructs can never contain any elements. So this adjusts the test to construct a usable HashMap, which is a bit non-trivial since the default hash builder cannot be built in `const`. `BuildHasherDefault::new()` helps but is unstable (https://github.com/rust-lang/rust/issues/123197), so we also have a test that does not involve that type. The second commit removes the last remnants of https://github.com/rust-lang/rust/issues/104061, since they aren't actually useful -- without const traits, you can't do any hashing in `const`. Cc ``@rust-lang/libs-api`` ``@rust-lang/wg-const-eval`` Closes #104061 Related to https://github.com/rust-lang/rust/issues/102575	2024-11-03 12:08:52 +01:00
Matthias Krüger	b438a5cd2a	Rollup merge of #132499 - RalfJung:unicode_data.rs, r=tgross35 ... unicode_data.rs: show command for generating file https://github.com/rust-lang/rust/pull/131647 made this an easily runnable tool, now we just have to mention that in the comment. :) Fixes https://github.com/rust-lang/rust/issues/131640.	2024-11-03 12:08:51 +01:00
Matthias Krüger	10a8446344	Rollup merge of #132437 - Zalathar:inline-mixed-regression, r=jieyouxu ... coverage: Regression test for inlining into an uninstrumented crate Regression test for #132395, after I was able to figure out a simple way to reproduce it. See also #132436. In addition to confirming that there is no ICE, this test also demonstrates that the affected code is undercounted, because executing the inlined copy doesn't increment coverage counters.	2024-11-03 12:08:51 +01:00
Matthias Krüger	e522d088fd	Rollup merge of #132393 - zedddie16:issue-131865-fix, r=tgross35 ... Docs: added brief colon explanation https://github.com/rust-lang/rust/issues/131865 (this is my first attempt at contributing, feedback is welcome)	2024-11-03 12:08:51 +01:00
Matthias Krüger	b9f972767c	Rollup merge of #131377 - rick-de-water:nonzero-exp, r=dtolnay ... Add LowerExp and UpperExp implementations to NonZero Adds `LowerExp` and `UpperExp` trait implementations to `NonZero`, as discussed in rust-lang/libs-team#458. I had to modify the macro to mark the new impls with a different rust version. Let me know if this is the right way to do it (first timer here!)	2024-11-03 12:08:50 +01:00
Matthias Krüger	957f6c3973	Rollup merge of #129329 - eduardosm:rc-from-mut-slice, r=dtolnay ... Implement `From<&mut {slice}>` for `Box/Rc/Arc<{slice}>` ACP: https://github.com/rust-lang/libs-team/issues/424 New API: ```rust impl<T: Clone> From<&mut [T]> for Box<[T]> impl From<&mut str> for Box<str> impl From<&mut CStr> for Box<CStr> impl From<&mut OsStr> for Box<OsStr> impl From<&mut Path> for Box<Path> impl<T: Clone> From<&mut [T]> for Rc<[T]> impl From<&mut str> for Rc<str> impl From<&mut CStr> for Rc<CStr> impl From<&mut OsStr> for Rc<OsStr> impl From<&mut Path> for Rc<Path> impl<T: Clone> From<&mut [T]> for Arc<[T]> impl From<&mut str> for Arc<str> impl From<&mut CStr> for Arc<CStr> impl From<&mut OsStr> for Arc<OsStr> impl From<&mut Path> for Arc<Path> ``` Since they are trait implementations, I think these are insta-stable. As mentioned in https://github.com/rust-lang/libs-team/issues/424#issuecomment-2299415749, a crater run might be needed.	2024-11-03 12:08:49 +01:00
Nilstrieb	f42fb43517	Call the target libdir target libdir ... Because it's the target libdir. `--print` uses the same terminology, and it's a simple way to make it obviously different from `$sysroot/lib`.	2024-11-03 11:49:43 +01:00
Taiki Endo	b07232d95d	Move tests/ui/abi/riscv32e-registers.rs to tests/ui/asm/riscv ... This also adds comments explaining the difference to bad-reg.rs.	2024-11-03 18:32:04 +09:00
Taiki Endo	a7520adc29	Fix typo in tests/auxiliary/minicore.rs ... Co-authored-by: Jubilee <workingjubilee@gmail.com>	2024-11-03 17:32:33 +09:00
bors	db034cee00	Auto merge of #132419 - durin42:llvm-20-type-test-thing, r=cuviper ... PassWrapper: adapt for llvm/llvm-project@b01e2a8b56 A boolean turned into an enum. None matches the old behavior of false, so we pass that. `@rustbot` label: +llvm-main	2024-11-03 08:08:00 +00:00
Ralf Jung	bc757f9034	add const_panic macro to make it easier to fall back to non-formatting panic in const	2024-11-03 08:58:43 +01:00
Ralf Jung	234d3de8b4	stabilize const_arguments_as_str	2024-11-03 07:49:24 +01:00
bors	89ab6559cc	Auto merge of #132526 - bjorn3:sync_cg_clif-2024-11-02, r=bjorn3 ... Subtree sync for rustc_codegen_cranelift The highlight this time is an update to Cranelift 0.113, r? `@ghost` `@rustbot` label +A-codegen +A-cranelift +T-compiler	2024-11-03 05:03:52 +00:00
Jubilee Young	ab6994f880	compiler: Add rustc_abi to _sanitizers	2024-11-02 20:31:47 -07:00
Jubilee Young	31cbde037b	compiler: Add rustc_abi to _monomorphize	2024-11-02 20:31:47 -07:00
Jubilee Young	4046e3610c	compiler: Replace rustc_target with _abi in _trait_selection	2024-11-02 20:31:47 -07:00
Jubilee Young	bb0cd5606a	compiler: Replace rustc_target with _abi in _hir	2024-11-02 20:31:47 -07:00
Jubilee Young	586766e790	compiler: Replace rustc_target with _abi in _borrowck	2024-11-02 20:31:47 -07:00
bors	67395551d0	Auto merge of #132458 - RalfJung:rustc-const-unstable, r=Amanieu ... get rid of a whole bunch of unnecessary rustc_const_unstable attributes In general, when a `const fn` is still unstable, it doesn't need a `#[rustc_const_unstable]` attribute. The only exception is functions that internally use things that can't be used in stable const fn yet. So this gets rid of a whole bunch of `#[rustc_const_unstable]` in libcore.	2024-11-03 02:32:48 +00:00
bors	8ccb78e0d5	Auto merge of #125579 - Noratrieb:print-host, r=davidtwco ... Add `--print host-tuple` to print host target tuple People often parse `-vV` output to get to the host tuple, which is annoying to do. It's easier to just get it directly. I called it "host-tuple" instead of "host" because it's clearer that it's just the target name. I'm open to different names, but I think this one is fine. a quick GitHub search for `'^host` reveals many instances of people doing the parsing, for example: 68e0ca57cd/README.md (L369) 0e38473b0c/main.sh (L96) 8a3553b865/README.md (L625) 43f3ec3970/do.sh (L35) needs a compiler FCP. I could also do an MCP but I think just an FCP here makes the most sense.	2024-11-02 23:04:42 +00:00
cyrgani	7745b065cc	add and update some crashtests	2024-11-02 23:44:12 +01:00
Noratrieb	ba481518da	Add --print host-triple ... People often parse `-vV` output to get to the host triple, which is annoying to do. It's easier to just get it directly.	2024-11-02 21:29:59 +01:00
Noratrieb	a26450cf81	Rename target triple to target tuple in many places in the compiler ... This changes the naming to the new naming, used by `--print target-tuple`. It does not change all locations, but many.	2024-11-02 21:29:59 +01:00
Nilstrieb	77d0b4ddfb	move deployment-target tests to print-request	2024-11-02 21:29:59 +01:00
Michael Goulet	16394e9776	Do not format generic consts	2024-11-02 20:25:06 +00:00
bors	b3f75cc872	Auto merge of #132147 - estebank:long-types-2, r=davidtwco ... Tweak E0277 output when a candidate is available *Follow up to #132086.* Go from ``` error[E0277]: the trait bound `Then<Ignored<chumsky::combinator::Filter<chumsky::primitive::Any<&str, chumsky::extra::Full<EmptyErr, (), ()>>, {closure@src/main.rs:9:17: 9:27}>, char>, chumsky::combinator::Map<impl CSTParser<'a, O>, O, {closure@src/main.rs:11:24: 11:27}>, (), (), chumsky::extra::Full<EmptyErr, (), ()>>: CSTParser<'a>` is not satisfied --> src/main.rs:7:50 | 7 | fn leaf<'a, O>(parser: impl CSTParser<'a, O>) -> impl CSTParser<'a, ()> { | ^^^^^^^^^^^^^^^^^^^^^^ the trait `chumsky::private::ParserSealed<'_, &str, (), chumsky::extra::Full<EmptyErr, (), ()>>` is not implemented for `Then<Ignored<Filter<Any<&str, ...>, ...>, ...>, ..., ..., ..., ...>`, which is required by `Then<Ignored<chumsky::combinator::Filter<chumsky::primitive::Any<&str, chumsky::extra::Full<EmptyErr, (), ()>>, {closure@src/main.rs:9:17: 9:27}>, char>, chumsky::combinator::Map<impl CSTParser<'a, O>, O, {closure@src/main.rs:11:24: 11:27}>, (), (), chumsky::extra::Full<EmptyErr, (), ()>>: CSTParser<'a>` | = help: the trait `chumsky::private::ParserSealed<'_, &'a str, ((), ()), chumsky::extra::Full<EmptyErr, (), ()>>` is implemented for `Then<Ignored<chumsky::combinator::Filter<chumsky::primitive::Any<&str, chumsky::extra::Full<EmptyErr, (), ()>>, {closure@src/main.rs:9:17: 9:27}>, char>, chumsky::combinator::Map<impl CSTParser<'a, O>, O, {closure@src/main.rs:11:24: 11:27}>, (), (), chumsky::extra::Full<EmptyErr, (), ()>>` = help: for that trait implementation, expected `((), ())`, found `()` = note: required for `Then<Ignored<Filter<Any<&str, ...>, ...>, ...>, ..., ..., ..., ...>` to implement `Parser<'_, &str, ()>` note: required for `Then<Ignored<Filter<Any<&str, ...>, ...>, ...>, ..., ..., ..., ...>` to implement `CSTParser<'a>` --> src/main.rs:5:16 | 5 | impl<'a, O, T> CSTParser<'a, O> for T where T: Parser<'a, &'a str, O> {} | ^^^^^^^^^^^^^^^^ ^ ---------------------- unsatisfied trait bound introduced here = note: the full name for the type has been written to '/home/gh-estebank/longlong/target/debug/deps/longlong-0008f9a4f2023b08.long-type-13239977239800463552.txt' = note: consider using `--verbose` to print the full type name to the console = note: the full name for the type has been written to '/home/gh-estebank/longlong/target/debug/deps/longlong-0008f9a4f2023b08.long-type-13239977239800463552.txt' = note: consider using `--verbose` to print the full type name to the console ``` to ``` error[E0277]: the trait bound `Then<Ignored<chumsky::combinator::Filter<chumsky::primitive::Any<&str, chumsky::extra::Full<EmptyErr, (), ()>>, {closure@src/main.rs:9:17: 9:27}>, char>, chumsky::combinator::Map<impl CSTParser<'a, O>, O, {closure@src/main.rs:11:24: 11:27}>, (), (), chumsky::extra::Full<EmptyErr, (), ()>>: CSTParser<'a>` is not satisfied --> src/main.rs:7:50 | 7 | fn leaf<'a, O>(parser: impl CSTParser<'a, O>) -> impl CSTParser<'a, ()> { | ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound ... 11 | ws.then(parser.map(|_| ())) | --------------------------- return type was inferred to be `Then<Ignored<..., ...>, ..., ..., ..., ...>` here | = help: the trait `ParserSealed<'_, &_, (), Full<_, _, _>>` is not implemented for `Then<Ignored<..., ...>, ..., ..., ..., ...>` but trait `ParserSealed<'_, &'a _, ((), ()), Full<_, _, _>>` is implemented for it = help: for that trait implementation, expected `((), ())`, found `()` = note: required for `Then<Ignored<..., ...>, ..., ..., ..., ...>` to implement `Parser<'_, &str, ()>` note: required for `Then<Ignored<..., ...>, ..., ..., ..., ...>` to implement `CSTParser<'a>` --> src/main.rs:5:16 | 5 | impl<'a, O, T> CSTParser<'a, O> for T where T: Parser<'a, &'a str, O> {} | ^^^^^^^^^^^^^^^^ ^ ---------------------- unsatisfied trait bound introduced here = note: the full name for the type has been written to '/home/gh-estebank/longlong/target/debug/deps/longlong-df9d52be87eada65.long-type-1337037744507305372.txt' = note: consider using `--verbose` to print the full type name to the console ``` * Remove redundant wording * Introduce trait diff highlighting logic and use it * Fix incorrect "long type written to path" logic (can be split off) * Point at tail expression in more cases in E0277 * Avoid long primary span labels in E0277 by moving them to a `help` Fix #132013. There are individual commits that can be their own PR. If the review load is too big, happy to split them off.	2024-11-02 20:22:49 +00:00
Augie Fackler	c61312268e	PassWrapper: adapt for llvm/llvm-project@5445edb5d ... As with ab5583ed1e, we had been explicitly passing defaults whose type have changed. Rather than do an ifdef, we simply rely on the defaults. @rustbot label: +llvm-main	2024-11-02 15:50:44 -04:00
tuturuu	c7b07d58c3	Rustdoc: added brief colon explanation	2024-11-02 20:49:24 +01:00
Augie Fackler	ab5583ed1e	PassWrapper: adapt for llvm/llvm-project@b01e2a8b56 ... We don't see a reason to explicitly pass the default here, so just use the default instead of explicitly passing it and needing an ifdef. @rustbot label: +llvm-main	2024-11-02 14:39:58 -04:00
Esteban Küber	7e0d3ed951	fix tests ... Paths in CI can be longer than in devs' machines.	2024-11-02 16:58:50 +00:00
bors	00ed73cdc0	Auto merge of #132512 - workingjubilee:update-miri-for-rustc-abi, r=RalfJung ... miri: Directly use rustc_abi I tried to make this a PR to the miri repo for funsies. Ironically, the integration flow meant that it would use a too-old toolchain hash, and I didn't understand the build system there enough to want to manually fiddle with the hashes.	2024-11-02 16:46:08 +00:00
Michael Goulet	82f8b8f0e3	Use opt functions to not ICE in fallback suggestion	2024-11-02 15:25:12 +00:00