1
77%
master: 77%

Ran 07 Jun 2024 11:35AM UTC

Files 360

Run time 10s

Badge

Embed ▾

Committed 07 Jun 2024 02:14AM UTC coverage: 87.474% (-0.009%) from 87.483%

Job # #37800.1

Build Type

push

local

Committed by

web-flow

Commit Message

inference: follow up #54323, override ssaflags with new cycle effects (#54689)

JuliaLang/julia#54323 ensures that all frames within a cycle have the
same, cycle valid effects. However, `src.ssaflags` is calculated using
partial effects, so when the effects of a `frame` within the cycle are
updated, there would be an inconsistency between `frame.ipo_effects` and
`frame.src.ssaflags`. Due to this inconsistency, JuliaLang/julia#54323
breaks the test cases from JuliaLang/julia#51092, when backported to
v1.11. On the surface this is because JuliaLang/julia#52999 hasn't been
backported to v1.11, but the fundamental issue lies in this
inconsistency between cycle effects and `ssaflags`.

To resolve this issue, this commit traverses `cycle_backedges` to visit
statements involved in the cycle, and updates each `ssaflags` according
to new cycle valid effects if necessary.

Run Details

77014 of 88042 relevant lines covered (87.47%)

14983808.11 hits per line

JuliaLang / julia / #37800 / 1
77%
master: 77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37800.1

JuliaLang / julia / #37800 / 1 77% master: 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37800.1

JuliaLang / julia / #37800 / 1
77%
master: 77%

README BADGES
x