Skip to content

fix ICE in const_c_variadic when passing ZSTs#153398

Open
folkertdev wants to merge 1 commit intorust-lang:mainfrom
folkertdev:const-c-variadic-trailing-zst
Open

fix ICE in const_c_variadic when passing ZSTs#153398
folkertdev wants to merge 1 commit intorust-lang:mainfrom
folkertdev:const-c-variadic-trailing-zst

Conversation

@folkertdev
Copy link
Contributor

fixes #153351
r? RalfJung

There was a mismatch between the caller and callee ABI where the caller does not pass ZST arguments, but the callee does expect them. Because ZSTs don't implement VaArgSafe the program must already be invalid if this comes up.

@folkertdev folkertdev added the F-c_variadic `#![feature(c_variadic)]` label Mar 4, 2026
@rustbot
Copy link
Collaborator

rustbot commented Mar 4, 2026

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

@rustbot 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 Mar 4, 2026
@rustbot
Copy link
Collaborator

rustbot commented Mar 4, 2026

RalfJung is not on the review rotation at the moment.
They may take a while to respond.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

F-c_variadic `#![feature(c_variadic)]` 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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ICE]: callee_abis.next().is_none()

3 participants