Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Closed
tkf opened this issue Oct 5, 2018 · 1 comment
Closed

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

tkf opened this issue Oct 5, 2018 · 1 comment
Assignees
@JeffBezanson
Labels
bug Indicates an unexpected problem or unintended behavior types and dispatch Types, subtyping and method dispatch

Comments

@tkf
Copy link
Member

tkf commented Oct 5, 2018 

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.
@tkf tkf mentioned this issue Oct 5, 2018
Closed
@JeffBezanson JeffBezanson added the types and dispatch Types, subtyping and method dispatch label Oct 5, 2018
@JeffBezanson
Copy link
Member

Yes, thank you for reporting this!

@JeffBezanson JeffBezanson self-assigned this Oct 5, 2018
@JeffBezanson JeffBezanson added the bug Indicates an unexpected problem or unintended behavior label Oct 5, 2018
JeffBezanson added a commit that referenced this issue Oct 5, 2018
@JeffBezanson
fix #29528, specificity transitivity error in DiffEqBase
f034533
@KristofferC KristofferC mentioned this issue Oct 6, 2018
Merged
KristofferC pushed a commit that referenced this issue Oct 10, 2018
@JeffBezanson @KristofferC
fix #29528, specificity transitivity error in DiffEqBase
c88e33b 
(cherry picked from commit f034533)
KristofferC pushed a commit that referenced this issue Feb 11, 2019
@JeffBezanson @KristofferC
fix #29528, specificity transitivity error in DiffEqBase
0029236 
(cherry picked from commit f034533)
KristofferC pushed a commit that referenced this issue Feb 20, 2020
@JeffBezanson @KristofferC
fix #29528, specificity transitivity error in DiffEqBase
5c91eac 
(cherry picked from commit f034533)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeffBezanson JeffBezanson

Labels
bug Indicates an unexpected problem or unintended behavior types and dispatch Types, subtyping and method dispatch
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tkf @JeffBezanson