Skip to content

Stabilize strict_overflow_ops - #144682

Merged
bors merged 2 commits into
rust-lang:masterfrom
nxsaken:strict_overflow_ops
Aug 7, 2025
Merged

Stabilize strict_overflow_ops#144682
bors merged 2 commits into
rust-lang:masterfrom
nxsaken:strict_overflow_ops

Conversation

@nxsaken

@nxsakennxsaken commented Jul 30, 2025

Copy link
Copy Markdown
Contributor

Closes#118260

@rustbot

Copy link
Copy Markdown
Collaborator

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbotrustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jul 30, 2025
@rustbot

Copy link
Copy Markdown
Collaborator

The Miri subtree was changed

cc @rust-lang/miri

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

@rust-log-analyzer

This comment has been minimized.

@nxsaken
nxsakenforce-pushed the strict_overflow_ops branch from 54af655 to 3ff3a1eCompareJuly 30, 2025 19:39
@nxsaken

Copy link
Copy Markdown
ContributorAuthor

I see a mention of strict_overflow_ops in src/tools/rust-analyzer/crates/ide-db/src/generated/lints.rs, but I'm not sure if I should manually change stuff in a generated directory.

@Mark-Simulacrum

Copy link
Copy Markdown
Member

I think it should be ok to edit that file - see e.g. 53c1301 as a prior example.

@Mark-Simulacrum

Copy link
Copy Markdown
Member

r=me with that done

@rustbot

Copy link
Copy Markdown
Collaborator

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

@nxsaken

Copy link
Copy Markdown
ContributorAuthor

ping @Mark-Simulacrum

@Mark-Simulacrum

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Aug 5, 2025

Copy link
Copy Markdown
Collaborator

📌 Commit 17241a7 has been approved by Mark-Simulacrum

It is now in the queue for this repository.

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 5, 2025
Zalathar added a commit to Zalathar/rust that referenced this pull request Aug 5, 2025
@ZalatharZalathar mentioned this pull request Aug 5, 2025
bors added a commit that referenced this pull request Aug 5, 2025
Rollup of 16 pull requests
Successful merges:
- #143857 (Port #[macro_export] to the new attribute parsing infrastructure)
- #144133 (Stabilize const TypeId::of)
- #144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- #144443 (Make target pointer width in target json an integer)
- #144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- #144659 (bootstrap: refactor mingw dist and fix gnullvm)
- #144682 (Stabilize `strict_overflow_ops`)
- #144794 (Port `#[coroutine]` to the new attribute system)
- #144835 (Anonymize binders in tail call sig)
- #144836 (Change visibility of Args new function)
- #144900 (Stabilize `unsigned_signed_diff` feature)
- #144903 (Rename `begin_panic_handler` to `panic_handler`)
- #144910 (Add regression tests for seemingly fixed issues)
- #144926 (Correct the use of `must_use` on btree::IterMut)
- #144928 (Drop `rust-version` from `rustc_thread_pool`)
- #144931 ([win][arm64ec] Fix msvc-wholearchive for Arm64EC)
Failed merges:
- #144914 (Add support for `ty::Instance` path shortening in diagnostics)
r? `@ghost`
`@rustbot` modify labels: rollup
Kobzol added a commit to Kobzol/rust that referenced this pull request Aug 5, 2025
@KobzolKobzol mentioned this pull request Aug 5, 2025
bors added a commit that referenced this pull request Aug 5, 2025
Rollup of 15 pull requests
Successful merges:
- #143857 (Port #[macro_export] to the new attribute parsing infrastructure)
- #144133 (Stabilize const TypeId::of)
- #144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- #144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- #144659 (bootstrap: refactor mingw dist and fix gnullvm)
- #144682 (Stabilize `strict_overflow_ops`)
- #144794 (Port `#[coroutine]` to the new attribute system)
- #144835 (Anonymize binders in tail call sig)
- #144836 (Change visibility of Args new function)
- #144900 (Stabilize `unsigned_signed_diff` feature)
- #144903 (Rename `begin_panic_handler` to `panic_handler`)
- #144910 (Add regression tests for seemingly fixed issues)
- #144926 (Correct the use of `must_use` on btree::IterMut)
- #144928 (Drop `rust-version` from `rustc_thread_pool`)
- #144931 ([win][arm64ec] Fix msvc-wholearchive for Arm64EC)
r? `@ghost`
`@rustbot` modify labels: rollup
samueltardieu added a commit to samueltardieu/rust that referenced this pull request Aug 5, 2025
samueltardieu added a commit to samueltardieu/rust that referenced this pull request Aug 5, 2025
bors added a commit that referenced this pull request Aug 5, 2025
Rollup of 11 pull requests
Successful merges:
- #143857 (Port #[macro_export] to the new attribute parsing infrastructure)
- #144133 (Stabilize const TypeId::of)
- #144676 (Add documentation for unstable_feature_bound)
- #144682 (Stabilize `strict_overflow_ops`)
- #144835 (Anonymize binders in tail call sig)
- #144836 (Change visibility of Args new function)
- #144900 (Stabilize `unsigned_signed_diff` feature)
- #144917 (Enforce tail call type is related to body return type in borrowck)
- #144926 (Correct the use of `must_use` on btree::IterMut)
- #144928 (Drop `rust-version` from `rustc_thread_pool`)
- #144945 (Autolabel PRs that change explicit tail call tests as `F-explicit_tail_calls`)
r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit that referenced this pull request Aug 5, 2025
Rollup of 11 pull requests
Successful merges:
- #143857 (Port #[macro_export] to the new attribute parsing infrastructure)
- #144133 (Stabilize const TypeId::of)
- #144676 (Add documentation for unstable_feature_bound)
- #144682 (Stabilize `strict_overflow_ops`)
- #144835 (Anonymize binders in tail call sig)
- #144836 (Change visibility of Args new function)
- #144900 (Stabilize `unsigned_signed_diff` feature)
- #144917 (Enforce tail call type is related to body return type in borrowck)
- #144926 (Correct the use of `must_use` on btree::IterMut)
- #144928 (Drop `rust-version` from `rustc_thread_pool`)
- #144945 (Autolabel PRs that change explicit tail call tests as `F-explicit_tail_calls`)
r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit that referenced this pull request Aug 5, 2025
Rollup of 11 pull requests
Successful merges:
- #143857 (Port #[macro_export] to the new attribute parsing infrastructure)
- #144133 (Stabilize const TypeId::of)
- #144676 (Add documentation for unstable_feature_bound)
- #144682 (Stabilize `strict_overflow_ops`)
- #144835 (Anonymize binders in tail call sig)
- #144836 (Change visibility of Args new function)
- #144900 (Stabilize `unsigned_signed_diff` feature)
- #144917 (Enforce tail call type is related to body return type in borrowck)
- #144926 (Correct the use of `must_use` on btree::IterMut)
- #144928 (Drop `rust-version` from `rustc_thread_pool`)
- #144945 (Autolabel PRs that change explicit tail call tests as `F-explicit_tail_calls`)
r? `@ghost`
`@rustbot` modify labels: rollup
tgross35 added a commit to tgross35/rust that referenced this pull request Aug 7, 2025
@tgross35tgross35 mentioned this pull request Aug 7, 2025
bors added a commit that referenced this pull request Aug 7, 2025
Rollup of 7 pull requests
Successful merges:
- #138689 (add nvptx_target_feature)
- #140267 (implement continue_ok and break_ok for ControlFlow)
- #143807 (Pass -Werror when building the LLVM wrapper)
- #144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- #144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- #144682 (Stabilize `strict_overflow_ops`)
- #145026 (Update books)
r? `@ghost`
`@rustbot` modify labels: rollup
@ZalatharZalathar mentioned this pull request Aug 7, 2025
bors added a commit that referenced this pull request Aug 7, 2025
Rollup of 19 pull requests
Successful merges:
- #137831 (Tweak auto trait errors)
- #138689 (add nvptx_target_feature)
- #140267 (implement continue_ok and break_ok for ControlFlow)
- #143028 (emit `StorageLive` and schedule `StorageDead` for `let`-`else`'s bindings after matching)
- #143764 (lower pattern bindings in the order they're written and base drop order on primary bindings' order)
- #143808 (Port `#[should_panic]` to the new attribute parsing infrastructure )
- #143906 (Miri: non-deterministic floating point operations in `foreign_items`)
- #143929 (Mark all deprecation lints in name resolution as deny-by-default and report-in-deps)
- #144133 (Stabilize const TypeId::of)
- #144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- #144439 (Introduce ModernIdent type to unify macro 2.0 hygiene handling)
- #144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- #144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- #144650 (Additional tce tests)
- #144659 (bootstrap: refactor mingw dist and fix gnullvm)
- #144682 (Stabilize `strict_overflow_ops`)
- #145026 (Update books)
- #145033 (Reimplement `print_region` in `type_name.rs`.)
- #145040 (rustc-dev-guide subtree update)
Failed merges:
- #143857 (Port #[macro_export] to the new attribute parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 622b21e into rust-lang:masterAug 7, 2025
10 checks passed
@rustbotrustbot added this to the 1.91.0 milestone Aug 7, 2025
rust-timer added a commit that referenced this pull request Aug 7, 2025
Rollup merge of #144682 - nxsaken:strict_overflow_ops, r=Mark-Simulacrum
Stabilize `strict_overflow_ops`
Closes#118260
github-actionsBot pushed a commit to rust-lang/miri that referenced this pull request Aug 8, 2025
Rollup of 19 pull requests
Successful merges:
- rust-lang/rust#137831 (Tweak auto trait errors)
- rust-lang/rust#138689 (add nvptx_target_feature)
- rust-lang/rust#140267 (implement continue_ok and break_ok for ControlFlow)
- rust-lang/rust#143028 (emit `StorageLive` and schedule `StorageDead` for `let`-`else`'s bindings after matching)
- rust-lang/rust#143764 (lower pattern bindings in the order they're written and base drop order on primary bindings' order)
- rust-lang/rust#143808 (Port `#[should_panic]` to the new attribute parsing infrastructure )
- rust-lang/rust#143906 (Miri: non-deterministic floating point operations in `foreign_items`)
- rust-lang/rust#143929 (Mark all deprecation lints in name resolution as deny-by-default and report-in-deps)
- rust-lang/rust#144133 (Stabilize const TypeId::of)
- rust-lang/rust#144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- rust-lang/rust#144439 (Introduce ModernIdent type to unify macro 2.0 hygiene handling)
- rust-lang/rust#144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- rust-lang/rust#144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- rust-lang/rust#144650 (Additional tce tests)
- rust-lang/rust#144659 (bootstrap: refactor mingw dist and fix gnullvm)
- rust-lang/rust#144682 (Stabilize `strict_overflow_ops`)
- rust-lang/rust#145026 (Update books)
- rust-lang/rust#145033 (Reimplement `print_region` in `type_name.rs`.)
- rust-lang/rust#145040 (rustc-dev-guide subtree update)
Failed merges:
- rust-lang/rust#143857 (Port #[macro_export] to the new attribute parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
github-actionsBot pushed a commit to rust-lang/rust-analyzer that referenced this pull request Aug 11, 2025
Rollup of 19 pull requests
Successful merges:
- rust-lang/rust#137831 (Tweak auto trait errors)
- rust-lang/rust#138689 (add nvptx_target_feature)
- rust-lang/rust#140267 (implement continue_ok and break_ok for ControlFlow)
- rust-lang/rust#143028 (emit `StorageLive` and schedule `StorageDead` for `let`-`else`'s bindings after matching)
- rust-lang/rust#143764 (lower pattern bindings in the order they're written and base drop order on primary bindings' order)
- rust-lang/rust#143808 (Port `#[should_panic]` to the new attribute parsing infrastructure )
- rust-lang/rust#143906 (Miri: non-deterministic floating point operations in `foreign_items`)
- rust-lang/rust#143929 (Mark all deprecation lints in name resolution as deny-by-default and report-in-deps)
- rust-lang/rust#144133 (Stabilize const TypeId::of)
- rust-lang/rust#144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- rust-lang/rust#144439 (Introduce ModernIdent type to unify macro 2.0 hygiene handling)
- rust-lang/rust#144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- rust-lang/rust#144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- rust-lang/rust#144650 (Additional tce tests)
- rust-lang/rust#144659 (bootstrap: refactor mingw dist and fix gnullvm)
- rust-lang/rust#144682 (Stabilize `strict_overflow_ops`)
- rust-lang/rust#145026 (Update books)
- rust-lang/rust#145033 (Reimplement `print_region` in `type_name.rs`.)
- rust-lang/rust#145040 (rustc-dev-guide subtree update)
Failed merges:
- rust-lang/rust#143857 (Port #[macro_export] to the new attribute parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
github-actionsBot pushed a commit to model-checking/verify-rust-std that referenced this pull request Aug 12, 2025
github-actionsBot pushed a commit to model-checking/verify-rust-std that referenced this pull request Aug 12, 2025
Rollup of 19 pull requests
Successful merges:
- rust-lang#137831 (Tweak auto trait errors)
- rust-lang#138689 (add nvptx_target_feature)
- rust-lang#140267 (implement continue_ok and break_ok for ControlFlow)
- rust-lang#143028 (emit `StorageLive` and schedule `StorageDead` for `let`-`else`'s bindings after matching)
- rust-lang#143764 (lower pattern bindings in the order they're written and base drop order on primary bindings' order)
- rust-lang#143808 (Port `#[should_panic]` to the new attribute parsing infrastructure )
- rust-lang#143906 (Miri: non-deterministic floating point operations in `foreign_items`)
- rust-lang#143929 (Mark all deprecation lints in name resolution as deny-by-default and report-in-deps)
- rust-lang#144133 (Stabilize const TypeId::of)
- rust-lang#144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- rust-lang#144439 (Introduce ModernIdent type to unify macro 2.0 hygiene handling)
- rust-lang#144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- rust-lang#144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- rust-lang#144650 (Additional tce tests)
- rust-lang#144659 (bootstrap: refactor mingw dist and fix gnullvm)
- rust-lang#144682 (Stabilize `strict_overflow_ops`)
- rust-lang#145026 (Update books)
- rust-lang#145033 (Reimplement `print_region` in `type_name.rs`.)
- rust-lang#145040 (rustc-dev-guide subtree update)
Failed merges:
- rust-lang#143857 (Port #[macro_export] to the new attribute parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Aug 18, 2025
Rollup of 19 pull requests
Successful merges:
- rust-lang/rust#137831 (Tweak auto trait errors)
- rust-lang/rust#138689 (add nvptx_target_feature)
- rust-lang/rust#140267 (implement continue_ok and break_ok for ControlFlow)
- rust-lang/rust#143028 (emit `StorageLive` and schedule `StorageDead` for `let`-`else`'s bindings after matching)
- rust-lang/rust#143764 (lower pattern bindings in the order they're written and base drop order on primary bindings' order)
- rust-lang/rust#143808 (Port `#[should_panic]` to the new attribute parsing infrastructure )
- rust-lang/rust#143906 (Miri: non-deterministic floating point operations in `foreign_items`)
- rust-lang/rust#143929 (Mark all deprecation lints in name resolution as deny-by-default and report-in-deps)
- rust-lang/rust#144133 (Stabilize const TypeId::of)
- rust-lang/rust#144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- rust-lang/rust#144439 (Introduce ModernIdent type to unify macro 2.0 hygiene handling)
- rust-lang/rust#144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- rust-lang/rust#144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- rust-lang/rust#144650 (Additional tce tests)
- rust-lang/rust#144659 (bootstrap: refactor mingw dist and fix gnullvm)
- rust-lang/rust#144682 (Stabilize `strict_overflow_ops`)
- rust-lang/rust#145026 (Update books)
- rust-lang/rust#145033 (Reimplement `print_region` in `type_name.rs`.)
- rust-lang/rust#145040 (rustc-dev-guide subtree update)
Failed merges:
- rust-lang/rust#143857 (Port #[macro_export] to the new attribute parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
Kobzol pushed a commit to Kobzol/rustc_codegen_gcc that referenced this pull request Dec 21, 2025
Rollup of 19 pull requests
Successful merges:
- rust-lang/rust#137831 (Tweak auto trait errors)
- rust-lang/rust#138689 (add nvptx_target_feature)
- rust-lang/rust#140267 (implement continue_ok and break_ok for ControlFlow)
- rust-lang/rust#143028 (emit `StorageLive` and schedule `StorageDead` for `let`-`else`'s bindings after matching)
- rust-lang/rust#143764 (lower pattern bindings in the order they're written and base drop order on primary bindings' order)
- rust-lang/rust#143808 (Port `#[should_panic]` to the new attribute parsing infrastructure )
- rust-lang/rust#143906 (Miri: non-deterministic floating point operations in `foreign_items`)
- rust-lang/rust#143929 (Mark all deprecation lints in name resolution as deny-by-default and report-in-deps)
- rust-lang/rust#144133 (Stabilize const TypeId::of)
- rust-lang/rust#144369 (Upgrade semicolon_in_expressions_from_macros from warn to deny)
- rust-lang/rust#144439 (Introduce ModernIdent type to unify macro 2.0 hygiene handling)
- rust-lang/rust#144473 (Address libunwind.a inconsistency issues in the bootstrap program)
- rust-lang/rust#144601 (Allow `cargo fix` to partially apply `mismatched_lifetime_syntaxes`)
- rust-lang/rust#144650 (Additional tce tests)
- rust-lang/rust#144659 (bootstrap: refactor mingw dist and fix gnullvm)
- rust-lang/rust#144682 (Stabilize `strict_overflow_ops`)
- rust-lang/rust#145026 (Update books)
- rust-lang/rust#145033 (Reimplement `print_region` in `type_name.rs`.)
- rust-lang/rust#145040 (rustc-dev-guide subtree update)
Failed merges:
- rust-lang/rust#143857 (Port #[macro_export] to the new attribute parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.T-libsRelevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Tracking Issue for arithmetic that panics on overflow (strict_* operations)

5 participants

@nxsaken@rustbot@rust-log-analyzer@Mark-Simulacrum@bors