diff options
| author | Erlang/OTP <[email protected]> | 2019-05-29 13:24:45 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2019-05-29 13:24:45 +0200 |
| commit | dd50db44140c4b143b371f07de69ac8c726e0519 (patch) | |
| tree | 266fd49abd509c7a04c0e3c056d86ffd796b70d4 /lib/compiler/src | |
| parent | f8072d772bf73f014f6d6e994ba5a6962cfde757 (diff) | |
| parent | a034ff64abab5f5cbf5c6aa38762044c968fe377 (diff) | |
| download | otp-dd50db44140c4b143b371f07de69ac8c726e0519.tar.gz otp-dd50db44140c4b143b371f07de69ac8c726e0519.tar.bz2 otp-dd50db44140c4b143b371f07de69ac8c726e0519.zip | |
Merge branch 'bjorn/compiler/fix-beam_ssa_dead-patch/OTP-15845' into maint-22
* bjorn/compiler/fix-beam_ssa_dead-patch/OTP-15845:
Fix unsafe optimizations where guard tests could be removed
Diffstat (limited to 'lib/compiler/src')
| -rw-r--r-- | lib/compiler/src/beam_ssa_dead.erl | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/lib/compiler/src/beam_ssa_dead.erl b/lib/compiler/src/beam_ssa_dead.erl index 86f680c964..64b9b3e222 100644 --- a/lib/compiler/src/beam_ssa_dead.erl +++ b/lib/compiler/src/beam_ssa_dead.erl @@ -694,11 +694,8 @@ will_succeed_test(is_list, is_nonempty_list) -> maybe; will_succeed_test(is_nonempty_list, is_list) -> yes; -will_succeed_test(T1, T2) -> - case is_numeric_test(T1) andalso is_numeric_test(T2) of - true -> maybe; - false -> no - end. +will_succeed_test(_T1, _T2) -> + maybe. will_succeed_1('=:=', A, '<', B) -> if @@ -783,11 +780,6 @@ will_succeed_vars('==', Val1, '/=', Val2) when Val1 == Val2 -> no; will_succeed_vars(_, _, _, _) -> maybe. -is_numeric_test(is_float) -> true; -is_numeric_test(is_integer) -> true; -is_numeric_test(is_number) -> true; -is_numeric_test(_) -> false. - eval_type_test(Test, Arg) -> case eval_type_test_1(Test, Arg) of true -> yes; |