diff options
author | Henrik Nord <[email protected]> | 2017-08-25 13:17:37 +0200 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2017-08-25 13:17:37 +0200 |
commit | 5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6 (patch) | |
tree | 04c8c7f272207bfd1de77c26898e0453a044d89d /lib/dialyzer | |
parent | 47a4ab2678aacea0eab8fc9fe6d8d15ee92e76a2 (diff) | |
parent | 3bc5c3b35b3151143dffe94290c9ddf29b1b10d6 (diff) | |
download | otp-5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6.tar.gz otp-5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6.tar.bz2 otp-5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6.zip |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer')
-rw-r--r-- | lib/dialyzer/doc/src/notes.xml | 15 | ||||
-rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 1 | ||||
-rw-r--r-- | lib/dialyzer/vsn.mk | 2 |
3 files changed, 17 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 0d2cb6c4df..c26b7aab5e 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,21 @@ <p>This document describes the changes made to the Dialyzer application.</p> +<section><title>Dialyzer 3.2.1</title> + + <section><title>Fixed Bugs and Malfunctions</title> + <list> + <item> + <p> Fix a bug where merging PLT:s could lose info. The + bug was introduced in Erlang/OTP 20.0. </p> + <p> + Own Id: OTP-14558 Aux Id: ERIERL-53 </p> + </item> + </list> + </section> + +</section> + <section><title>Dialyzer 3.2</title> <section><title>Fixed Bugs and Malfunctions</title> diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index 47994fc35b..0fd99bbc04 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -772,6 +772,7 @@ tab_is_disj(K1, T1, T2) -> end. merge_tables(T1, T2) -> + ets:safe_fixtable(T1, true), tab_merge(ets:first(T1), T1, T2). tab_merge('$end_of_table', T1, T2) -> diff --git a/lib/dialyzer/vsn.mk b/lib/dialyzer/vsn.mk index 4a1a7c25a0..866a82ee3e 100644 --- a/lib/dialyzer/vsn.mk +++ b/lib/dialyzer/vsn.mk @@ -1 +1 @@ -DIALYZER_VSN = 3.2 +DIALYZER_VSN = 3.2.1 |