diff options
author | Björn Gustavsson <[email protected]> | 2018-09-24 12:39:25 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-09-26 12:49:26 +0200 |
commit | 78a6f7fc67991e61d6f62c4056e11c22b7b1387b (patch) | |
tree | de15929d09271236c78e1d85f96536df5daecfa4 /lib/Makefile | |
parent | 7318da161d5ed7987c6e524e670219337160abc1 (diff) | |
download | otp-78a6f7fc67991e61d6f62c4056e11c22b7b1387b.tar.gz otp-78a6f7fc67991e61d6f62c4056e11c22b7b1387b.tar.bz2 otp-78a6f7fc67991e61d6f62c4056e11c22b7b1387b.zip |
beam_validator: Disallow literal arguments for certain instructions
Disallow a literal map source for get_map_elements. There is currently
runtime support for get_map with a literal map source, but by
forbidding it in OTP 22, the runtime support could be removed in a
future release (perhaps OTP 24).
Also verify that the source arguments for get_list, get_hd, get_tl,
and get_tuple_element are not literals. Literals are not supported for
those instructions in the runtime system; verifying it in
beam_validator is a convenience so that this kind of bug will
be detected already during compilation.
Diffstat (limited to 'lib/Makefile')
0 files changed, 0 insertions, 0 deletions