Skip to content

Fix JET warnings in copy_chunks!, copy_chunks_rtol!, fill_chunks!#60453

Merged
aviatesk merged 1 commit intomasterfrom
mh/JET-msk_d1
Dec 23, 2025
Merged

Fix JET warnings in copy_chunks!, copy_chunks_rtol!, fill_chunks!#60453
aviatesk merged 1 commit intomasterfrom
mh/JET-msk_d1

Conversation

@fingolfin
Copy link
Copy Markdown
Member

local variable msk_d1 may be undefined: msk_d1::UInt64

The code logic was actually right, but by transforming the code, JET can also see it (and arguably it is now also easier for a human to see that everything is correct)

@fingolfin fingolfin requested a review from aviatesk December 22, 2025 22:09
@fingolfin fingolfin added backport 1.12 Change should be backported to release-1.12 backport 1.13 Change should be backported to release-1.13 labels Dec 22, 2025
@fingolfin fingolfin changed the title Fix JET warnings in copy_chunks! and copy_chunks_rtol! Fix JET warnings in copy_chunks!, copy_chunks_rtol!, fill_chunks! Dec 22, 2025
> local variable `msk_d1` may be undefined: msk_d1::UInt64

> local variable `msk1` may be undefined: msk1::UInt64
Copy link
Copy Markdown
Member

@aviatesk aviatesk left a comment

Choose a reason for hiding this comment

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

Thanks so much!

and arguably it is now also easier for a human to see that everything is correct.

yeah, I might be a bit biased since I'm the one who enabled this analysis, but I genuinely think the logic has become easier to understand.

@aviatesk aviatesk merged commit db0ee41 into master Dec 23, 2025
6 of 8 checks passed
@aviatesk aviatesk deleted the mh/JET-msk_d1 branch December 23, 2025 05:50
aviatesk pushed a commit that referenced this pull request Dec 23, 2025
…!` (#60453)

> local variable `msk_d1` may be undefined: msk_d1::UInt64

The code logic was actually right, but by transforming the code, JET can
also see it (and arguably it is now also easier for a human to see that
everything is correct)
@aviatesk aviatesk removed the backport 1.13 Change should be backported to release-1.13 label Dec 23, 2025
aviatesk pushed a commit that referenced this pull request Dec 23, 2025
…!` (#60453)

> local variable `msk_d1` may be undefined: msk_d1::UInt64

The code logic was actually right, but by transforming the code, JET can
also see it (and arguably it is now also easier for a human to see that
everything is correct)
aviatesk added a commit that referenced this pull request Dec 23, 2025
This PR backports:
- #60452 
- #60453

to release-1.12 (i.e. 1.12.4).
@aviatesk aviatesk removed the backport 1.12 Change should be backported to release-1.12 label Dec 24, 2025
kpamnany pushed a commit to RelationalAI/julia that referenced this pull request Jan 16, 2026
…!` (JuliaLang#60453)

> local variable `msk_d1` may be undefined: msk_d1::UInt64

The code logic was actually right, but by transforming the code, JET can
also see it (and arguably it is now also easier for a human to see that
everything is correct)
kpamnany pushed a commit to RelationalAI/julia that referenced this pull request Jan 21, 2026
…!` (JuliaLang#60453)

> local variable `msk_d1` may be undefined: msk_d1::UInt64

The code logic was actually right, but by transforming the code, JET can
also see it (and arguably it is now also easier for a human to see that
everything is correct)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants