diff options
| author | Marcus Arendt <[email protected]> | 2014-09-25 13:37:52 +0200 |
|---|---|---|
| committer | Marcus Arendt <[email protected]> | 2014-09-25 13:37:52 +0200 |
| commit | f4a57a8e94b9eb5f21adfd1c8da62429a3cb35c1 (patch) | |
| tree | 4c11a1f2b3edf199c23757912dd2e005a4a09deb /lib/dialyzer/doc/src/dialyzer.xml | |
| parent | a15acb2cd18fb086abdfb54b37b0dd79199f7e61 (diff) | |
| parent | 2397a14d1113bc2d334dee908269cf3b63c46314 (diff) | |
| download | otp-f4a57a8e94b9eb5f21adfd1c8da62429a3cb35c1.tar.gz otp-f4a57a8e94b9eb5f21adfd1c8da62429a3cb35c1.tar.bz2 otp-f4a57a8e94b9eb5f21adfd1c8da62429a3cb35c1.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/doc/src/dialyzer.xml')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 5 |
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> |