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

Henrik Nord henrik@REDACTED
Thu Oct 9 09:26:38 CEST 2014


Thank you for your contribution.

We are currently investigating this issue.
I do not know at this moment if we are going to release a patch for this 
or not.


On 2014-10-02 00:48, 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;
>  %% The parse transform will already have been applied, may cause 
> problems if it
>  %% is re-applied.
>  cleanup_compile_options([{parse_transform, _}|Opts]) ->
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://erlang.org/mailman/listinfo/erlang-patches

-- 
/Henrik Nord Erlang/OTP




More information about the erlang-patches mailing list