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

Bus error calling function that returns big matrix #34481

Open
charleskawczynski opened this issue Jan 22, 2020 · 7 comments
Open

Bus error calling function that returns big matrix #34481

charleskawczynski opened this issue Jan 22, 2020 · 7 comments
Labels
compiler:inference Type inference kind:bug Indicates an unexpected problem or unintended behavior

Comments

@charleskawczynski
Copy link
Contributor

charleskawczynski commented Jan 22, 2020 •
edited

In this gist, a function returns a big manually written matrix

git clone https://gist.github.com/charleskawczynski/a92627ddcd377b14a456ff090c594f6f
Cloning into 'a92627ddcd377b14a456ff090c594f6f'...
remote: Enumerating objects: 6, done.
remote: Counting objects: 100% (6/6), done.
remote: Compressing objects: 100% (4/4), done.
remote: Total 6 (delta 1), reused 0 (delta 0), pack-reused 0
Unpacking objects: 100% (6/6), done.
dhcp-72-155:dev charliekawczynski$ cd a92627ddcd377b14a456ff090c594f6f
dhcp-72-155:a92627ddcd377b14a456ff090c594f6f charliekawczynski$ julia
versioninfo()
include("BigMatrix.jl")
d = mydata(Float64)
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.2.0-rc2.0 (2019-07-08)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> versioninfo()
Julia Version 1.2.0-rc2.0
Commit 9248bf7687 (2019-07-08 19:42 UTC)
Platform Info:
  OS: macOS (x86_64-apple-darwin18.6.0)
  CPU: Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-6.0.1 (ORCJIT, skylake)
Environment:
  JULIA_PKG_DEVDIR = /Users/charliekawczynski/Dropbox/Caltech/work/dev/julia

julia> include("BigMatrix.jl")
mydata (generic function with 1 method)

julia> d = mydata(Float64)
Bus error: 10

Commands to run:

git clone https://gist.github.com/charleskawczynski/785387f92de2b26b126f516fd4a3e9d1
cd 785387f92de2b26b126f516fd4a3e9d1
julia
versioninfo()
include("BigMatrixVar.jl")
@MasonProtter
Copy link
Contributor

MasonProtter commented Jan 22, 2020 •
edited

Works for me on version 1.3.1

Masons-MacBook-Pro:foo mason$ git clone https://gist.github.com/charleskawczynski/785387f92de2b26b126f516fd4a3e9d1
Cloning into '785387f92de2b26b126f516fd4a3e9d1'...
remote: Enumerating objects: 5, done.
remote: Counting objects: 100% (5/5), done.
remote: Compressing objects: 100% (3/3), done.
remote: Total 5 (delta 0), reused 0 (delta 0), pack-reused 0
Unpacking objects: 100% (5/5), done.
Masons-MacBook-Pro:foo mason$ cd 785387f92de2b26b126f516fd4a3e9d1
Masons-MacBook-Pro:785387f92de2b26b126f516fd4a3e9d1 mason$ julia
versioninfo()
include("BigMatrixVar.jl")               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.3.1 (2019-12-30)
 _/ |\__'_|_|_|\__'_|  |
|__/                   |

julia> versioninfo()
Julia Version 1.3.1
Commit 2d5741174c (2019-12-30 21:36 UTC)
Platform Info:
  OS: macOS (x86_64-apple-darwin19.2.0)
  CPU: Intel(R) Core(TM) i5-7360U CPU @ 2.30GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-6.0.1 (ORCJIT, skylake)
Environment:
  JULIA_NUM_THREADS = 3

julia> include("BigMatrixVar.jl")
3921×3 Array{Float64,2}:
 28311.0  1.129  0.0118
 28314.0  1.129  0.0118
 28315.0  1.129  0.0118
 28316.0  1.129  0.0119
 28318.0  1.129  0.0119
 28320.0  1.129  0.0119
 28323.0  1.129  0.0119
 28324.0  1.129  0.0119
 28326.0  1.129  0.0119
 28329.0  1.129  0.0119
 28331.0  1.129  0.0119
 28333.0  1.129  0.0119
 28335.0  1.129  0.0119
 28337.0  1.129  0.0119
 28338.0  1.129  0.0119
 28340.0  1.129  0.0119
 28341.0  1.129  0.0119
 28343.0  1.129  0.0119
 28345.0  1.129  0.0119
 28347.0  1.129  0.0119
 28349.0  1.129  0.0119
 28350.0  1.129  0.0119
 28352.0  1.129  0.0119
     ⋮
 30970.0  1.124  0.0131
 30970.0  1.124  0.0132
 30971.0  1.124  0.0131
 30971.0  1.124  0.0132
 30972.0  1.124  0.0131
 30972.0  1.124  0.0132
 30973.0  1.124  0.0131
 30973.0  1.124  0.0132
 30974.0  1.124  0.0131
 30974.0  1.124  0.0132
 30975.0  1.124  0.0131
 30975.0  1.124  0.0132
 30976.0  1.124  0.0131
 30976.0  1.124  0.0132
 30977.0  1.124  0.0131
 30977.0  1.124  0.0132
 30978.0  1.124  0.0131
 30978.0  1.124  0.0132
 30979.0  1.124  0.0131
 30979.0  1.124  0.0132
 30980.0  1.124  0.0132
 30981.0  1.124  0.0132

@charleskawczynski
Copy link
Contributor Author

Looks like I need to update!

@StefanKarpinski
Copy link
Sponsor Member

Perhaps, but it crashes for me on master, so there's still an issue here!

@ararslan ararslan added the kind:bug Indicates an unexpected problem or unintended behavior label Jan 22, 2020
@JeffBezanson
Copy link
Sponsor Member

Seems to be a stack overflow (no doubt related to long argument lists), together with the age-old problem of catching stack overflows not working on mac. Here's what I get:

StackOverflowError()
mtcache_hash_bp at /home/jeff/src/julia/src/typemap.c:334
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:967 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_array_insert_ at /home/jeff/src/julia/src/typemap.c:969 [inlined]
jl_typemap_level_insert_ at /home/jeff/src/julia/src/typemap.c:1010
jl_typemap_insert_generic at /home/jeff/src/julia/src/typemap.c:944
jl_typemap_insert at /home/jeff/src/julia/src/typemap.c:1060
jl_specializations_get_linfo at /home/jeff/src/julia/src/gf.c:102
specialize_method at ./compiler/utilities.jl:136 [inlined]
specialize_method at ./compiler/utilities.jl:128 [inlined]
typeinf_edge at ./compiler/typeinfer.jl:458
abstract_call_method at ./compiler/abstractinterpretation.jl:404
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:101

@JeffBezanson
Copy link
Sponsor Member

(That is followed by the correct answer being printed; we just bailed out of type inference.)

@ViralBShah
Copy link
Member

Still noticing the same behaviour here.

@vtjnash
Copy link
Sponsor Member

vtjnash commented Feb 25, 2022

We end up here, which is just a massive unrolled loop we try to struggle through:

julia> a = []; for _ = 1:800; push!(a, Int, Float64); end; Base.return_types(Base.promote_typeof, (a...,))

@vtjnash vtjnash added the compiler:inference Type inference label Feb 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compiler:inference Type inference kind:bug Indicates an unexpected problem or unintended behavior
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
7 participants
@StefanKarpinski @vtjnash @ViralBShah @JeffBezanson @charleskawczynski @ararslan @MasonProtter