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

Michael Truog mjtruog@REDACTED
Thu Oct 2 00:48:57 CEST 2014


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]) ->



More information about the erlang-patches mailing list