[erlang-bugs] R16 Dialyzer bad_crc error

[Tuncer Ayaz]

On Tue, Jan 22, 2013 at 7:26 PM, Tuncer Ayaz wrote:
> On Tue, Jan 22, 2013 at 7:22 PM, Tuncer Ayaz wrote:
>> On Tue, Jan 22, 2013 at 6:45 PM, Stavros Aronis wrote:
>>> Well, as HiPE is currently broken, the 'Compiling some key modules
>>> to native code...' message is a good hint to either configure OTP
>>> with --disable-hipe (haven't EVER tried it) or just run Dialyzer
>>> with -nn.
>>>
>>> Current master's Dialyzer (with -nn) runs on erlydtl 3306858
>>> without any issues on my machine. Can you confirm that?
>>
>> Without HiPE it doesn't hang but I have copies of the two beams
>> which provoke the error. The beams have debug_info and don't look
>> corrupted, but maybe there's something wrong in them. I'll send you
>> the files for inspection.
>
> Forgot to make it clear that the two files _still_ provoke the same error.

Stavros, thanks for inspecting the beams and the hint. If you build
the beams with R15 and try to feed those to R16 Dialyzer, you can
easily reproduce the "Could not get core Erlang code" error. I don't
know whether this is intended to be due to the R16 feature removals or
an unintended bug.