Skip to content

"Assertion `!jl_subtype((jl_value_t*)sig, (jl_value_t*)type)' failed" when compiling DiffEqBase using julia-debug #29528

@tkf

Description

@tkf
julia> versioninfo()
Julia Version 1.1.0-DEV.373
Commit 4412dd4d92 (2018-10-03 01:06 UTC)
DEBUG build
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
  CPU: Intel(R) Core(TM) i7-8550U CPU @ 1.80GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-6.0.1 (ORCJIT, skylake)

julia> run(`git -C $(dirname(Base.find_package("DiffEqBase"))) rev-parse HEAD`)
1f89c1aff8e1841e0558782d56d0973ad309f57a
Process(`git -C /home/takafumi/.julia/dev/DiffEqBase/src rev-parse HEAD`, ProcessExited(0))

julia> using DiffEqBase
[ Info: Precompiling DiffEqBase [2b5f629d-d688-5b77-993f-72d75c75574e]
julia-debug: /home/takafumi/repos/watch/julia/src/gf.c:1189: check_ambiguous_visitor: Assertion `!jl_subtype((jl_value_t*)sig, (jl_value_t*)type)' failed.

signal (6): Aborted
in expression starting at /home/takafumi/.julia/dev/DiffEqBase/src/solutions/solution_interface.jl:5
gsignal at /usr/lib/libc.so.6 (unknown line)
abort at /usr/lib/libc.so.6 (unknown line)
__assert_fail_base.cold.0 at /usr/lib/libc.so.6 (unknown line)
__assert_fail at /usr/lib/libc.so.6 (unknown line)
check_ambiguous_visitor at /home/takafumi/repos/watch/julia/src/gf.c:1189
jl_typemap_intersection_node_visitor at /home/takafumi/repos/watch/julia/src/typemap.c:486
jl_typemap_intersection_visitor at /home/takafumi/repos/watch/julia/src/typemap.c:553
jl_typemap_intersection_visitor at /home/takafumi/repos/watch/julia/src/typemap.c:544
check_ambiguous_matches at /home/takafumi/repos/watch/julia/src/gf.c:1276
jl_method_table_insert at /home/takafumi/repos/watch/julia/src/gf.c:1554
jl_method_def at /home/takafumi/repos/watch/julia/src/method.c:830
eval_methoddef at /home/takafumi/repos/watch/julia/src/interpreter.c:309
eval_body at /home/takafumi/repos/watch/julia/src/interpreter.c:727
jl_interpret_toplevel_thunk_callback at /home/takafumi/repos/watch/julia/src/interpreter.c:880
unknown function (ip: 0xfffffffffffffffe)
unknown function (ip: 0x7f19fa29398f)
unknown function (ip: 0x6)
jl_interpret_toplevel_thunk at /home/takafumi/repos/watch/julia/src/interpreter.c:889
jl_toplevel_eval_flex at /home/takafumi/repos/watch/julia/src/toplevel.c:818
jl_parse_eval_all at /home/takafumi/repos/watch/julia/src/ast.c:881
jl_load at /home/takafumi/repos/watch/julia/src/toplevel.c:852
jl_load_ at /home/takafumi/repos/watch/julia/src/toplevel.c:859
include at ./boot.jl:317 [inlined]
include_relative at ./loading.jl:1044
include at ./sysimg.jl:29 [inlined]
include at /home/takafumi/.julia/dev/DiffEqBase/src/DiffEqBase.jl:1
jl_fptr_args at /home/takafumi/repos/watch/julia/src/gf.c:1853
jl_apply_generic at /home/takafumi/repos/watch/julia/src/gf.c:2198
do_call at /home/takafumi/repos/watch/julia/src/interpreter.c:323
eval_value at /home/takafumi/repos/watch/julia/src/interpreter.c:411
eval_stmt_value at /home/takafumi/repos/watch/julia/src/interpreter.c:362
eval_body at /home/takafumi/repos/watch/julia/src/interpreter.c:750
jl_interpret_toplevel_thunk_callback at /home/takafumi/repos/watch/julia/src/interpreter.c:880
unknown function (ip: 0xfffffffffffffffe)
unknown function (ip: 0x7f19fa29316f)
unknown function (ip: 0xffffffffffffffff)
jl_interpret_toplevel_thunk at /home/takafumi/repos/watch/julia/src/interpreter.c:889
jl_toplevel_eval_flex at /home/takafumi/repos/watch/julia/src/toplevel.c:818
jl_eval_module_expr at /home/takafumi/repos/watch/julia/src/toplevel.c:233
jl_toplevel_eval_flex at /home/takafumi/repos/watch/julia/src/toplevel.c:656
jl_parse_eval_all at /home/takafumi/repos/watch/julia/src/ast.c:881
jl_load at /home/takafumi/repos/watch/julia/src/toplevel.c:852
jl_load_ at /home/takafumi/repos/watch/julia/src/toplevel.c:859
include at ./boot.jl:317 [inlined]
include_relative at ./loading.jl:1044
include at ./sysimg.jl:29
jl_fptr_args at /home/takafumi/repos/watch/julia/src/gf.c:1853
jl_apply_generic at /home/takafumi/repos/watch/julia/src/gf.c:2198
do_call at /home/takafumi/repos/watch/julia/src/interpreter.c:323
eval_value at /home/takafumi/repos/watch/julia/src/interpreter.c:411
eval_stmt_value at /home/takafumi/repos/watch/julia/src/interpreter.c:362
eval_body at /home/takafumi/repos/watch/julia/src/interpreter.c:750
eval_body at /home/takafumi/repos/watch/julia/src/interpreter.c:685
jl_interpret_toplevel_thunk_callback at /home/takafumi/repos/watch/julia/src/interpreter.c:880
unknown function (ip: 0xfffffffffffffffe)
unknown function (ip: 0x7f1a36e12e4f)
unknown function (ip: 0x2)
jl_interpret_toplevel_thunk at /home/takafumi/repos/watch/julia/src/interpreter.c:889
jl_toplevel_eval_flex at /home/takafumi/repos/watch/julia/src/toplevel.c:818
jl_toplevel_eval at /home/takafumi/repos/watch/julia/src/toplevel.c:827
jl_toplevel_eval_in at /home/takafumi/repos/watch/julia/src/builtins.c:622
eval at ./boot.jl:319 [inlined]
eval at ./client.jl:389
jl_fptr_args at /home/takafumi/repos/watch/julia/src/gf.c:1853
jl_apply_generic at /home/takafumi/repos/watch/julia/src/gf.c:2198
top-level scope at ./none:3
jl_fptr_args at /home/takafumi/repos/watch/julia/src/gf.c:1853
jl_fptr_trampoline at /home/takafumi/repos/watch/julia/src/gf.c:1843
jl_toplevel_eval_flex at /home/takafumi/repos/watch/julia/src/toplevel.c:812
jl_toplevel_eval at /home/takafumi/repos/watch/julia/src/toplevel.c:827
jl_toplevel_eval_in at /home/takafumi/repos/watch/julia/src/builtins.c:622
eval at ./boot.jl:319
jl_fptr_args at /home/takafumi/repos/watch/julia/src/gf.c:1853
jl_apply_generic at /home/takafumi/repos/watch/julia/src/gf.c:2198
macro expansion at ./logging.jl:317 [inlined]
exec_options at ./client.jl:219
_start at ./client.jl:421
jl_fptr_args at /home/takafumi/repos/watch/julia/src/gf.c:1853
jl_apply_generic at /home/takafumi/repos/watch/julia/src/gf.c:2198
jl_apply at /home/takafumi/repos/watch/julia/ui/../src/julia.h:1562
true_main at /home/takafumi/repos/watch/julia/ui/repl.c:112
main at /home/takafumi/repos/watch/julia/ui/repl.c:233
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
_start at /home/takafumi/repos/watch/julia/usr/bin/julia-debug (unknown line)
Allocations: 5553915 (Pool: 5552955; Big: 960); GC: 10
ERROR: Failed to precompile DiffEqBase [2b5f629d-d688-5b77-993f-72d75c75574e] to /home/takafumi/.julia/compiled/v1.1/DiffEqBase/oaevG.ji.
Stacktrace:
 [1] error(::String) at ./error.jl:33
 [2] macro expansion at ./logging.jl:313 [inlined]
 [3] compilecache(::Base.PkgId, ::String) at ./loading.jl:1190
 [4] macro expansion at ./logging.jl:311 [inlined]
 [5] _require(::Base.PkgId) at ./loading.jl:947
 [6] require(::Base.PkgId) at ./loading.jl:858
 [7] macro expansion at ./logging.jl:311 [inlined]
 [8] require(::Module, ::Symbol) at ./loading.jl:840

The error points to this method in solution_interface.jl.

I'm assuming that this is worthy of a bug report by looking at, e.g., #29136.

Metadata

Metadata

Assignees

Labels

bugIndicates an unexpected problem or unintended behaviortypes and dispatchTypes, subtyping and method dispatch

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions