We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Describe the bug Running dialyzer on the following:
f() -> <<0:(undefined)>>.
crashes it with
dialyzer: Analysis failed with error: {{badmatch,"integer"}, [{cerl,bitstr_bitsize,1,[{file,"cerl.erl"},{line,2396}]}, {dialyzer_dataflow,handle_bitstr,3, [{file,"dialyzer_dataflow.erl"},{line,779}]}, {dialyzer_dataflow,traverse_list,4, [{file,"dialyzer_dataflow.erl"},{line,293}]}, {dialyzer_dataflow,traverse,3,[{file,"dialyzer_dataflow.erl"},{line,211}]}, {dialyzer_dataflow,do_clause,7,[{file,"dialyzer_dataflow.erl"},{line,1276}]}, {dialyzer_dataflow,handle_clauses,9, [{file,"dialyzer_dataflow.erl"},{line,1199}]}, {dialyzer_dataflow,handle_case,3, [{file,"dialyzer_dataflow.erl"},{line,932}]}, {dialyzer_dataflow,analyze_loop,1, [{file,"dialyzer_dataflow.erl"},{line,186}]}]}
Affected versions master
Additional context The bug disappears if I replace undefined by another atom. This seems related to #7138 that was fixed in #7160.
undefined
The text was updated successfully, but these errors were encountered:
cerl: Fix crash on 'undefined' segment size
667d9b1
Fixes erlang#7325
Merge branch 'john/dialyzer/fix-crash-undefined-segment-size/GH-7325/…
ec98d33
…OTP-18629' into maint * john/dialyzer/fix-crash-undefined-segment-size/GH-7325/OTP-18629: cerl: Fix crash on 'undefined' segment size
ec44a57
jhogberg
No branches or pull requests
Describe the bug
Running dialyzer on the following:
crashes it with
Affected versions
master
Additional context
The bug disappears if I replace
undefined
by another atom.This seems related to #7138 that was fixed in #7160.
The text was updated successfully, but these errors were encountered: