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

ERL-283: Undefined function in dialyzer attribute throws uncaught error tuple #3148

Closed
OTP-Maintainer opened this issue Oct 14, 2016 · 1 comment
Assignees
Labels
bug Issue is reported as a bug priority:medium team:VM Assigned to OTP team VM
Milestone

Comments

@OTP-Maintainer
Copy link

Original reporter: fishcakez
Affected versions: OTP-18.3, OTP-18.2, OTP-18.1, OTP-18.0, OTP-19.0, OTP-19.1
Fixed in version: OTP-19.2
Component: dialyzer
Migrated from: https://bugs.erlang.org/browse/ERL-283


If a dialyzer module attribute references an undefined (local) function an error tuple is thrown but no caught. This leads to a `nocatch` error and not the intended "clean" error:


{code:erlang}
{{nocatch,{error,"  Unknown function undef/0 in line dial.erl:3"}},
 [{dialyzer_utils,check_fa_list1,3,[{file,"dialyzer_utils.erl"},{line,748}]},
  {dialyzer_utils,get_func_suppressions,2,
                  [{file,"dialyzer_utils.erl"},{line,568}]},
  {dialyzer_utils,get_fun_meta_info,3,
                  [{file,"dialyzer_utils.erl"},{line,521}]},
  {dialyzer_analysis_callgraph,compile_common,7,
                               [{file,"dialyzer_analysis_callgraph.erl"},
                                {line,410}]},
  {dialyzer_worker,loop,2,[{file,"dialyzer_worker.erl"},{line,93}]}]}
{code}
@OTP-Maintainer
Copy link
Author

hasse said:

Fixed in commit 56b3298.

@OTP-Maintainer OTP-Maintainer added bug Issue is reported as a bug team:VM Assigned to OTP team VM priority:medium labels Feb 10, 2021
@OTP-Maintainer OTP-Maintainer added this to the OTP-19.2 milestone Feb 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue is reported as a bug priority:medium team:VM Assigned to OTP team VM
Projects
None yet
Development

No branches or pull requests

2 participants