Skip to content

JETAnalyzer: fix #669, allow concrete evaluation for typejoin #1902

JETAnalyzer: fix #669, allow concrete evaluation for typejoin

JETAnalyzer: fix #669, allow concrete evaluation for typejoin #1902

Triggered via pull request October 18, 2024 18:18
Status Success
Total duration 4m 38s
Artifacts

docs.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`print_report_message`](@ref)" in src/generated-plugin-api.md. - No docstring found in doc for binding `JET.print_report_message`. - No docstring found in doc for binding `Main.print_report_message`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`JETInterface.print_report_message(io::IO, report::Report)`](@ref print_report_message)" in src/generated-plugin-api.md. - No docstring found in doc for binding `JET.print_report_message`. - No docstring found in doc for binding `Main.print_report_message`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`JETInterface.print_signature(::Report) -> Bool`](@ref print_signature)" in src/generated-plugin-api.md. - No docstring found in doc for binding `JET.print_signature`. - No docstring found in doc for binding `Main.print_signature`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`Base.Experimental.@max_methods`](@ref)" in src/config.md. - Exception trying to find docref for `Base.Experimental.@max_methods`: unable to get the binding for `Base.Experimental.@max_methods` in module Core.Compiler - No docstring found in doc for binding `Base.Experimental.@max_methods`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`Base.@constprop :none`](@ref Base.@constprop)" in src/config.md. - Exception trying to find docref for `Base.@constprop`: unable to get the binding for `Base.@constprop` in module Core.Compiler - No docstring found in doc for binding `Base.@constprop`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`Base.@constprop :aggressive`](@ref Base.@constprop)" in src/config.md. - Exception trying to find docref for `Base.@constprop`: unable to get the binding for `Base.@constprop` in module Core.Compiler - No docstring found in doc for binding `Base.@constprop`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
Cannot resolve @ref for md"[`@nospecialize`](@ref)" in src/config.md. - No docstring found in doc for binding `Core.Compiler.@nospecialize`. - No docstring found in doc for binding `Base.@nospecialize`.
build: ../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
171 docstrings not included in the manual: Core.Compiler.is_const_prop_profitable_arg :: Tuple{Core.Compiler.AbstractLattice, Any} Core.Compiler.stmt_effect_flags :: Tuple{Core.Compiler.AbstractLattice, Any, Any, Union{Core.Compiler.IRCode, Core.Compiler.IncrementalCompact}} Core.Compiler.GenericDomTree Core.Compiler.heapify! :: Tuple{Vector, Core.Compiler.Order.Ordering} Core.Compiler.findsup :: Tuple{Type, Core.Compiler.InternalMethodTable} Core.Compiler.canonicalize_typeassert! :: Tuple{Core.Compiler.IncrementalCompact, Int64, Expr} Core.Compiler.is_parent :: Tuple{Core.Compiler.DFSTree, Int64, Int64} Core.Compiler.Order.ord :: Union{Tuple{Any, Any, Nothing}, Tuple{Any, Any, Nothing, Core.Compiler.Order.Ordering}} Core.Compiler.InternalCodeCache Core.Compiler.method_table :: Tuple{Core.Compiler.AbstractInterpreter} Core.Compiler.dominated :: Tuple{Core.Compiler.GenericDomTree{false}, Int64} Core.Compiler.CallMeta JET.IntrinsicErrorCheckLattice Core.Compiler.heappush! :: Tuple{Vector, Any, Core.Compiler.Order.Ordering} JET.print_report_message :: Tuple{IO, JET.InferenceErrorReport} Core.Compiler.validate_code! :: Union{Tuple{Vector{Core.Compiler.InvalidCodeError}, Core.CodeInfo}, Tuple{Vector{Core.Compiler.InvalidCodeError}, Core.CodeInfo, Bool}} Core.Compiler.validate_code! :: Tuple{Vector{Core.Compiler.InvalidCodeError}, Core.MethodInstance, Union{Nothing, Core.CodeInfo}} Core.Compiler.EscapeAnalysis.:⊑ₑ :: Tuple{Core.Compiler.EscapeAnalysis.EscapeInfo, Core.Compiler.EscapeAnalysis.EscapeInfo} Core.Compiler.snca_compress! :: Tuple{Vector{Core.Compiler.SNCAData}, Vector{Int64}, Int64, Int64} Core.Compiler.rename_nodes! :: Tuple{Core.Compiler.DFSTree, Vector{Int64}} Core.Compiler.rename_nodes! :: Tuple{Core.Compiler.GenericDomTree{false}, Vector{Int64}} Core.Compiler.UnionSplitApplyCallInfo Core.Compiler.widenreturn Core.Compiler.isTypeDataType :: Tuple{Any} Core.Compiler.EscapeAnalysis.:⊔ₑ :: Tuple{Core.Compiler.EscapeAnalysis.EscapeInfo, Core.Compiler.EscapeAnalysis.EscapeInfo} Core.Compiler.Conditional Core.Compiler.SSADefUse Core.Compiler.kill_edge! :: Union{Tuple{Core.Compiler.CFGReachability, Core.Compiler.CFG, Int64, Int64}, Tuple{Core.Compiler.CFGReachability, Core.Compiler.CFG, Int64, Int64, Any}, Tuple{Core.Compiler.CFGReachability, Core.Compiler.CFG, Int64, Int64, Any, Any}} Core.Compiler.EscapeAnalysis.EscapeInfo Core.Compiler.:⊏ :: Tuple{Core.Compiler.AbstractLattice, Any, Any} Core.Compiler.widenreturn_noslotwrapper Core.Compiler.NativeInterpreter Core.Compiler.Timings.Timing Core.Compiler.lift_comparison! Core.Compiler.@nospecs :: Tuple{Any} Core.Compiler.DominatedBlocks Core.Compiler.lock_mi_inference :: Tuple{Core.Compiler.NativeInterpreter, Core.MethodInstance} Core.Compiler.EscapeAnalysis.analyze_escapes :: Tuple{Core.Compiler.IRCode, Int64, Core.Compiler.AbstractLattice, Any} Core.Compiler.argextype :: Union{Tuple{Any, Core.Compiler.IRCode}, Tuple{Any, Core.Compiler.IRCode, Vector{Core.Compiler.VarState}}} Core.Compiler.walk_to_defs :: Tuple{Core.Compiler.IncrementalCompact, Any, Any, Any, Core.Compiler.AbstractLattice} Core.Compiler.nearest_common_dominator :: Tuple{Core.Compiler.GenericDomTree, Int64, Int64} Core.Compiler.tmerge_field Core.Compiler.SNCA! :: Union{Tuple{IsPostDom}, Tuple{Core.Compiler.GenericDomTree{IsPostDom}, Vector{Core.Compiler.BasicBlock}, Int64}} where IsPostDom JET.UncaughtExceptionReport Core.InterConditional Core.Compiler.add_remark! Core.Compiler.Order.Reverse Core.Compiler.EscapeAnalysis.num_groups :: Tuple{Core.Compiler.EscapeAnalysis.IntDisjointSet} Core.Compiler.Order.By Core.Compiler.TwoPhaseDefUseMap JET.AbstractBuiltinErrorReport Core.Compiler.EscapeAnalysis.escape_exception! :: Tuple{Core.Compiler.EscapeAnalysis.AnalysisState, Vector{Core.Compiler.UnitRange{Int64}}} Core.Compiler.unlock_mi_inference :: Tuple{Core.Compiler.NativeInterpreter, Core.MethodIns
build: ../../../.julia/packages/Documenter/C1XEF/src/html/HTMLWriter.jl#L1828
Generated HTML over size_threshold_warn limit: jetanalysis.md Generated file size: 118.4 (KiB) size_threshold_warn: 100.0 (KiB) size_threshold: 200.0 (KiB) HTML file: jetanalysis/index.html
build: ../../../.julia/packages/Documenter/C1XEF/src/deploydocs.jl#L533
removing `stable` and linking `stable` to `v0.9.11`.