diff options
author | Björn Gustavsson <[email protected]> | 2011-12-05 09:22:12 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2011-12-06 13:22:18 +0100 |
commit | 1687a490039698fab6ccabdbbd61faa5d9d5eb41 (patch) | |
tree | 3f84ca91da1791e39fa42d944bd627f866c34ba9 /bootstrap/lib/compiler/ebin/beam_validator.beam | |
parent | 43a493df03174bc04d9a62edb4cff96943eebe35 (diff) | |
download | otp-1687a490039698fab6ccabdbbd61faa5d9d5eb41.tar.gz otp-1687a490039698fab6ccabdbbd61faa5d9d5eb41.tar.bz2 otp-1687a490039698fab6ccabdbbd61faa5d9d5eb41.zip |
beam_validator: Fix type for failure label for bs_start_match2/5
A bs_start_match2/5 instruction will never fail (take the branch) if
given a match state or a binary. Therefore, the type at the failure
label should be 'term', not match state or binary. Without this
correction, the beam_validator will reject safe programs.
Diffstat (limited to 'bootstrap/lib/compiler/ebin/beam_validator.beam')
0 files changed, 0 insertions, 0 deletions