Remove support for extern "rust-intrinsic" blocks
#139455
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- src\doc\nomicon\src\ffi.md should also have its ABI list updated
|
r? @wesleywiser rustbot has assigned @wesleywiser. Use |
rustbot
added
A-attributes
|
These commits modify compiler targets. This PR modifies cc @jieyouxu Some changes occurred to the intrinsics. Make sure the CTFE / Miri interpreter cc @rust-lang/miri, @RalfJung, @oli-obk, @lcnr Some changes occurred in compiler/rustc_passes/src/check_attr.rs Some changes occurred in compiler/rustc_codegen_cranelift cc @bjorn3 rust-analyzer is developed in its own repository. If possible, consider making this change to rust-lang/rust-analyzer instead. cc @rust-lang/rust-analyzer |
5 tasks
|
@bors r+ |
bors
added
S-waiting-on-bors
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Apr 7, 2025
… r=oli-obk Remove support for `extern "rust-intrinsic"` blocks Part of rust-lang#132735 Looked manageable and there didn't appear to have been progress in the last two weeks, so decided to give it a try.
RalfJung
reviewed
Apr 7, 2025
| or as a `#[rustc_intrinsic]`. The body is never used, as calls to the intrinsic do not exist | ||
| anymore after MIR analyses. | ||
| at all. These intrinsics only make sense without a body, and can be declared as a `#[rustc_intrinsic]`. | ||
| The body is never used, as calls to the intrinsic do not exist anymore after MIR analyses. |
There was a problem hiding this comment.
That last sentence seems outdated. The body, if it exists, is used if the codegen backend does not have its own implementation of the intrinsic.
There was a problem hiding this comment.
Ah I missed that this is only about MIR-lowered intrinsics.
RalfJung
reviewed
Apr 7, 2025
| or as a `#[rustc_intrinsic]`. The body is never used, as calls to the intrinsic do not exist | ||
| anymore after MIR analyses. | ||
| at all. These intrinsics only make sense without a body, and can be as a `#[rustc_intrinsic]`. | ||
| The body is never used, as calls to the intrinsic do not exist anymore after MIR analyses. |
There was a problem hiding this comment.
@rust-lang/rust-analyzer is this an RA test having a fully copy of the docs of an unstable feature inside of it? IMO that's a bad idea, it creates unexpected friction when improving those docs. Is there a way to have this test in a way that causes less of a roadblock for unrelated PRs?
There was a problem hiding this comment.
Yes, it tests that if you hover over a the name of a feature in #![feature(foo)] that rust-analyzer presents the documentation rustc has for this feature.
There was a problem hiding this comment.
That could be tested without requiring a full copy of the docs to be kept in sync. Just check that the string we get is non-empty or contains "the" or something like that.
bors
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 7, 2025
Rollup of 8 pull requests Successful merges: - rust-lang#138603 (Report line number of test when should_panic test failed) - rust-lang#139035 (Add new `PatKind::Missing` variants) - rust-lang#139112 (Implement `super let`) - rust-lang#139365 (Default auto traits: fix perf) - rust-lang#139397 (coverage: Build the CGU's global file table as late as possible) - rust-lang#139455 ( Remove support for `extern "rust-intrinsic"` blocks) - rust-lang#139461 (Stop calling `source_span` query in significant drop order code) - rust-lang#139466 (Trivial tweaks to stop tracking source span directly) r? `@ghost` `@rustbot` modify labels: rollup
bors
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 7, 2025
Rollup of 9 pull requests Successful merges: - rust-lang#139035 (Add new `PatKind::Missing` variants) - rust-lang#139108 (Simplify `thir::PatKind::ExpandedConstant`) - rust-lang#139112 (Implement `super let`) - rust-lang#139365 (Default auto traits: fix perf) - rust-lang#139397 (coverage: Build the CGU's global file table as late as possible) - rust-lang#139455 ( Remove support for `extern "rust-intrinsic"` blocks) - rust-lang#139461 (Stop calling `source_span` query in significant drop order code) - rust-lang#139465 (add sret handling for scalar autodiff) - rust-lang#139466 (Trivial tweaks to stop tracking source span directly) r? `@ghost` `@rustbot` modify labels: rollup
rust-timer
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 7, 2025
Rollup merge of rust-lang#139455 - Skgland:remove_rust-intrinsic_ABI, r=oli-obk Remove support for `extern "rust-intrinsic"` blocks Part of rust-lang#132735 Looked manageable and there didn't appear to have been progress in the last two weeks, so decided to give it a try.
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Apr 7, 2025
… r=oli-obk Update some comment/docs related to "extern intrinsic" removal Follow-up to rust-lang#139455. r? `@oli-obk`
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Apr 7, 2025
… r=oli-obk Update some comment/docs related to "extern intrinsic" removal Follow-up to rust-lang#139455. r? ``@oli-obk``
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Apr 8, 2025
… r=oli-obk Update some comment/docs related to "extern intrinsic" removal Follow-up to rust-lang#139455. r? ```@oli-obk```
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Apr 8, 2025
…kril Revert r-a changes of rust-lang#139455 I discovered rust-lang#132735 (comment) that I might have done too much in rust-lang#132735 by also removing support in r-a. So this reverts the commit with the changes to r-a. r? RalfJung
bors
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 8, 2025
…errors Rollup of 19 pull requests Successful merges: - rust-lang#138676 (Implement overflow for infinite implied lifetime bounds) - rust-lang#139024 (Make error message for missing fields with `..` and without `..` more consistent) - rust-lang#139098 (Tell LLVM about impossible niche tags) - rust-lang#139124 (compiler: report error when trait object type param reference self) - rust-lang#139321 (Update to new rinja version (askama)) - rust-lang#139346 (Don't construct preds w escaping bound vars in `diagnostic_hir_wf_check`) - rust-lang#139386 (make it possible to use stage0 libtest on compiletest) - rust-lang#139421 (Fix trait upcasting to dyn type with no principal when there are projections) - rust-lang#139468 (Don't call `Span::with_parent` on the good path in `has_stashed_diagnostic`) - rust-lang#139476 (rm `RegionInferenceContext::var_infos`) - rust-lang#139481 (Add job summary links to post-merge report) - rust-lang#139485 (compiletest: Stricter parsing for diagnostic kinds) - rust-lang#139490 (Update some comment/docs related to "extern intrinsic" removal) - rust-lang#139491 (Update books) - rust-lang#139496 (Revert r-a changes of rust-lang#139455) - rust-lang#139500 (document panic behavior of Vec::resize and Vec::resize_with) - rust-lang#139501 (Fix stack overflow in exhaustiveness due to recursive HIR opaque hidden types) - rust-lang#139504 (add missing word in doc comment) - rust-lang#139507 (compiletest: Trim whitespace from environment variable names) r? `@ghost` `@rustbot` modify labels: rollup
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Apr 8, 2025
… r=oli-obk Update some comment/docs related to "extern intrinsic" removal Follow-up to rust-lang#139455. r? `@oli-obk`
rust-timer
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 8, 2025
Rollup merge of rust-lang#139490 - RalfJung:unstable-intrinsics-docs, r=oli-obk Update some comment/docs related to "extern intrinsic" removal Follow-up to rust-lang#139455. r? `@oli-obk`
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Apr 8, 2025
…kril Revert r-a changes of rust-lang#139455 I discovered rust-lang#132735 (comment) that I might have done too much in rust-lang#132735 by also removing support in r-a. So this reverts the commit with the changes to r-a. r? RalfJung
bors
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 8, 2025
…iaskrgr Rollup of 10 pull requests Successful merges: - rust-lang#139494 (Restrict some queries by def-kind more) - rust-lang#139496 (Revert r-a changes of rust-lang#139455) - rust-lang#139506 (add missing word in doc comment (part 2)) - rust-lang#139515 (Improve presentation of closure signature mismatch from `Fn` trait goal) - rust-lang#139520 (compiletest maintenance: sort deps and drop dep on `anyhow`) - rust-lang#139523 (Rustc dev guide subtree update) - rust-lang#139526 (Fix deprecation note for std::intrinsics) - rust-lang#139528 (compiletest: Remove the `--logfile` flag) - rust-lang#139541 (Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations) - rust-lang#139547 (Update library tracking issue template to set S-tracking-unimplemented) r? `@ghost` `@rustbot` modify labels: rollup
bors
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 9, 2025
…iaskrgr Rollup of 10 pull requests Successful merges: - rust-lang#139494 (Restrict some queries by def-kind more) - rust-lang#139496 (Revert r-a changes of rust-lang#139455) - rust-lang#139506 (add missing word in doc comment (part 2)) - rust-lang#139515 (Improve presentation of closure signature mismatch from `Fn` trait goal) - rust-lang#139520 (compiletest maintenance: sort deps and drop dep on `anyhow`) - rust-lang#139523 (Rustc dev guide subtree update) - rust-lang#139526 (Fix deprecation note for std::intrinsics) - rust-lang#139528 (compiletest: Remove the `--logfile` flag) - rust-lang#139541 (Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations) - rust-lang#139547 (Update library tracking issue template to set S-tracking-unimplemented) r? `@ghost` `@rustbot` modify labels: rollup
rust-timer
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 9, 2025
Rollup merge of rust-lang#139496 - Skgland:139455-went-too-far, r=Veykril Revert r-a changes of rust-lang#139455 I discovered rust-lang#132735 (comment) that I might have done too much in rust-lang#132735 by also removing support in r-a. So this reverts the commit with the changes to r-a. r? RalfJung
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Apr 10, 2025
…=RalfJung Remove some dead or leftover code related to rustc-intrinsic abi removal r? `@RalfJung` PR that removed the ABI: rust-lang#139455 tracking issue: rust-lang#132735
github-actions bot
pushed a commit
to rust-lang/rustc-dev-guide
that referenced
this pull request
Apr 10, 2025
Rollup of 10 pull requests Successful merges: - #139494 (Restrict some queries by def-kind more) - #139496 (Revert r-a changes of rust-lang/rust#139455) - #139506 (add missing word in doc comment (part 2)) - #139515 (Improve presentation of closure signature mismatch from `Fn` trait goal) - #139520 (compiletest maintenance: sort deps and drop dep on `anyhow`) - #139523 (Rustc dev guide subtree update) - #139526 (Fix deprecation note for std::intrinsics) - #139528 (compiletest: Remove the `--logfile` flag) - #139541 (Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations) - #139547 (Update library tracking issue template to set S-tracking-unimplemented) r? `@ghost` `@rustbot` modify labels: rollup
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Apr 10, 2025
…=RalfJung Remove some dead or leftover code related to rustc-intrinsic abi removal r? ``@RalfJung`` PR that removed the ABI: rust-lang#139455 tracking issue: rust-lang#132735
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Apr 10, 2025
…=RalfJung Remove some dead or leftover code related to rustc-intrinsic abi removal r? ```@RalfJung``` PR that removed the ABI: rust-lang#139455 tracking issue: rust-lang#132735
rust-timer
added a commit
to rust-lang-ci/rust
that referenced
this pull request
Apr 10, 2025
Rollup merge of rust-lang#139530 - oli-obk:rustc-intrinsic-cleanup, r=RalfJung Remove some dead or leftover code related to rustc-intrinsic abi removal r? ```@RalfJung``` PR that removed the ABI: rust-lang#139455 tracking issue: rust-lang#132735
bors-ferrocene bot
added a commit
to ferrocene/ferrocene
that referenced
this pull request
Apr 16, 2025
1407: Automated pull from upstream `master` r=tshepang a=ferrocene-automations[bot] :warning: **The automation reported these warnings:** :warning: * There are merge conflicts in this PR. Merge conflict markers have been committed. * Couldn't regenerate the `x.py` completions. Please run `./x run generate-completions` after fixing the merge conflicts. This PR pulls the following changes from the upstream repository: * `139279`: [Bump boostrap compiler to new beta](https://www.github.com/rust-lang/rust/issues/139279) * `139595`: [Rollup of 10 pull requests](https://www.github.com/rust-lang/rust/issues/139595) * `139575`: [Remove redundant words](https://www.github.com/rust-lang/rust/issues/139575) * `139551`: [report call site of inlined scopes for large assignment lints](https://www.github.com/rust-lang/rust/issues/139551) * `139532`: [Update `u8`-to-and-from-`i8` suggestions.](https://www.github.com/rust-lang/rust/issues/139532) * `139521`: [triagebot: roll compiler reviewers for rustc/unstable book](https://www.github.com/rust-lang/rust/issues/139521) * `139513`: [Report higher-ranked trait error when higher-ranked projection goal fails in new solver](https://www.github.com/rust-lang/rust/issues/139513) * `139489`: [compiletest: Add directive `dont-require-annotations`](https://www.github.com/rust-lang/rust/issues/139489) * `139488`: [Add missing regression GUI test](https://www.github.com/rust-lang/rust/issues/139488) * `139164`: [std: improve documentation for get_mut() methods regarding forgotten guards](https://www.github.com/rust-lang/rust/issues/139164) * `138628`: [Add more ergonomic clone tests](https://www.github.com/rust-lang/rust/issues/138628) * `138470`: [Test interaction between RFC 2229 migration and use closures](https://www.github.com/rust-lang/rust/issues/138470) * `124810`: [speed up `String::push` and `String::insert`](https://www.github.com/rust-lang/rust/issues/124810) * `139581`: [Rollup of 7 pull requests](https://www.github.com/rust-lang/rust/issues/139581) * `139573`: [Miri subtree update](https://www.github.com/rust-lang/rust/issues/139573) * `139481`: [Add job summary links to post-merge report](https://www.github.com/rust-lang/rust/issues/139481) * `139468`: [Don't call `Span::with_parent` on the good path in `has_stashed_diagnostic`](https://www.github.com/rust-lang/rust/issues/139468) * `139364`: [Make the compiler suggest actual paths instead of visible paths if the visible paths are through any doc hidden path.](https://www.github.com/rust-lang/rust/issues/139364) * `139099`: [Promise `array::from_fn` is generated in order of increasing indices](https://www.github.com/rust-lang/rust/issues/139099) * `138993`: [Make `cfg_match!` a semitransparent macro](https://www.github.com/rust-lang/rust/issues/138993) * `138869`: [Try not to use verbatim paths in `Command::current_dir`](https://www.github.com/rust-lang/rust/issues/138869) * `139327`: [Allow GVN to produce places and not just locals.](https://www.github.com/rust-lang/rust/issues/139327) * `139552`: [Rollup of 10 pull requests](https://www.github.com/rust-lang/rust/issues/139552) * `139547`: [Update library tracking issue template to set S-tracking-unimplemented](https://www.github.com/rust-lang/rust/issues/139547) * `139541`: [Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations](https://www.github.com/rust-lang/rust/issues/139541) * `139528`: [compiletest: Remove the `--logfile` flag](https://www.github.com/rust-lang/rust/issues/139528) * `139526`: [Fix deprecation note for std::intrinsics](https://www.github.com/rust-lang/rust/issues/139526) * `139523`: [Rustc dev guide subtree update](https://www.github.com/rust-lang/rust/issues/139523) * `139520`: [compiletest maintenance: sort deps and drop dep on `anyhow`](https://www.github.com/rust-lang/rust/issues/139520) * `139515`: [Improve presentation of closure signature mismatch from `Fn` trait goal](https://www.github.com/rust-lang/rust/issues/139515) * `139506`: [add missing word in doc comment (part 2)](https://www.github.com/rust-lang/rust/issues/139506) * `139496`: [Revert r-a changes of rust-lang/rust#139455](https://www.github.com/rust-lang/rust/issues/139496) * `139494`: [Restrict some queries by def-kind more](https://www.github.com/rust-lang/rust/issues/139494) * `139555`: [UI tests: add missing diagnostic kinds where possible](https://www.github.com/rust-lang/rust/issues/139555) * `139536`: [Rollup of 7 pull requests](https://www.github.com/rust-lang/rust/issues/139536) * `139509`: [clean: remove Deref<Target=RegionKind> impl for Region and use `.kind()`](https://www.github.com/rust-lang/rust/issues/139509) * `139504`: [add missing word in doc comment](https://www.github.com/rust-lang/rust/issues/139504) * `139501`: [Fix stack overflow in exhaustiveness due to recursive HIR opaque hidden types](https://www.github.com/rust-lang/rust/issues/139501) * `139500`: [document panic behavior of Vec::resize and Vec::resize_with](https://www.github.com/rust-lang/rust/issues/139500) * `139491`: [Update books](https://www.github.com/rust-lang/rust/issues/139491) * `139485`: [compiletest: Stricter parsing for diagnostic kinds](https://www.github.com/rust-lang/rust/issues/139485) * `139476`: [rm `RegionInferenceContext::var_infos`](https://www.github.com/rust-lang/rust/issues/139476) * `138499`: [borrowck typeck children together with their root](https://www.github.com/rust-lang/rust/issues/138499) * `139525`: [Rollup of 10 pull requests](https://www.github.com/rust-lang/rust/issues/139525) * `139490`: [Update some comment/docs related to "extern intrinsic" removal](https://www.github.com/rust-lang/rust/issues/139490) * `139464`: [Allow for reparsing failure when reparsing a pasted metavar.](https://www.github.com/rust-lang/rust/issues/139464) * `139421`: [Fix trait upcasting to dyn type with no principal when there are projections](https://www.github.com/rust-lang/rust/issues/139421) * `139386`: [make it possible to use stage0 libtest on compiletest](https://www.github.com/rust-lang/rust/issues/139386) * `139346`: [Don't construct preds w escaping bound vars in `diagnostic_hir_wf_check`](https://www.github.com/rust-lang/rust/issues/139346) * `139321`: [Update to new rinja version (askama)](https://www.github.com/rust-lang/rust/issues/139321) * `139124`: [compiler: report error when trait object type param reference self](https://www.github.com/rust-lang/rust/issues/139124) * `139098`: [Tell LLVM about impossible niche tags](https://www.github.com/rust-lang/rust/issues/139098) * `139024`: [Make error message for missing fields with `..` and without `..` more consistent](https://www.github.com/rust-lang/rust/issues/139024) * `138676`: [Implement overflow for infinite implied lifetime bounds](https://www.github.com/rust-lang/rust/issues/138676) * `139474`: [rustc-perf: update to `c0f3b53c8e5de87714d18a5f42998859302ae03a`](https://www.github.com/rust-lang/rust/issues/139474) * `133781`: [Do not visit whole crate to compute `lints_that_dont_need_to_run`.](https://www.github.com/rust-lang/rust/issues/133781) * `139482`: [Rollup of 9 pull requests](https://www.github.com/rust-lang/rust/issues/139482) * `139466`: [Trivial tweaks to stop tracking source span directly](https://www.github.com/rust-lang/rust/issues/139466) * `139465`: [add sret handling for scalar autodiff](https://www.github.com/rust-lang/rust/issues/139465) * `139461`: [Stop calling `source_span` query in significant drop order code](https://www.github.com/rust-lang/rust/issues/139461) * `139455`: [ Remove support for `extern "rust-intrinsic"` blocks](https://www.github.com/rust-lang/rust/issues/139455) * `139397`: [coverage: Build the CGU's global file table as late as possible](https://www.github.com/rust-lang/rust/issues/139397) * `139365`: [Default auto traits: fix perf](https://www.github.com/rust-lang/rust/issues/139365) * `139112`: [Implement `super let`](https://www.github.com/rust-lang/rust/issues/139112) * `139108`: [Simplify `thir::PatKind::ExpandedConstant`](https://www.github.com/rust-lang/rust/issues/139108) * `139035`: [Add new `PatKind::Missing` variants](https://www.github.com/rust-lang/rust/issues/139035) * `139473`: [Rollup of 5 pull requests](https://www.github.com/rust-lang/rust/issues/139473) * `139467`: [More trivial tweaks](https://www.github.com/rust-lang/rust/issues/139467) * `139456`: [style guide: add let-chain rules](https://www.github.com/rust-lang/rust/issues/139456) * `139431`: [Remove LLVM 18 inline ASM span fallback](https://www.github.com/rust-lang/rust/issues/139431) * `139426`: [Make the UnifyKey and UnifyValue imports non-nightly](https://www.github.com/rust-lang/rust/issues/139426) * `138314`: [fix usage of `autodiff` macro with inner functions](https://www.github.com/rust-lang/rust/issues/138314) * `138766`: [coverage: Deal with unused functions and their names in one place](https://www.github.com/rust-lang/rust/issues/138766) * `138951`: [Replace last `usize` -> `ptr` transmute in `alloc` with strict provenance API](https://www.github.com/rust-lang/rust/issues/138951) * `136077`: [Weekly `cargo update`](https://www.github.com/rust-lang/rust/issues/136077) * `139452`: [Rollup of 6 pull requests](https://www.github.com/rust-lang/rust/issues/139452) * `139414`: [Fix typo in `RawList`'s documentation](https://www.github.com/rust-lang/rust/issues/139414) * `139391`: [Check if merged attributes list is empty in expr](https://www.github.com/rust-lang/rust/issues/139391) * `139367`: [Add `*_value` methods to proc_macro lib](https://www.github.com/rust-lang/rust/issues/139367) * `139072`: [Add `slice::align_to_uninit_mut`](https://www.github.com/rust-lang/rust/issues/139072) * `138876`: [Trusty: Implement `write_vectored` for stdio ](https://www.github.com/rust-lang/rust/issues/138876) * `138562`: [Optimize slice {Chunks,Windows}::nth](https://www.github.com/rust-lang/rust/issues/138562) * `139439`: [Update cargo](https://www.github.com/rust-lang/rust/issues/139439) * `138947`: [Refactor Apple version handling in the compiler](https://www.github.com/rust-lang/rust/issues/138947) * `139443`: [Rollup of 3 pull requests](https://www.github.com/rust-lang/rust/issues/139443) * `139438`: [Prevent a test from seeing forbidden numbers in the rustc version](https://www.github.com/rust-lang/rust/issues/139438) * `139347`: [Only build `rust_test_helpers` for `{incremental,ui}` test suites](https://www.github.com/rust-lang/rust/issues/139347) * `139123`: [tidy: Fix paths to `coretests` and `alloctests`](https://www.github.com/rust-lang/rust/issues/139123) * `139411`: [In `simplify_repeated_aggregate`, don't test first element against itself](https://www.github.com/rust-lang/rust/issues/139411) * `139275`: [Update the minimum external LLVM to 19](https://www.github.com/rust-lang/rust/issues/139275) * `139417`: [Rollup of 5 pull requests](https://www.github.com/rust-lang/rust/issues/139417) * `139404`: [Small smir cleanup](https://www.github.com/rust-lang/rust/issues/139404) * `139319`: [StableMIR: Prepare for refactoring](https://www.github.com/rust-lang/rust/issues/139319) * `139121`: [Rename internal module from `statik` to `no_threads`](https://www.github.com/rust-lang/rust/issues/139121) * `138797`: [Fix `ProvenVia` for global where clauses](https://www.github.com/rust-lang/rust/issues/138797) * `136877`: [Fix missing const for inherent pointer `replace` methods](https://www.github.com/rust-lang/rust/issues/136877) * `139292`: [Folder experiment: Micro-optimize RegionEraserVisitor](https://www.github.com/rust-lang/rust/issues/139292) * `139401`: [Rollup of 4 pull requests](https://www.github.com/rust-lang/rust/issues/139401) * `139398`: [Change notifications for Exploit Mitigations PG](https://www.github.com/rust-lang/rust/issues/139398) * `139092`: [Move `fd` into `std::sys`](https://www.github.com/rust-lang/rust/issues/139092) * `138381`: [Implement `SliceIndex` for `ByteStr`](https://www.github.com/rust-lang/rust/issues/138381) * `138368`: [KCFI: Add KCFI arity indicator support](https://www.github.com/rust-lang/rust/issues/138368) * `139281`: [hygiene: Avoid recursion in syntax context decoding](https://www.github.com/rust-lang/rust/issues/139281) * `139396`: [Rollup of 11 pull requests](https://www.github.com/rust-lang/rust/issues/139396) * `139389`: [make `Arguments::as_statically_known_str` doc(hidden)](https://www.github.com/rust-lang/rust/issues/139389) * `139341`: [Apply `Recovery::Forbidden` when reparsing pasted macro fragments.](https://www.github.com/rust-lang/rust/issues/139341) * `139285`: [use lower case to match other error messages](https://www.github.com/rust-lang/rust/issues/139285) * `139274`: [Rustdoc: typecheck settings.js](https://www.github.com/rust-lang/rust/issues/139274) * `138950`: [replace extra_filename with strict version hash in metrics file names](https://www.github.com/rust-lang/rust/issues/138950) * `138826`: [StableMIR: Add `associated_items`.](https://www.github.com/rust-lang/rust/issues/138826) * `138546`: [Add integer to string formatting tests](https://www.github.com/rust-lang/rust/issues/138546) * `138024`: [Allow optimizing out `panic_bounds_check` in Unicode checks.](https://www.github.com/rust-lang/rust/issues/138024) * `137897`: [fix pthread-based tls on apple targets](https://www.github.com/rust-lang/rust/issues/137897) * `137880`: [Autodiff batching](https://www.github.com/rust-lang/rust/issues/137880) * `136457`: [Expose algebraic floating point intrinsics](https://www.github.com/rust-lang/rust/issues/136457) Co-authored-by: Stuart Cook <[email protected]> Co-authored-by: Ramon de C Valle <[email protected]> Co-authored-by: bors <[email protected]> Co-authored-by: Thalia Archibald <[email protected]> Co-authored-by: Matthias Krüger <[email protected]> Co-authored-by: Yotam Ofek <[email protected]> Co-authored-by: Makai <[email protected]> Co-authored-by: onur-ozkan <[email protected]> Co-authored-by: Adam Kobzan <[email protected]> Co-authored-by: Michael Goulet <[email protected]>
github-actions bot
pushed a commit
to model-checking/verify-rust-std
that referenced
this pull request
Apr 19, 2025
… r=oli-obk Remove support for `extern "rust-intrinsic"` blocks Part of rust-lang#132735 Looked manageable and there didn't appear to have been progress in the last two weeks, so decided to give it a try.
github-actions bot
pushed a commit
to model-checking/verify-rust-std
that referenced
this pull request
Apr 19, 2025
…iaskrgr Rollup of 10 pull requests Successful merges: - rust-lang#139494 (Restrict some queries by def-kind more) - rust-lang#139496 (Revert r-a changes of rust-lang#139455) - rust-lang#139506 (add missing word in doc comment (part 2)) - rust-lang#139515 (Improve presentation of closure signature mismatch from `Fn` trait goal) - rust-lang#139520 (compiletest maintenance: sort deps and drop dep on `anyhow`) - rust-lang#139523 (Rustc dev guide subtree update) - rust-lang#139526 (Fix deprecation note for std::intrinsics) - rust-lang#139528 (compiletest: Remove the `--logfile` flag) - rust-lang#139541 (Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations) - rust-lang#139547 (Update library tracking issue template to set S-tracking-unimplemented) r? `@ghost` `@rustbot` modify labels: rollup
carolynzech
added a commit
to celinval/kani-dev
that referenced
this pull request
Apr 21, 2025
carolynzech
added a commit
to carolynzech/kani
that referenced
this pull request
Apr 21, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Part of #132735
Looked manageable and there didn't appear to have been progress in the last two weeks,
so decided to give it a try.