aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorMarcus Arendt <[email protected]>2014-09-25 13:36:59 +0200
committerMarcus Arendt <[email protected]>2014-09-25 13:36:59 +0200
commit2397a14d1113bc2d334dee908269cf3b63c46314 (patch)
treeb2952a28e88d642ce0bd2c69fc7977167bc060cd /lib
parent3b1328d0eaecede8e42b0838f9920e413a19c8d6 (diff)
parent47cd56007a9fb37576b32523408c5584f80429aa (diff)
downloadotp-2397a14d1113bc2d334dee908269cf3b63c46314.tar.gz
otp-2397a14d1113bc2d334dee908269cf3b63c46314.tar.bz2
otp-2397a14d1113bc2d334dee908269cf3b63c46314.zip
Merge branch 'legoscia/patch-8/dialyzer-doc-fix' into maint
* legoscia/patch-8/dialyzer-doc-fix: Add note about known issue with -Wrace_conditions
Diffstat (limited to 'lib')
-rw-r--r--lib/dialyzer/doc/src/dialyzer.xml5
1 files changed, 4 insertions, 1 deletions
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>