diff options
author | Björn Gustavsson <[email protected]> | 2015-02-27 15:17:01 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2015-03-09 09:41:12 +0100 |
commit | 1f0ae04d3745bf316f620ef35b24f87c0da7c05b (patch) | |
tree | 9774006cb02d81c0129a59785d05ceac15ed5d05 /lib/compiler/src/beam_validator.erl | |
parent | ea46a223e34eefbc765facb0ec0fd90fb891c53d (diff) | |
download | otp-1f0ae04d3745bf316f620ef35b24f87c0da7c05b.tar.gz otp-1f0ae04d3745bf316f620ef35b24f87c0da7c05b.tar.bz2 otp-1f0ae04d3745bf316f620ef35b24f87c0da7c05b.zip |
Introduce '%live' annotations with a complete register map
As a preparation for fixing a bug, introduce a complete register
map in the '%live' annotations.
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
-rw-r--r-- | lib/compiler/src/beam_validator.erl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 2a256fa7d7..afb5bedd68 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -361,9 +361,6 @@ valfun_1({recv_mark,{f,Fail}}, Vst) when is_integer(Fail) -> valfun_1({recv_set,{f,Fail}}, Vst) when is_integer(Fail) -> Vst; %% Misc. -valfun_1({'%live',Live}, Vst) -> - verify_live(Live, Vst), - Vst; valfun_1(remove_message, Vst) -> Vst; valfun_1({'%',_}, Vst) -> |