[erlang-patches] Dialyzer Bug in 17.3: can not get core Erlang code

[Michael Truog]

On 10/05/2014 11:07 AM, Tuncer Ayaz wrote:
> On Thu, Oct 2, 2014 at 12:48 AM, Michael Truog wrote:
>> There is a problem in 17.3 when using the compile options to
>> generate core Erlang source code. A patch for the problem is below.
>> The problem with generate errors like "Could not get core Erlang
>> code for:" for each file that was compiled with warnings_as_errors.
>>
>> diff --git a/lib/dialyzer/src/dialyzer_utils.erl
>> b/lib/dialyzer/src/dialyzer_utils.erl
>> index 4e2ec67..76fe645 100644
>> --- a/lib/dialyzer/src/dialyzer_utils.erl
>> +++ b/lib/dialyzer/src/dialyzer_utils.erl
>> @@ -451,6 +451,9 @@ cleanup_compile_options([asm|Opts]) ->
>>     Opts;
>>   cleanup_compile_options([from_core|Opts]) ->
>>     Opts;
>> +%% compile:forms/2 doesn't understand warnings_as_errors
>> +cleanup_compile_options([warnings_as_errors|Opts]) ->
>> +  Opts;
> Hmm, maybe this should (also) be fixed in lib/compiler.
>
I wasn't sure if that was important or a long-standing problem which is part of the reason for the email, rather than doing a github pull request.  The fix in dialyzer_utils makes sense due to the other compile options that are being ignored, so this was the minimal change required to get 17.3 dialyzer working.