aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKostis Sagonas <kostis@it.uu.se>2014-01-31 12:05:59 +0200
committerKostis Sagonas <kostis@it.uu.se>2014-01-31 12:05:59 +0200
commitf2e972853268e847cfb28eed4193c0bb699e9718 (patch)
tree1ec070f14a2c273b2e0605578fa5103596e24787
parentfdcdaca338849d7f63d4300e489318f6ee275d82 (diff)
downloadotp-f2e972853268e847cfb28eed4193c0bb699e9718.tar.gz
otp-f2e972853268e847cfb28eed4193c0bb699e9718.tar.bz2
otp-f2e972853268e847cfb28eed4193c0bb699e9718.zip
Add a spec for a function that does not return
-rw-r--r--lib/dialyzer/src/dialyzer_dataflow.erl3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index 33fa107019..03f9684b02 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -2302,6 +2302,9 @@ bind_guard_list([], Map, _Env, _Eval, _State, Acc) ->
signal_guard_fail(Eval, Guard, ArgTypes, State) ->
signal_guard_failure(Eval, Guard, ArgTypes, fail, State).
+-spec signal_guard_fatal_fail(eval(), cerl:c_call(), [erl_types:erl_type()],
+ state()) -> no_return().
+
signal_guard_fatal_fail(Eval, Guard, ArgTypes, State) ->
signal_guard_failure(Eval, Guard, ArgTypes, fatal_fail, State).