diff options
| author | Hans Bolinder <[email protected]> | 2016-02-18 15:01:15 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-02-22 12:09:18 +0100 |
| commit | f10621e0cd4321834d072d2c495fc84066f04cd3 (patch) | |
| tree | 5cea83359579da4881e7d839e67c97755eaa4177 /lib/asn1/src | |
| parent | 89d7e21cf4ae988c57c8ef047bfe85127875c70c (diff) | |
| download | otp-f10621e0cd4321834d072d2c495fc84066f04cd3.tar.gz otp-f10621e0cd4321834d072d2c495fc84066f04cd3.tar.bz2 otp-f10621e0cd4321834d072d2c495fc84066f04cd3.zip | |
Fix a few dialyzer warnings
Diffstat (limited to 'lib/asn1/src')
| -rw-r--r-- | lib/asn1/src/asn1ct_check.erl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/asn1/src/asn1ct_check.erl b/lib/asn1/src/asn1ct_check.erl index 4d17cfb966..f2c895bfaa 100644 --- a/lib/asn1/src/asn1ct_check.erl +++ b/lib/asn1/src/asn1ct_check.erl @@ -2,7 +2,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1997-2013. All Rights Reserved. +%% Copyright Ericsson AB 1997-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -1552,9 +1552,11 @@ match_syntax_objset_1(_, {object,_,_}=Object, ClassDef) -> make_objset(ClassDef, Set) -> #typedef{typespec=#'ObjectSet'{class=ClassDef,set=Set}}. +-spec syntax_match_error(_) -> no_return(). syntax_match_error(S) -> asn1_error(S, syntax_nomatch). +-spec syntax_match_error(_, _) -> no_return(). syntax_match_error(S, What0) -> What = printable_string(What0), asn1_error(S, {syntax_nomatch,What}). @@ -5745,6 +5747,7 @@ return_asn1_error(#state{mname=Where}, Item, Error) -> Pos = asn1ct:get_pos_of_def(Item), {structured_error,{Where,Pos},?MODULE,Error}. +-spec asn1_error(_, _) -> no_return(). asn1_error(S, Error) -> throw({error,return_asn1_error(S, Error)}). |