aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl/erl_bif_types.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2018-01-19 12:46:08 +0100
committerHans Bolinder <[email protected]>2018-01-19 12:46:08 +0100
commite6432a0c60a488c7750fcdab3a4f2821c0f35ec8 (patch)
tree90ef7ba9e8e5099ce0de015ae98c630760bc554d /lib/hipe/cerl/erl_bif_types.erl
parent9ff28ca4095c7877f4f4a6cab4d691ba52f07372 (diff)
parent69de63049417cf7e047f035b5e086caad9dc7932 (diff)
downloadotp-e6432a0c60a488c7750fcdab3a4f2821c0f35ec8.tar.gz
otp-e6432a0c60a488c7750fcdab3a4f2821c0f35ec8.tar.bz2
otp-e6432a0c60a488c7750fcdab3a4f2821c0f35ec8.zip
Merge branch 'maint'
* maint: dialyzer: Fix bsl/2 bug
Diffstat (limited to 'lib/hipe/cerl/erl_bif_types.erl')
-rw-r--r--lib/hipe/cerl/erl_bif_types.erl3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl
index fc6a844e22..5fda857bf1 100644
--- a/lib/hipe/cerl/erl_bif_types.erl
+++ b/lib/hipe/cerl/erl_bif_types.erl
@@ -1885,7 +1885,8 @@ infinity_div(Number1, Number2) when is_integer(Number1), is_integer(Number2) ->
infinity_bsl(pos_inf, _) -> pos_inf;
infinity_bsl(neg_inf, _) -> neg_inf;
-infinity_bsl(Number, pos_inf) when is_integer(Number), Number >= 0 -> pos_inf;
+infinity_bsl(0, pos_inf) -> 0;
+infinity_bsl(Number, pos_inf) when is_integer(Number), Number > 0 -> pos_inf;
infinity_bsl(Number, pos_inf) when is_integer(Number) -> neg_inf;
infinity_bsl(Number, neg_inf) when is_integer(Number), Number >= 0 -> 0;
infinity_bsl(Number, neg_inf) when is_integer(Number) -> -1;