diff options
| author | Henrik Nord <[email protected]> | 2011-11-18 17:33:22 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-11-18 17:33:42 +0100 |
| commit | b130455e73b0bcacee2bfd3dfe6bafa9dd497886 (patch) | |
| tree | 2f97ac74f573b2f0c5a4f846e4505dec871e05f5 /lib/dialyzer/src/dialyzer_cl_parse.erl | |
| parent | 01bf07008b38839f4e1dff3293f921c2e35a44c4 (diff) | |
| parent | 8167578ca6b23f3043ae2e21ded4b13b8db74e20 (diff) | |
| download | otp-b130455e73b0bcacee2bfd3dfe6bafa9dd497886.tar.gz otp-b130455e73b0bcacee2bfd3dfe6bafa9dd497886.tar.bz2 otp-b130455e73b0bcacee2bfd3dfe6bafa9dd497886.zip | |
Merge branch 'sa/dialyzer-behaviours'
* sa/dialyzer-behaviours:
Wrap up behaviours patch for Dialyzer
Detection of callback-spec discrepancies
Allow none() as return value in callbacks
Behaviour callback discrepancy detection for Dialyzer
Add lookup function for callbacks
Store callbacks in codeserver and PLT
Collect callback definitions during compilation
Update inets results
OTP-9731
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl_parse.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl_parse.erl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl index f80eb81ac6..ff8fc39a5e 100644 --- a/lib/dialyzer/src/dialyzer_cl_parse.erl +++ b/lib/dialyzer/src/dialyzer_cl_parse.erl @@ -491,6 +491,12 @@ warning_options_msg() -> Suppress warnings for patterns that are unused or cannot match. -Wno_opaque Suppress warnings for violations of opaqueness of data types. + -Wno_behaviours + Suppress warnings about behaviour callbacks which drift from the published + recommended interfaces. + -Wno_undefined_callbacks + Suppress warnings about behaviours that have no -callback attributes for + their callbacks. -Wunmatched_returns *** Include warnings for function calls which ignore a structured return value or do not match against one of many possible return value(s). @@ -498,9 +504,6 @@ warning_options_msg() -> Include warnings for functions that only return by means of an exception. -Wrace_conditions *** Include warnings for possible race conditions. - -Wbehaviours *** - Include warnings about behaviour callbacks which drift from the published - recommended interfaces. -Wunderspecs *** Warn about underspecified functions (those whose -spec is strictly more allowing than the success typing). |