diff options
| author | Fredrik Gustafsson <[email protected]> | 2013-02-20 16:18:15 +0100 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-02-20 16:18:15 +0100 |
| commit | 47f3fc9c5d19b9606a5b4918624bfb6e94df6c85 (patch) | |
| tree | 60c90209a1983110fadbc0fb598c3d68f701bb06 /lib/dialyzer/src/dialyzer_typesig.erl | |
| parent | cff50efe0cd9dd3e70341142d52b1865a58ea41e (diff) | |
| parent | 1fa2ed988cf693141d4da9d760f0cad914046fbb (diff) | |
| download | otp-47f3fc9c5d19b9606a5b4918624bfb6e94df6c85.tar.gz otp-47f3fc9c5d19b9606a5b4918624bfb6e94df6c85.tar.bz2 otp-47f3fc9c5d19b9606a5b4918624bfb6e94df6c85.zip | |
Merge branch 'ks/dialyzer-R16B-final-fixes/OTP-10865'
* ks/dialyzer-R16B-final-fixes/OTP-10865:
Native code compilation changes
Code simplification
Simplify a case construct using inequality
Simplify a case construct using a boolean operator
Code simplifications + take out obsolete note
Diffstat (limited to 'lib/dialyzer/src/dialyzer_typesig.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl index 8c0e45c8da..40d8936afa 100644 --- a/lib/dialyzer/src/dialyzer_typesig.erl +++ b/lib/dialyzer/src/dialyzer_typesig.erl @@ -1543,12 +1543,11 @@ get_bif_constr({erlang, '==', 2}, Dst, [Arg1, Arg2] = Args, _State) -> mk_constraint(Arg1, sub, ArgV1), mk_constraint(Arg2, sub, ArgV2)]); get_bif_constr({erlang, element, 2} = _BIF, Dst, Args, - #state{cs = Constrs} = State) -> + #state{cs = Constrs, opaques = Opaques}) -> GenType = erl_bif_types:type(erlang, element, 2), case t_is_none(GenType) of true -> ?debug("Bif: ~w failed\n", [_BIF]), throw(error); false -> - Opaques = State#state.opaques, Fun = fun(Map) -> [I, T] = ATs = lookup_type_list(Args, Map), ATs2 = case lists:member(T, Opaques) of |