aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/info
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2018-08-22 10:17:50 +0200
committerBjörn Gustavsson <[email protected]>2018-08-22 10:35:43 +0200
commite8deb9f8ff3cb32286ca9b87a36b23aadffd1a49 (patch)
tree75eef2c88577234beb177537bab276d85cb66ed3 /lib/compiler/info
parent924f1573adb661f5f15123b0e7af80bb233418be (diff)
downloadotp-e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49.tar.gz
otp-e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49.tar.bz2
otp-e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49.zip
beam_validator: Infer the type of the map argument for is_map_key/2
Make sure that beam_validator considers a call to is_map_key/2 followed by an update of the same map without an is_map/1 test safe. (This situation will probably not be encountered when using the compiler in OTP 21, but better safe than sorry.)
Diffstat (limited to 'lib/compiler/info')
0 files changed, 0 insertions, 0 deletions