aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_validator.erl
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2016-05-25 07:06:55 +0200
committerBjörn Gustavsson <[email protected]>2016-05-30 13:19:20 +0200
commit88632d70cc866b5e54589ccb9311c7c5a88ecb46 (patch)
tree286c932ee10b8e0b52691958fcad3390c8ab6090 /lib/compiler/src/beam_validator.erl
parent4992284e993f26afc83630dd6c1ffeb27a00ef65 (diff)
downloadotp-88632d70cc866b5e54589ccb9311c7c5a88ecb46.tar.gz
otp-88632d70cc866b5e54589ccb9311c7c5a88ecb46.tar.bz2
otp-88632d70cc866b5e54589ccb9311c7c5a88ecb46.zip
beam_validator: Add is_bitstring/1 as a safe BIF
beam_validator wrongly complained that the following was not safe because it didn't know that is_bitstring/1 is safe: food(Curriculum) -> [try is_bitstring(functions) catch _ -> 0 end, Curriculum]. While we are it, also add a new bif_SUITE test suite to cover some more code in beam_validator.
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
-rw-r--r--lib/compiler/src/beam_validator.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl
index 1aab9de88e..1af17dc641 100644
--- a/lib/compiler/src/beam_validator.erl
+++ b/lib/compiler/src/beam_validator.erl
@@ -1523,6 +1523,7 @@ is_bif_safe('>=', 2) -> true;
is_bif_safe(is_atom, 1) -> true;
is_bif_safe(is_boolean, 1) -> true;
is_bif_safe(is_binary, 1) -> true;
+is_bif_safe(is_bitstring, 1) -> true;
is_bif_safe(is_float, 1) -> true;
is_bif_safe(is_function, 1) -> true;
is_bif_safe(is_integer, 1) -> true;