diff options
Diffstat (limited to 'lib/compiler/test/beam_type_SUITE.erl')
-rw-r--r-- | lib/compiler/test/beam_type_SUITE.erl | 7 |
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'. |