From 94584953199d3fd22b5f89f59a430396fcffcfd1 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Thu, 24 Aug 2017 10:09:30 +0200 Subject: dialyzer: Fix a bug where merging PLT:s could lose info A missing call to ets:safe_fixtable/2 meant that information was sometimes lost when merging PLT:s. --- lib/dialyzer/src/dialyzer_plt.erl | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/dialyzer') 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) -> -- cgit v1.2.3 From b335afff80c87a897b6200d30828e959a0216faf Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Fri, 25 Aug 2017 09:36:10 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 15 +++++++++++++++ lib/dialyzer/vsn.mk | 2 +- 2 files changed, 16 insertions(+), 1 deletion(-) (limited to 'lib/dialyzer') 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 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 3.2.1 + +
Fixed Bugs and Malfunctions + + +

Fix a bug where merging PLT:s could lose info. The + bug was introduced in Erlang/OTP 20.0.

+

+ Own Id: OTP-14558 Aux Id: ERIERL-53

+
+
+
+ +
+
Dialyzer 3.2
Fixed Bugs and Malfunctions 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 -- cgit v1.2.3