#37219
77%

Ran 03 Aug 2022 11:14AM UTC

Jobs 1

Files 373

Run time 16s

Badge

Embed ▾

pending completion

Build # #37219

Build Type

push

local

Committed by

web-flow

Commit Message

effects: add `:inaccessiblememonly` effect (#46198)

This is a preparatory PR for future improvements on the effects analysis.
This commit adds the `:inaccessiblememonly` helper effect, that tracks
if a method involves any access or modification on any mutable state.
This effect property is basically same as LLVM's `inaccessiblememonly`
function attribute, except that it only reasons about mutable memory.
This effect property can be considered as a very limited and coarse
version of escape analysis and allow us prove `:consistent`-cy or
`:effect_free`-ness even in a presence of accesses or modifications
on local mutable allocations in cases when we can prove they are local
and don't escape. Separate PRs that actually improve the effect analysis
accuracy will follow.

Run Details

76320 of 81595 relevant lines covered (93.54%)

34076778.29 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37219.1	03 Aug 2022 11:14AM UTC	0	93.54

Source Files on build #37219

Detailed source file information is not available for this build.

JuliaLang / julia / #37219
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37219

JuliaLang / julia / #37219 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37219

JuliaLang / julia / #37219
77%

README BADGES
x