diff options
| author | John Högberg <[email protected]> | 2018-01-04 18:08:42 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-01-04 20:17:53 +0100 |
| commit | 19b7ccfe076d88a96b62f3222f38be31bb087df2 (patch) | |
| tree | 99b44d539520c0cb0889f56e21884a12e683cbb7 /lib/dialyzer | |
| parent | 31782c3accacafb20bc7efd46004921aea8f9f22 (diff) | |
| download | otp-19b7ccfe076d88a96b62f3222f38be31bb087df2.tar.gz otp-19b7ccfe076d88a96b62f3222f38be31bb087df2.tar.bz2 otp-19b7ccfe076d88a96b62f3222f38be31bb087df2.zip | |
Remove unsafe is_record/test_arity optimizations
The type optimizations for is_record and test_arity checked whether
the arity was equal to the size stored in the type information,
which is incorrect since said size is the *minimum* size of the
tuple (as determined by previous instructions) and not its exact
size.
A future patch to the 'master' branch will restore these
optimizations in a safe manner.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions