diff options
author | Zandra <[email protected]> | 2016-02-02 11:35:58 +0100 |
---|---|---|
committer | Zandra <[email protected]> | 2016-02-02 11:35:58 +0100 |
commit | 1a1eaec544987f439061622f0177e424dfd6306a (patch) | |
tree | 05454189fc353121a038027255a6559e7bd2eaa2 /lib/hipe/icode/hipe_icode_range.erl | |
parent | b937e14a5b656b025f9b369656bfd03dadd481b5 (diff) | |
parent | 61ef7511c5ffae0b061d7cc45e9d564b02b891db (diff) | |
download | otp-1a1eaec544987f439061622f0177e424dfd6306a.tar.gz otp-1a1eaec544987f439061622f0177e424dfd6306a.tar.bz2 otp-1a1eaec544987f439061622f0177e424dfd6306a.zip |
Merge branch 'maint'
Conflicts:
erts/emulator/beam/beam_emu.c
Diffstat (limited to 'lib/hipe/icode/hipe_icode_range.erl')
-rw-r--r-- | lib/hipe/icode/hipe_icode_range.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/hipe/icode/hipe_icode_range.erl b/lib/hipe/icode/hipe_icode_range.erl index ba5fa1bfd7..9a20527a83 100644 --- a/lib/hipe/icode/hipe_icode_range.erl +++ b/lib/hipe/icode/hipe_icode_range.erl @@ -1202,11 +1202,11 @@ basic_type(#unsafe_update_element{}) -> not_analysed. analyse_bs_get_integer(Size, Flags, true) -> Signed = Flags band 4, if Signed =:= 0 -> - Max = 1 bsl Size - 1, + Max = inf_add(inf_bsl(1, Size), -1), Min = 0; true -> - Max = 1 bsl (Size-1) - 1, - Min = -(1 bsl (Size-1)) + Max = inf_add(inf_bsl(1, Size-1), -1), + Min = inf_inv(inf_bsl(1, Size-1)) end, {Min, Max}; analyse_bs_get_integer(Size, Flags, false) when is_integer(Size), |