aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src
diff options
context:
space:
mode:
authorAnthony Ramine <[email protected]>2014-03-05 00:00:01 +0100
committerAnthony Ramine <[email protected]>2014-03-05 00:00:01 +0100
commit55e4051bbe8f9790e19cf403bdd736a56e512510 (patch)
treec02cbb50b39529648c634cc4b90fcea2d268e2c1 /lib/compiler/src
parentc199bd2923e7d733e60beb9bd27b3852cbb2e699 (diff)
downloadotp-55e4051bbe8f9790e19cf403bdd736a56e512510.tar.gz
otp-55e4051bbe8f9790e19cf403bdd736a56e512510.tar.bz2
otp-55e4051bbe8f9790e19cf403bdd736a56e512510.zip
Properly check label use in get_map_elements in beam_jump
Reported-by: Ulf Norell
Diffstat (limited to 'lib/compiler/src')
-rw-r--r--lib/compiler/src/beam_jump.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_jump.erl b/lib/compiler/src/beam_jump.erl
index 0fc8d45c80..100acaede3 100644
--- a/lib/compiler/src/beam_jump.erl
+++ b/lib/compiler/src/beam_jump.erl
@@ -451,6 +451,7 @@ is_label_used_in_2({set,_,_,Info}, Lbl) ->
{put_tuple,_} -> false;
{get_tuple_element,_} -> false;
{set_tuple_element,_} -> false;
+ {get_map_elements,{f,F}} -> F =:= Lbl;
{line,_} -> false;
_ when is_atom(Info) -> false
end.