Merge pull request #2111 from jkakar/dialyzer-warn-without-debug-info

rebar3 dialyzer: Warn when debug_info is disabled

src/rebar_prv_dialyzer.erl

@@ -155,6 +155,13 @@ plt_name(Prefix) ->
 
 do(Args, State, Plt) ->
     Output = get_output_file(State),
+    case debug_info(State) of
+        true ->
+            ok;
+        false ->
+            ?WARN("Add debug_info to compiler options (erl_opts) "
+                  "if Dialyzer fails to load Core Erlang.", [])
+    end,
     {PltWarnings, State1} = update_proj_plt(Args, State, Plt, Output),
     {Warnings, State2} = succ_typings(Args, State1, Plt, Output),
     case PltWarnings + Warnings of
@@ -539,6 +546,12 @@ get_config(State, Key, Default) ->
     Config = rebar_state:get(State, dialyzer, []),
     proplists:get_value(Key, Config, Default).
 
+debug_info(State) ->
+    Config = rebar_state:get(State, erl_opts, []),
+    proplists:get_value(debug_info, Config, false) =/= false orelse
+    proplists:get_value(debug_info_key, Config, false) =/= false orelse
+    proplists:get_value(encrypt_debug_info, Config, false) =/= false.
+
 -spec collect_nested_dependent_apps([atom()]) -> [atom()].
 collect_nested_dependent_apps(RootApps) ->
     Deps = lists:foldl(fun collect_nested_dependent_apps/2, sets:new(), RootApps),