#37215
77%

Ran 30 Jul 2022 11:59AM UTC

Jobs 1

Files 384

Run time 2min

Badge

Embed ▾

pending completion

Build # #37215

Build Type

push

local

Committed by

web-flow

Commit Message

effects: redesign the `Effects` data structure (#46180)

This commit stops representing each effect property as `TriState` but
represents them as `UInt8` or `Bool` directly. The motivation is that
the tri-state representation hasn't been used actually and rather the
incoming improvements on the analysis want to represent some effects
as bits to propagate more information. For example, `:consistent`-cy
is represented as `UInt8`, where currently it has the following meanings:
- `const ALWAYS_TRUE = 0x00`
- `const ALWAYS_FALSE = 0x01`
- `const CONSISTENT_IF_NOTRETURNED = 0x02`: the `:consistent`-cy can be
  refined using the return type information later in a case when
  allocated mutable objects are never returned

and I'm also planning to add `const CONSISTENT_IF_NOGLOBAL = 0x04`, that
allows us to improve the analysis accuracy by refining the `:consistent`-cy
using new effect property that tracks escapability of mutable objects
(and actually the similar improvement can be added for `:effect_free`-ness
by changing its type from `Bool` to `UInt8` as like `:consistent`-cy).

Run Details

78326 of 84193 relevant lines covered (93.03%)

37920510.62 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37215.1	30 Jul 2022 11:59AM UTC	0	93.03

Source Files on build #37215

Detailed source file information is not available for this build.

JuliaLang / julia / #37215
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37215

JuliaLang / julia / #37215 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37215

JuliaLang / julia / #37215
77%

README BADGES
x