[erlang-bugs] R16 Dialyzer bad_crc error

Tuncer Ayaz <>
Thu Jan 10 18:49:41 CET 2013

On Tue, Jan 8, 2013 at 5:00 PM, Tuncer Ayaz wrote:
> dialyzer --build_plt with otp.git 3e8a6c8 fails as follows:
> {"init terminating in do_boot",{{badmatch,{error,bad_crc}},
>   [{hipe,finalize,5,[{file,"hipe.erl"},{line,740}]},
>    {hipe,compile_finish,3,[{file,"hipe.erl"},{line,697}]},
>    {hipe,'-run_compiler_1/3-fun-0-',4,[{file,"hipe.erl"},{line,658}]}]
>   }}
> Maybe it's a known but not yet resolved issue caused by the major
> code loader changes happening in R16.

This is fixed as of today's master update, but now Dialyzer fails
to extract core Erlang code from two erlydtl beams. If the beams
were not compiled with debug_info, Dialyzer would have warned
about extracting abstract code (not core Erlang code) instead.

To reproduce:
$ git clone git://github.com/evanmiller/erlydtl.git
$ cd erlydtl
$ make
$ dialyzer --build_plt --output_plt test_plt ebin
  Creating PLT test_plt ...
dialyzer: Analysis failed with error:
Could not scan the following file(s):
"  Could not get core Erlang code for: /tmp/foo/ebin/erlydtl_slice.beam"},
"  Could not get core Erlang code for: /tmp/foo/ebin/erlydtl_filters.beam"}]

More information about the erlang-bugs mailing list