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.

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

finfer causes segmentation fault #816

Closed
kk49 opened this issue May 9, 2012 · 2 comments
Closed

finfer causes segmentation fault #816

kk49 opened this issue May 9, 2012 · 2 comments

Comments

@kk49
Copy link
Contributor

kk49 commented May 9, 2012

executing

load("demat_crash_julia.jl")

with the following code

kk49/julia-delayed-matrix@d10d6a8

Causes a seg fault

   _       _ _(_)_     |
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  A fresh approach to technical computing
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 0.0.0+85517282.re769
 _/ |\__'_|_|_|\__'_|  |  Commit e769a147ce (2012-05-08 18:27:08)
|__/                   |

julia> load("demat_crash_julia.jl")

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff6fe5b90 in jl_type_intersect () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
(gdb) bt
#0  0x00007ffff6fe5b90 in jl_type_intersect () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
#1  0x00007ffff6fe6869 in jl_type_intersect () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
#2  0x00007ffff6fe6da0 in jl_type_intersection_matching () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
#3  0x00007ffff6fea2bf in lookup_match () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
#4  0x00007ffff6fea616 in ml_matches.clone.1 () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
#5  0x00007ffff562f351 in ?? ()
#6  0x00007fffffffc940 in ?? ()
#7  0x00007ffff6fec7da in jl_apply_generic () from /home/kkamieniecki/work/julia/usr/lib/libjulia-release.so
Backtrace stopped: frame did not save the PC
(gdb) 

[pao: formatting]

@JeffBezanson
Copy link
Sponsor Member

This is because the second argument to finfer needs to be a tuple type. It calls some internal interfaces that assume this. It will work if you add a typeof.

@kk49
Copy link
Contributor Author

kk49 commented May 9, 2012

Thanks, that fixed it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants