diff options
| author | Björn Gustavsson <[email protected]> | 2019-05-24 14:09:19 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-05-24 14:31:00 +0200 |
| commit | 9348c7843af13b13a91a425130a0524b5d9d64c9 (patch) | |
| tree | 4418a593816a6691777ee7f06c620f64bc82f3f9 /lib/compiler/test/beam_validator_SUITE_data | |
| parent | d32991afaf3fc5f9f73e3e2448672bb9a1b80101 (diff) | |
| download | otp-9348c7843af13b13a91a425130a0524b5d9d64c9.tar.gz otp-9348c7843af13b13a91a425130a0524b5d9d64c9.tar.bz2 otp-9348c7843af13b13a91a425130a0524b5d9d64c9.zip | |
Fix unsafe negative type inference
The type optimizer pass (`beam_ssa_type`) could make unsafe
negative inferences. That is, incorrectly infer that a variable
could *not* have a particular type.
This bug was found when adding another optimization. It is not
clear how write a failing test case without that added optimization.
Diffstat (limited to 'lib/compiler/test/beam_validator_SUITE_data')
0 files changed, 0 insertions, 0 deletions