From 47cd56007a9fb37576b32523408c5584f80429aa Mon Sep 17 00:00:00 2001 From: Magnus Henoch 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(-) (limited to 'lib') 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 @@ Include warnings for functions that only return by means of an exception. *** - Include warnings for possible race conditions. + 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. + *** Warn about underspecified functions (the -spec is strictly more allowing than the success typing). -- cgit v1.2.3