aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2014-03-21 17:06:24 +0100
committerStavros Aronis <[email protected]>2014-03-24 16:23:13 +0100
commita360c3e6cdcc54fe040a1aef157eb1489ab4bdb3 (patch)
tree8dd11283daddce3156abc0af6fd198ebeac598a3 /lib/hipe
parent73af231f1a22083031df49ba19fdfd4f6b434a10 (diff)
downloadotp-a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3.tar.gz
otp-a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3.tar.bz2
otp-a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3.zip
Don't 'opaque-decorate' a success typing using an incompatible spec
Without this patch Dialyzer crashes when analyzing the supplemented test case.
Diffstat (limited to 'lib/hipe')
-rw-r--r--lib/hipe/cerl/erl_types.erl3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl
index aa69b57fa2..2d86f166cd 100644
--- a/lib/hipe/cerl/erl_types.erl
+++ b/lib/hipe/cerl/erl_types.erl
@@ -618,7 +618,7 @@ t_decorate_with_opaque(T1, T2, Opaques) ->
end
end.
-decorate(?none=Type, _, _Opaques) -> Type;
+decorate(Type, ?none, _Opaques) -> Type;
decorate(?function(Domain, Range), ?function(D, R), Opaques) ->
?function(decorate(Domain, D, Opaques), decorate(Range, R, Opaques));
decorate(?list(Types, Tail, Size), ?list(Ts, Tl, _Sz), Opaques) ->
@@ -684,6 +684,7 @@ union_decorate(U1, U2, Opaques) ->
List = [A,B,F,I,L,N,T,M,Map],
DecList = [Dec ||
E <- List,
+ not t_is_none(E),
not t_is_none(Dec = decorate(E, Opaque, Opaques))],
t_sup([Union|DecList]).