diff options
| author | Hans Bolinder <[email protected]> | 2015-04-08 15:13:00 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-04-27 08:30:45 +0200 |
| commit | 4729cebdf61022cadb0a5a04ae30bace77a7b5db (patch) | |
| tree | a68b0ac1ea4808c20970b24f37f20c70c33a87f4 /lib/dialyzer/src/dialyzer_options.erl | |
| parent | 39ce3a33b8d692608850d4bd3a0bf078359b3c91 (diff) | |
| download | otp-4729cebdf61022cadb0a5a04ae30bace77a7b5db.tar.gz otp-4729cebdf61022cadb0a5a04ae30bace77a7b5db.tar.bz2 otp-4729cebdf61022cadb0a5a04ae30bace77a7b5db.zip | |
dialyzer: Add new option 'no_missing_calls'
Diffstat (limited to 'lib/dialyzer/src/dialyzer_options.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_options.erl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_options.erl b/lib/dialyzer/src/dialyzer_options.erl index 20971f1407..2d6a489695 100644 --- a/lib/dialyzer/src/dialyzer_options.erl +++ b/lib/dialyzer/src/dialyzer_options.erl @@ -2,7 +2,7 @@ %%----------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2014. All Rights Reserved. +%% Copyright Ericsson AB 2006-2015. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -46,7 +46,6 @@ build(Opts) -> ?WARN_CALLGRAPH, ?WARN_FAILING_CALL, ?WARN_BIN_CONSTRUCTION, - ?WARN_CALLGRAPH, ?WARN_CONTRACT_RANGE, ?WARN_CONTRACT_TYPES, ?WARN_CONTRACT_SYNTAX, @@ -302,6 +301,8 @@ build_warnings([Opt|Opts], Warnings) -> ordsets:add_element(?WARN_RETURN_ONLY_EXIT, Warnings); race_conditions -> ordsets:add_element(?WARN_RACE_CONDITION, Warnings); + no_missing_calls -> + ordsets:del_element(?WARN_CALLGRAPH, Warnings); specdiffs -> S = ordsets:from_list([?WARN_CONTRACT_SUBTYPE, ?WARN_CONTRACT_SUPERTYPE, |