Make `lit_to_mir_constant` and `lit_to_const` infallible by oli-obk · Pull Request #135195 · rust-lang/rust

oli-obk · 2025-01-07T12:01:20Z

My motivation for this change is just that it's annoying to check everywhere, especially since all but one call site was just ICEing on errors anyway right there.

They can still fail, but now just return an error constant instead of having the caller handle the error.

fixes#114317
fixes#126182

rustbot · 2025-01-07T12:01:32Z

r? @fee1-dead

rustbot has assigned @fee1-dead.
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

rustbot · 2025-01-07T15:21:40Z

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri, @rust-lang/wg-const-eval

Some changes occurred in match checking

cc @Nadrieril

HIR ty lowering was modified

cc @fmease

Some changes occurred in rustc_ty_utils::consts.rs

cc @BoxyUwU

lcnr · 2025-01-08T09:07:27Z

+ trunc(if neg { (n.get() as i128).overflowing_neg().0 as u128 } else { n.get() })
+ }
+ (ast::LitKind::Float(n, _), ty::Float(fty)) => {
+ parse_float_into_constval(*n, *fty, neg).unwrap()


delayed_bug to bug, it's unreachable I guess? 😁 though given we've got no tests for that, I don't mind merging this and reacting to a fuzzer ICE if it's reachable

yea, I looked into this before the holidays and if memory serves right the parser ensures we don't get anything that could fail here.

lcnr

gamer

r=me after nits

oli-obk · 2025-01-08T13:52:12Z

@bors r=lcnr

bors · 2025-01-08T13:52:16Z

📌 Commit c92ed62 has been approved by lcnr

It is now in the queue for this repository.

…iaskrgr Rollup of 6 pull requests Successful merges: - rust-lang#134228 (Exhaustively handle expressions in patterns) - rust-lang#135194 (triagebot: mark tidy changes with a more specific `A-tidy` label) - rust-lang#135222 (Ensure that we don't try to access fields on a non-struct pattern type) - rust-lang#135250 (A couple simple borrowck cleanups) - rust-lang#135252 (Fix release notes link) - rust-lang#135253 (Revert rust-lang#131365) Failed merges: - rust-lang#135195 (Make `lit_to_mir_constant` and `lit_to_const` infallible) r? `@ghost` `@rustbot` modify labels: rollup

Make `lit_to_mir_constant` and `lit_to_const` infallible My motivation for this change is just that it's annoying to check everywhere, especially since all but one call site was just ICEing on errors anyway right there. They can still fail, but now just return an error constant instead of having the caller handle the error. fixesrust-lang#114317fixesrust-lang#126182

…iaskrgr Rollup of 6 pull requests Successful merges: - rust-lang#134228 (Exhaustively handle expressions in patterns) - rust-lang#135194 (triagebot: mark tidy changes with a more specific `A-tidy` label) - rust-lang#135222 (Ensure that we don't try to access fields on a non-struct pattern type) - rust-lang#135250 (A couple simple borrowck cleanups) - rust-lang#135252 (Fix release notes link) - rust-lang#135253 (Revert rust-lang#131365) Failed merges: - rust-lang#135195 (Make `lit_to_mir_constant` and `lit_to_const` infallible) r? `@ghost` `@rustbot` modify labels: rollup

…iaskrgr Rollup of 6 pull requests Successful merges: - rust-lang#128110 (Suggest Replacing Comma with Semicolon in Incorrect Repeat Expressions) - rust-lang#134609 (Add new `{x86_64,i686}-win7-windows-gnu` targets) - rust-lang#134875 (Implement `const Destruct` in old solver) - rust-lang#135221 (Include rustc and rustdoc book in replace-version-placeholder) - rust-lang#135231 (bootstrap: Add more comments to some of the test steps) - rust-lang#135256 (Move `mod cargo` below the import statements) Failed merges: - rust-lang#135195 (Make `lit_to_mir_constant` and `lit_to_const` infallible) r? `@ghost` `@rustbot` modify labels: rollup

matthiaskrgr · 2025-01-09T07:25:51Z

@bors r-
needs rebase

…ts instead

oli-obk · 2025-01-09T08:54:48Z

@bors r=lcnr

bors · 2025-01-09T08:54:51Z

📌 Commit 84c8d4f has been approved by lcnr

It is now in the queue for this repository.

…iaskrgr Rollup of 3 pull requests Successful merges: - rust-lang#134898 (Make it easier to run CI jobs locally) - rust-lang#135195 (Make `lit_to_mir_constant` and `lit_to_const` infallible) - rust-lang#135261 (Account for identity substituted items in symbol mangling) r? `@ghost` `@rustbot` modify labels: rollup

Rollup merge of rust-lang#135195 - oli-obk:push-toyoyrupruko, r=lcnr Make `lit_to_mir_constant` and `lit_to_const` infallible My motivation for this change is just that it's annoying to check everywhere, especially since all but one call site was just ICEing on errors anyway right there. They can still fail, but now just return an error constant instead of having the caller handle the error. fixesrust-lang#114317fixesrust-lang#126182

rustbot assigned fee1-dead Jan 7, 2025

rustbot 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. labels Jan 7, 2025

oli-obk changed the title ~~Make lit_to_mir_constant infallible~~Make lit_to_mir_constant and lit_to_const infallibleJan 7, 2025

oli-obk commented Jan 7, 2025
View reviewed changes

Comment threadcompiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs Outdated

This comment has been minimized.
Sign in to view

oli-obk force-pushed the push-toyoyrupruko branch from 2256627 to f6146ffCompare January 7, 2025 16:00

This comment has been minimized.
Sign in to view

oli-obk force-pushed the push-toyoyrupruko branch from f6146ff to eb63fd6Compare January 8, 2025 08:44

lcnr reviewed Jan 8, 2025
View reviewed changes

Comment threadcompiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs Outdated

This comment has been minimized.
Sign in to view

lcnr reviewed Jan 8, 2025
View reviewed changes

lcnr assigned lcnr and unassigned fee1-dead Jan 8, 2025

oli-obk force-pushed the push-toyoyrupruko branch from eb63fd6 to 5d0405dCompare January 8, 2025 12:41

This comment has been minimized.
Sign in to view

oli-obk force-pushed the push-toyoyrupruko branch from 5d0405d to c92ed62Compare January 8, 2025 13:49

bors 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 Jan 8, 2025

matthiaskrgr mentioned this pull request Jan 8, 2025
Rollup of 6 pull requests #135260
Merged

matthiaskrgr mentioned this pull request Jan 8, 2025
Rollup of 7 pull requests #135267
Closed

matthiaskrgr mentioned this pull request Jan 9, 2025
Rollup of 6 pull requests #135277
Merged

bors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Jan 9, 2025

oli-obk added 5 commits January 9, 2025 08:48

Make lit_to_mir_constant infallible
7833cf7

Use error constant instead of explicit error handling
787af97

Always take the Ok path in lit_to_const and produce error constan…
07fcead
…ts instead

Remove the now-useless Result from lit_to_const
8505904

Use option combinators instead of manual if/return
84c8d4f

oli-obk force-pushed the push-toyoyrupruko branch from c92ed62 to 84c8d4fCompare January 9, 2025 08:49

bors 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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Jan 9, 2025

matthiaskrgr mentioned this pull request Jan 9, 2025
Rollup of 3 pull requests #135286
Merged

bors merged commit 8ff355a into rust-lang:masterJan 9, 2025

rustbot added this to the 1.86.0 milestone Jan 9, 2025

Uh oh!

Uh oh!

Conversation

oli-obk commented Jan 7, 2025• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Jan 7, 2025

Uh oh!

rustbot commented Jan 7, 2025

Uh oh!

Uh oh!

This comment has been minimized.

This comment has been minimized.

Uh oh!

This comment has been minimized.

lcnrJan 8, 2025

Choose a reason for hiding this comment

Uh oh!

oli-obkJan 8, 2025

Choose a reason for hiding this comment

Uh oh!

lcnr left a comment

Choose a reason for hiding this comment

Uh oh!

This comment has been minimized.

oli-obk commented Jan 8, 2025

Uh oh!

bors commented Jan 8, 2025

Uh oh!

matthiaskrgr commented Jan 9, 2025

Uh oh!

oli-obk commented Jan 9, 2025

Uh oh!

bors commented Jan 9, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

8 participants

oli-obk commented Jan 7, 2025•
edited
Loading