diff options
| author | Kostis Sagonas <[email protected]> | 2011-03-05 19:10:14 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-11 12:03:53 +0100 |
| commit | 8148d9a6e19e54e4f6769062ee4e01c8291f4fbf (patch) | |
| tree | 18f3ac3feafecb421cc2ac1cfcd78ab9e369e169 /lib | |
| parent | c639406ac2d53e56ce941717285f3f41068d0bdd (diff) | |
| download | otp-8148d9a6e19e54e4f6769062ee4e01c8291f4fbf.tar.gz otp-8148d9a6e19e54e4f6769062ee4e01c8291f4fbf.tar.bz2 otp-8148d9a6e19e54e4f6769062ee4e01c8291f4fbf.zip | |
Fix an erroneous warning
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 2ffbcd3e82..f4e429e6fd 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -2,7 +2,7 @@ %%-------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2010. All Rights Reserved. +%% Copyright Ericsson AB 2006-2011. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -2217,7 +2217,7 @@ bind_eqeq_guard_lit_other(Guard, Arg1, Arg2, Map, Env, State) -> true -> {Map1, t_atom(true)}; false -> {_, Type0} = bind_guard(Arg2, Map, Env, Eval, State), - signal_guard_fail(Eval, Guard, [Type0, t_atom(true)], State) + signal_guard_fail(Eval, Guard, [Type0, t_atom(false)], State) end; Term -> LitType = t_from_term(Term), @@ -2767,8 +2767,6 @@ state__new(Callgraph, Tree, Plt, Module, Records, BehaviourTranslations) -> FunTab = init_fun_tab(Funs, dict:new(), TreeMap, Callgraph, Plt, Opaques), Work = init_work([get_label(Tree)]), Env = dict:store(top, map__new(), dict:new()), - Opaques = erl_types:module_builtin_opaques(Module) ++ - erl_types:t_opaque_from_records(Records), #state{callgraph = Callgraph, envs = Env, fun_tab = FunTab, opaques = Opaques, plt = Plt, races = dialyzer_races:new(), records = Records, warning_mode = false, warnings = [], work = Work, tree_map = TreeMap, |