From 1b0f5a265af959a8e45eb33912bc268c47cd9b0e Mon Sep 17 00:00:00 2001
From: Tuncer Ayaz <tuncer.ayaz@gmail.com>
Date: Sat, 23 Oct 2010 00:13:24 +0200
Subject: Add missing Dialyzer warning options to doc

-Wno_opaque, -Wrace_conditions and -Wbehaviours are only documented
in the Dialyzer command line help text. Add them to the documentation.
---
 lib/dialyzer/doc/src/dialyzer.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'lib/dialyzer/doc/src')

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
-- 
cgit v1.2.3