1
77%
master: 77%

Ran 28 Mar 2024 11:12AM UTC

Files 361

Run time 10s

Badge

Embed ▾

Committed 28 Mar 2024 03:09AM UTC coverage: 81.429% (+0.02%) from 81.412%

Job # #37730.1

Build Type

push

local

Committed by

web-flow

Commit Message

inference: Fix correctness and ensure termination in the presence of PhiNodes (#53876)

There's two related, but distinct, issues here:
1. We were not using `tmerge` for merging SSA results inside loops,
which could cause infinite looping. In the absence of PhiNodes, things
usually have to go through a slot to be able to make the round trip,
which would usually put a PhiNode on the path, but it's possible there
may be other ways to smuggle things around (e.g. through exception
handling).

2. We were not properly accounting for the fact that PhiNode uses do not
need to be linearly ordered in the same BB, so we were getting the type
of the testcase here incorrect by failing to re-schedule the PhiNode.

The first of these shows up in the Diffractor test suite, the second was
found by writing the test case.

Run Details

70660 of 86775 relevant lines covered (81.43%)

15721628.12 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37730.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37730.1

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

README BADGES
x