diff options
author | Björn Gustavsson <[email protected]> | 2010-10-29 11:29:37 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2010-10-29 11:29:37 +0200 |
commit | e3ef31fe6b728ccc2149cac7e1b3e10d0a65ec6f (patch) | |
tree | b0eadd85f049988bdcf417811f7567fec38ecc76 | |
parent | 26bf9f5871c114c10f0dc1d67b53887ef6b322d1 (diff) | |
parent | 1b0f5a265af959a8e45eb33912bc268c47cd9b0e (diff) | |
download | otp-e3ef31fe6b728ccc2149cac7e1b3e10d0a65ec6f.tar.gz otp-e3ef31fe6b728ccc2149cac7e1b3e10d0a65ec6f.tar.bz2 otp-e3ef31fe6b728ccc2149cac7e1b3e10d0a65ec6f.zip |
Merge branch 'ta/fix-dialyzer-documentation' into dev
* ta/fix-dialyzer-documentation:
Add missing Dialyzer warning options to doc
-rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 1ec2ce830a..b977a44913 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -158,9 +158,16 @@ <tag><c><![CDATA[-Wno_match]]></c></tag> <item>Suppress warnings for patterns that are unused or cannot match.</item> + <tag><c><![CDATA[-Wno_opaque]]></c></tag> + <item>Suppress warnings for violations of opaqueness of data types.</item> <tag><c><![CDATA[-Werror_handling]]></c>***</tag> <item>Include warnings for functions that only return by means of an exception.</item> + <tag><c><![CDATA[-Wrace_conditions]]></c>***</tag> + <item>Include warnings for possible race conditions.</item> + <tag><c><![CDATA[-Wbehaviours]]></c>***</tag> + <item>Include warnings about behaviour callbacks which drift from the + published recommended interfaces.</item> <tag><c><![CDATA[-Wunmatched_returns]]></c>***</tag> <item>Include warnings for function calls which ignore a structured return value or do not match against one of many possible return value(s).</item> @@ -215,8 +222,11 @@ WarnOpts : no_return | no_improper_lists | no_fun_app | no_match + | no_opaque | no_fail_call | error_handling + | race_conditions + | behaviours | unmatched_returns | overspecs | underspecs |