aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-04-13 11:00:45 +0200
committerHans Bolinder <[email protected]>2015-04-27 08:30:45 +0200
commit51982dfa96c98b91531d0a13e1350f2fef06b845 (patch)
treef434b07676f860bbf339f5d6808048246a0cdbbf /lib/dialyzer/doc/src
parent4729cebdf61022cadb0a5a04ae30bace77a7b5db (diff)
downloadotp-51982dfa96c98b91531d0a13e1350f2fef06b845.tar.gz
otp-51982dfa96c98b91531d0a13e1350f2fef06b845.tar.bz2
otp-51982dfa96c98b91531d0a13e1350f2fef06b845.zip
dialyzer: Add new option 'unknown'
Replace the undocumented option 'no_unknown' with the documented option 'unknown'.
Diffstat (limited to 'lib/dialyzer/doc/src')
-rw-r--r--lib/dialyzer/doc/src/dialyzer.xml15
1 files changed, 12 insertions, 3 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index e5f04a00b3..2a8bf6edcc 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -4,7 +4,7 @@
<erlref>
<header>
<copyright>
- <year>2006</year><year>2014</year>
+ <year>2006</year><year>2015</year>
<holder>Ericsson AB. All Rights Reserved.</holder>
</copyright>
<legalnotice>
@@ -248,9 +248,16 @@
analysis that finds data races performs intra-procedural data flow analysis
and can sometimes explode in time. Enable it at your own risk.
</item>
- <tag><c><![CDATA[-Wunderspecs]]></c>***</tag>
+i <tag><c><![CDATA[-Wunderspecs]]></c>***</tag>
<item>Warn about underspecified functions
(the -spec is strictly more allowing than the success typing).</item>
+ <tag><c><![CDATA[-Wunknown]]></c>***</tag>
+ <item>Let warnings about unknown functions and types affect the
+ exit status of the command line version. The default is to ignore
+ warnings about unknown functions and types when setting the exit
+ status. When using the Dialyzer from Erlang, warnings about unknown
+ functions and types are returned; the default is not to return
+ these warnings.</item>
</taglist>
<p>The following options are also available but their use is not
recommended: (they are mostly for Dialyzer developers and internal
@@ -384,7 +391,8 @@ WarnOpts :: no_return
| race_conditions
| overspecs
| underspecs
- | specdiffs</code>
+ | specdiffs
+ | unknown</code>
</desc>
</func>
<func>
@@ -418,6 +426,7 @@ Tag :: 'warn_behaviour'
| 'warn_return_only_exit'
| 'warn_umatched_return'
| 'warn_undefined_callbacks'
+ | 'warn_unknown'
Id = {File :: string(), Line :: integer()}
Msg = msg() -- Undefined</code>
</desc>