#37534
77%

Ran 10 May 2023 12:19PM UTC

Jobs 1

Files 347

Run time 4s

Badge

Embed ▾

pending completion

Build # #37534

Build Type

push

local

Committed by

web-flow

Commit Message

irinterp: Consider cfg information from discovered errors (#49692)

If we infer a call to `Union{}`, we can terminate further abstract
interpretation. However, this of course also means that we can
make use of that information to refine the types of any phis
that may have originated from the basic block containing the
call that was refined to `Union{}`.

Co-authored-by: Shuhei Kadowaki <aviatesk@gmail.com>

Run Details

73354 of 83597 relevant lines covered (87.75%)

33196484.06 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37534.1	10 May 2023 12:19PM UTC	347	87.75

JuliaLang / julia / #37534
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37534

JuliaLang / julia / #37534 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37534

JuliaLang / julia / #37534
77%

README BADGES
x