erlang/otp — pull request #343 by fishcakez (2014-04-27 16:46:23+00:00)
Title: Use compile options when analysing beam files with dialyzer

Fetch the compile options from beam files, and use them when creating core from the abstract code. Previously the options were ignored.

This fixes a bug where dialyzer could not recreate the core from a beam compiled with the option `no_auto_import` and a module with a function clashing with one of the auto imported bifs. Dialyzer would complain: `Could not get core Erlang code for: module.beam`.

I could only find tests for analysing from source. If you would like a test please suggest where this should go.