File 0199-Dialyzer-should-not-throw-away-spec-inform... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0199-Dialyzer-should-not-throw-away-spec-information-beca.patch of Package erlang (Revision 20341d3ca8beab07b502d76ce8eb2b1a)

Currently displaying revision 20341d3ca8beab07b502d76ce8eb2b1a , Show latest

From 9883f9714bd4a56ae9d68b3b0e7958461918946e Mon Sep 17 00:00:00 2001
From: Richard Carlsson <carlsson.richard@gmail.com>
Date: Tue, 20 Feb 2018 13:47:25 +0100
Subject: [PATCH 1/4] Dialyzer should not throw away spec information because
 of overspec

---
 lib/dialyzer/src/dialyzer_contracts.erl            |  4 ++
 5 files changed, 83 insertions(+), 8 deletions(-)
 create mode 100644 lib/dialyzer/test/small_SUITE_data/results/extra_range
 create mode 100644 lib/dialyzer/test/small_SUITE_data/src/extra_range.erl

diff --git a/lib/dialyzer/src/dialyzer_contracts.erl b/lib/dialyzer/src/dialyzer_contracts.erl
index e72c1aecfc..0df15e55f9 100644
--- a/lib/dialyzer/src/dialyzer_contracts.erl
+++ b/lib/dialyzer/src/dialyzer_contracts.erl
@@ -197,6 +197,10 @@ check_contracts(Contracts, Callgraph, FunTypes, ModOpaques) ->
 		      false ->
 			[{MFA, Contract}|NewContracts]
 		    end;
+                  {error, {extra_range, _, _}} ->
+                    %% do not treat extra range as an error in this check
+                    %% since that prevents discovering other actual errors
+                    [{MFA, Contract}|NewContracts];
 		  {error, _Error} -> NewContracts
 		end;
 	      error -> NewContracts
-- 
2.16.2

Places

File 0199-Dialyzer-should-not-throw-away-spec-information-beca.patch of Package erlang (Revision 20341d3ca8beab07b502d76ce8eb2b1a)

Places