JuliaDebug / Cthulhu.jl

The slow descent into madness
MIT License
650 stars 41 forks source link

Statement duplication #230

Open vchuravy opened 3 years ago

vchuravy commented 3 years ago
   %25  = invoke column_args(::Tuple{…},::Tuple{…})::…
   %26  = < uncached > column_args(::Tuple{…},::Tuple{…})::…

If I select the first I get:

ERROR: KeyError: key MethodInstance for ClimaCore.Operators.column_args(::Tuple{Int64, Int64, Int64}, ::Tuple{Base.Broadcast.Broadcasted{ClimaCore.Operators.StencilStyle, ClimaCore.Spaces.FiniteDifferenceSpace{ClimaCore.Spaces.CellCenter, ClimaCore.Meshes.IntervalMesh{Float64, ClimaCore.Domains.IntervalDomain{Float64, Tuple{Symbol, Symbol}}, StepRangeLen{Float64, Base.TwicePrecision{Float64}, Base.TwicePrecision{Float64}, Int64}, NamedTuple{(:bottom, :top), Tuple{Int64, Int64}}}, ClimaCore.DataLayouts.VF{ClimaCore.Geometry.LocalGeometry{Float64, Float64, ClimaCore.Geometry.AxisTensor{Float64, 2, Tuple{ClimaCore.Geometry.CartesianAxis{(3,)}, ClimaCore.Geometry.CovariantAxis{(3,)}}, StaticArrays.SMatrix{1, 1, Float64, 1}}, ClimaCore.Geometry.AxisTensor{Float64, 2, Tuple{ClimaCore.Geometry.ContravariantAxis{(3,)}, ClimaCore.Geometry.CartesianAxis{(3,)}}, StaticArrays.SMatrix{1, 1, Float64, 1}}}, Matrix{Float64}}}, ClimaCore.Operators.DivergenceF2C{NamedTuple{(), Tuple{}}}, Tuple{ClimaCore.Fields.Field{ClimaCore.DataLayouts.VF{ClimaCore.Geometry.AxisTensor{Float64, 1, Tuple{ClimaCore.Geometry.CartesianAxis{(3,)}}, StaticArrays.SVector{1, Float64}}, Matrix{Float64}}, ClimaCore.Spaces.FiniteDifferenceSpace{ClimaCore.Spaces.CellFace, ClimaCore.Meshes.IntervalMesh{Float64, ClimaCore.Domains.IntervalDomain{Float64, Tuple{Symbol, Symbol}}, StepRangeLen{Float64, Base.TwicePrecision{Float64}, Base.TwicePrecision{Float64}, Int64}, NamedTuple{(:bottom, :top), Tuple{Int64, Int64}}}, ClimaCore.DataLayouts.VF{ClimaCore.Geometry.LocalGeometry{Float64, Float64, ClimaCore.Geometry.AxisTensor{Float64, 2, Tuple{ClimaCore.Geometry.CartesianAxis{(3,)}, ClimaCore.Geometry.CovariantAxis{(3,)}}, StaticArrays.SMatrix{1, 1, Float64, 1}}, ClimaCore.Geometry.AxisTensor{Float64, 2, Tuple{ClimaCore.Geometry.ContravariantAxis{(3,)}, ClimaCore.Geometry.CartesianAxis{(3,)}}, StaticArrays.SMatrix{1, 1, Float64, 1}}}, Matrix{Float64}}}}}}}) not found
Stacktrace:
 [1] getindex(h::Dict{Core.MethodInstance, Core.CodeInstance}, key::Core.MethodInstance)
   @ Base ./dict.jl:481
 [2] _descend(term::REPL.Terminals.TTYTerminal, interp::Cthulhu.CthulhuInterpreter, mi::Core.MethodInstance; override::Nothing, debuginfo::Cthulhu.DInfo.DebugInfo, params::Core.Compiler.NativeInterpreter, optimize::Bool, interruptexc::Bool, iswarn::Bool, hide_type_stable::Bool, verbose::Nothing, remarks::Bool, inline_cost::Bool)
   @ Cthulhu ~/.julia/packages/Cthulhu/JTUZa/src/Cthulhu.jl:249
 [3] _descend(term::REPL.Terminals.TTYTerminal, interp::Cthulhu.CthulhuInterpreter, mi::Core.MethodInstance; override::Nothing, debuginfo::Cthulhu.DInfo.DebugInfo, params::Core.Compiler.NativeInterpreter, optimize::Bool, interruptexc::Bool, iswarn::Bool, hide_type_stable::Nothing, verbose::Nothing, remarks::Bool, inline_cost::Bool)
   @ Cthulhu ~/.julia/packages/Cthulhu/JTUZa/src/Cthulhu.jl:371
 [4] _descend(::REPL.Terminals.TTYTerminal, ::Any, ::Vararg{Any}; kwargs::Base.Pairs{Symbol, Bool, Tuple{Symbol}, NamedTuple{(:iswarn,), Tuple{Bool}}})
   @ Cthulhu ~/.julia/packages/Cthulhu/JTUZa/src/Cthulhu.jl:490
 [5] _descend_with_error_handling(::Any, ::Vararg{Any}; terminal::Any, kwargs::Base.Pairs{Symbol, V, Tuple{Vararg{Symbol, N}}, NamedTuple{names, T}} where {V, N, names, T<:Tuple{Vararg{Any, N}}})
   @ Cthulhu ~/.julia/packages/Cthulhu/JTUZa/src/Cthulhu.jl:148
 [6] descend_code_typed(f::Function, tt::Any; kwargs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
   @ Cthulhu ~/.julia/packages/Cthulhu/JTUZa/src/Cthulhu.jl:120
 [7] descend_code_typed(f::Function, tt::Any)
   @ Cthulhu ~/.julia/packages/Cthulhu/JTUZa/src/Cthulhu.jl:120
 [8] top-level scope
   @ REPL[7]:1

The second descends properly.

aviatesk commented 3 years ago

Now it seems hard to reproduce this error with https://github.com/CliMA/ClimaCore.jl/pull/195.

vchuravy commented 3 years ago

I think I last hit it on https://github.com/CliMA/ClimaCore.jl/pull/195/commits/ef0b1361b3dc36edc645ef29c2c39f0a85027dba

On Mon, Sep 27, 2021, 13:42 Shuhei Kadowaki @.***> wrote:

Now it seems hard to reproduce this error with CliMA/ClimaCore.jl#195 https://github.com/CliMA/ClimaCore.jl/pull/195.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/JuliaDebug/Cthulhu.jl/issues/230#issuecomment-928104911, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABDO2U6ALIDFEG6JLMY2E3UECUJ5ANCNFSM5EZGWD3A . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.