summaryrefslogtreecommitdiff
path: root/lib/compiler/test/beam_type_SUITE.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/compiler/test/beam_type_SUITE.erl')
-rw-r--r--lib/compiler/test/beam_type_SUITE.erl7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/compiler/test/beam_type_SUITE.erl b/lib/compiler/test/beam_type_SUITE.erl
index 18a29f2643..21bfe5c7ec 100644
--- a/lib/compiler/test/beam_type_SUITE.erl
+++ b/lib/compiler/test/beam_type_SUITE.erl
@@ -782,6 +782,8 @@ float_overflow(_Config) ->
Res2 = id((-1 bsl 1023) * two()),
Res2 = float_overflow_2(),
+ {'EXIT',{{bad_filter,[0]},_}} = catch float_overflow_3(),
+
ok.
%% GH-7178: There would be an overflow when converting a number range
@@ -808,6 +810,11 @@ float_overflow_2() ->
two() -> 2.
+float_overflow_3() ->
+ [0 || <<>> <= <<>>,
+ [0 || (floor(1.7976931348623157e308) bsl 1) >= (1.0 + map_size(#{}))]
+ ].
+
arity_checks(_Config) ->
%% ERL-549: an unsafe optimization removed a test_arity instruction,
%% causing the following to return 'broken' instead of 'ok'.