Closed
Description
The following error seems like a Julia bug. To reproduce, checkout the branch schillic/1599_crash in LazySets.jl
We tried in julia v1.6 and also v1.7.0-beta3.
Running with julia --bug-report=rr gives Debugged process failed (see below), so I don't know if it is useful to upload the files generated by rr. In that case, should I upload the whole folder artifacts/jl_QyPBaJ/julia-0?
$ julia --bug-report=rr
......
rr: Saving execution to trace directory `/home/mforets/.julia/artifacts/jl_QyPBaJ/julia-0'.
(_) | (_) (_) |
_ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help.
| | | | | | |/ _` | |
| | |_| | | | (_| | | Version 1.6.0 (2021-03-24)
_/ |\__'_|_|_|\__'_| | Official https://julialang.org/ release
|__/ |
julia> using LazySets
[ Info: Precompiling LazySets [b4f0291d-fe17-52bc-9479-3d1a343d9043]
julia> X = BallInf(zeros(2), 1.0)
BallInf{Float64, Vector{Float64}}([0.0, 0.0], 1.0)
julia> Y = Ball1(zeros(2), 1.0)
Ball1{Float64, Vector{Float64}}([0.0, 0.0], 1.0)
julia> S = Singleton(zeros(2))
Singleton{Float64, Vector{Float64}}([0.0, 0.0])
julia> Z = minkowski_sum(X + Y, S)
Unreachable reached at 0x7facbfe705b9
signal (4): Illegal instruction
in expression starting at REPL[5]:1
_minkowski_sum_vpolygon at /home/mforets/.julia/dev/LazySets/src/ConcreteOperations/minkowski_sum.jl:347
#minkowski_sum#381 at /home/mforets/.julia/dev/LazySets/src/ConcreteOperations/minkowski_sum.jl:54
minkowski_sum at /home/mforets/.julia/dev/LazySets/src/ConcreteOperations/minkowski_sum.jl:49
unknown function (ip: 0x7facbfe7134c)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2237 [inlined]
jl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2419
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1703 [inlined]
do_call at /buildworker/worker/package_linux64/build/src/interpreter.c:115
eval_value at /buildworker/worker/package_linux64/build/src/interpreter.c:204
eval_stmt_value at /buildworker/worker/package_linux64/build/src/interpreter.c:155 [inlined]
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:561
jl_interpret_toplevel_thunk at /buildworker/worker/package_linux64/build/src/interpreter.c:669
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:877
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:825
jl_toplevel_eval_in at /buildworker/worker/package_linux64/build/src/toplevel.c:929
eval at ./boot.jl:360 [inlined]
eval_user_input at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/REPL/src/REPL.j
l:139
repl_backend_loop at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/REPL/src/REPL
.jl:200
start_repl_backend at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/REPL/src/REP
L.jl:185
#run_repl#42 at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/REPL/src/REPL.jl:3
17
run_repl at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/REPL/src/REPL.jl:305
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2237 [inlined]
jl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2419
#874 at ./client.jl:387
jfptr_YY.874_46600.clone_1 at /home/mforets/Tools/julia-1.6.0-linux-x86_64/julia-1.6.0/lib/julia/sys.so
(unknown line)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2237 [inlined]
jl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2419
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1703 [inlined]
jl_f__call_latest at /buildworker/worker/package_linux64/build/src/builtins.c:714
#invokelatest#2 at ./essentials.jl:708 [inlined]
invokelatest at ./essentials.jl:706 [inlined]
run_main_repl at ./client.jl:372
exec_options at ./client.jl:302
_start at ./client.jl:485
jfptr__start_41020.clone_1 at /home/mforets/Tools/julia-1.6.0-linux-x86_64/julia-1.6.0/lib/julia/sys.so
(unknown line)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2237 [inlined]
jl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2419
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1703 [inlined]
true_main at /buildworker/worker/package_linux64/build/src/jlapi.c:560
repl_entrypoint at /buildworker/worker/package_linux64/build/src/jlapi.c:702
main at /buildworker/worker/package_linux64/build/cli/loader_exe.c:51
__libc_start_main at /lib64/libc.so.6 (unknown line)
_start at /home/mforets/Tools/julia-1.6.0-linux-x86_64/julia-1.6.0/bin/julia (unknown line)
Allocations: 19915574 (Pool: 19909696; Big: 5878); GC: 17
┌ Error: Debugged process failed
│ exitcode = 0
│ termsignal = 4
└ @ BugReporting ~/.julia/packages/BugReporting/AZD4C/src/BugReporting.jl:191
Illegal instruction (core dumped)