1
78%
master: 78%

Ran 05 Aug 2022 11:10AM UTC

Files 384

Run time 17s

Badge

Embed ▾

Committed 05 Aug 2022 11:10AM UTC coverage: 93.137% (-0.1%) from 93.241%

Job # #37221.1

Build Type

push

local

Committed by

web-flow

Commit Message

effects: add effects analysis for array construction (#46015)

This commit implements an infrastructure to analyze effects of
`:foreigncall` expression, and especially implements effects
analysis for array constructions.

Some improvements:
```julia
julia> @noinline construct_array(@nospecialize(T), args...) = Array{T}(undef, args...);

julia> function check_dims(T, dims)
           construct_array(T, dims...)
           return  nothing
       end;
```

```julia
julia> code_typed() do
           check_dims(Int, (1,2,3))
       end
```
```diff
diff --git a/_master b/_pr
index b0ed0eaac1..38e2d3553d 100644
--- a/_master
+++ b/_pr
@@ -1,6 +1,4 @@
 1-element Vector{Any}:
  CodeInfo(
-1 ─      invoke Main.construct_array(Int64::Any, -1::Int64, 2::Vararg{Int64}, 3)::Any
-│   %2 = Main.nothing::Nothing
-└──      return %2
+1 ─     return nothing
 ) => Nothing
```

```julia
julia> code_typed() do
          check_dims(Int, (-1,2,3))
      end
```
```diff
diff --git a/_master b/_pr
index b0ed0eaac1..e5e724db10 100644
--- a/_master
+++ b/_pr
@@ -1,6 +1,5 @@
 1-element Vector{Any}:
  CodeInfo(
-1 ─      invoke Main.construct_array(Int64::Any, -1::Int64, 2::Vararg{Int64}, 3)::Any
-│   %2 = Main.nothing::Nothing
-└──      return %2
-) => Nothing
+1 ─     invoke Main.check_dims(Main.Int::Type, (-1, 2, 3)::Tuple{Int64, Int64, Int64})::Union{}
+└──     unreachable
+) => Union{}
```

Coverage Stats

79025 of 84848 relevant lines covered (93.14%)

34263347.22 hits per line

JuliaLang / julia / #37221 / 1
78%
master: 78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37221.1

JuliaLang / julia / #37221 / 1 78% master: 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37221.1

JuliaLang / julia / #37221 / 1
78%
master: 78%

README BADGES
x