diff options
| author | Hans Bolinder <[email protected]> | 2015-01-15 11:50:54 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-01-15 11:50:54 +0100 |
| commit | 249ea23892ee75f157b435b9edd1d8123d2474da (patch) | |
| tree | 9d9c4be0aadfcff6f137380259b93d87b5da17e5 /lib/stdlib | |
| parent | 78a6bc3476fdf324a2140c04a42d003a0e9137ea (diff) | |
| parent | 25ab719cfaf42d196287fec2171bf3eefb845b62 (diff) | |
| download | otp-249ea23892ee75f157b435b9edd1d8123d2474da.tar.gz otp-249ea23892ee75f157b435b9edd1d8123d2474da.tar.bz2 otp-249ea23892ee75f157b435b9edd1d8123d2474da.zip | |
Merge branch 'hb/dialyzer/suppress_warning/OTP-10280'
* hb/dialyzer/suppress_warning/OTP-10280:
dialyzer: Introduce module local suppression of warnings
Diffstat (limited to 'lib/stdlib')
| -rw-r--r-- | lib/stdlib/src/erl_lint.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/stdlib/src/erl_lint.erl b/lib/stdlib/src/erl_lint.erl index 26d8454731..b870ccf1f9 100644 --- a/lib/stdlib/src/erl_lint.erl +++ b/lib/stdlib/src/erl_lint.erl @@ -744,6 +744,8 @@ attribute_state(Form, St) -> %% State' %% Allow for record, type and opaque type definitions and spec %% declarations to be intersperced within function definitions. +%% Dialyzer attributes are also allowed everywhere, but are not +%% checked at all. function_state({attribute,L,record,{Name,Fields}}, St) -> record_def(L, Name, Fields, St); @@ -753,6 +755,8 @@ function_state({attribute,L,opaque,{TypeName,TypeDef,Args}}, St) -> type_def(opaque, L, TypeName, TypeDef, Args, St); function_state({attribute,L,spec,{Fun,Types}}, St) -> spec_decl(L, Fun, Types, St); +function_state({attribute,_L,dialyzer,_Val}, St) -> + St; function_state({attribute,La,Attr,_Val}, St) -> add_error(La, {attribute,Attr}, St); function_state({function,L,N,A,Cs}, St) -> |