[PATCH] Add missing Dialyzer warning options to doc

Tuncer Ayaz <>
Sat Oct 23 00:13:24 CEST 2010


-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 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index 1ec2ce8..b977a44 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


More information about the erlang-patches mailing list