Skip to content

Conversation

@topolarity
Copy link
Member

We only support a few built-in versions of this call (due to #57830), but those should at least be working now with this small tweak.

Includes a fix-up for built-in functions to be included in the method table for --trim'd executables, so that we can dynamically dispatch to them as the verifier expects.

@topolarity topolarity requested a review from vtjnash November 6, 2025 15:11
@topolarity topolarity added trimming Issues with trimming functionality or PR's relevant to its performance/functionality backport 1.12 Change should be backported to release-1.12 labels Nov 6, 2025
We only support a few built-in versions of this call (due to
JuliaLang#57830), but those should
at least be working now with this small tweak.

This required a fix-up for built-in functions to be included in the
method table for `--trim`'d executables, so that we can dynamically
dispatch to them, as the verifier expects.
@topolarity topolarity force-pushed the ct/fix-apply_iterate branch from 58cb358 to 94c9252 Compare November 6, 2025 15:48
jl_value_t *params[2];
params[0] = dt->name->wrapper;
params[1] = jl_tparam0(jl_anytuple_type);
jl_datatype_t *tt = (jl_datatype_t*)jl_apply_tuple_type_v(params, 2);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs gc root for tt

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

GC is disabled just a few lines above this, but sure thing

end
# TODO: check for calls to Base.atexit?
elseif isexpr(stmt, :call)
error = "unresolved call"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This makes things less parallel structured here (normally the function sets the error message, then uses continue to skip it, instead of attempting to catch every possible else clause)

@KristofferC KristofferC mentioned this pull request Nov 7, 2025
35 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport 1.12 Change should be backported to release-1.12 trimming Issues with trimming functionality or PR's relevant to its performance/functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants