From 47cd56007a9fb37576b32523408c5584f80429aa Mon Sep 17 00:00:00 2001
From: Magnus Henoch <magnus.henoch@gmail.com>
Date: Wed, 23 Jul 2014 10:55:33 +0100
Subject: Add note about known issue with -Wrace_conditions

As noted on the erlang-bugs mailing list:
http://erlang.org/pipermail/erlang-bugs/2014-July/004518.html
---
 lib/dialyzer/doc/src/dialyzer.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index 4e26a9e95e..e482b1e6f8 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -238,7 +238,10 @@
       <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>
+      <item>Include warnings for possible race conditions. Note that the
+      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>
       <item>Warn about underspecified functions
       (the -spec is strictly more allowing than the success typing).</item>
-- 
cgit v1.2.3