1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
-module(abs).
%% OTP-12948. erlang:abs/1 bug fix.
-export([t/0]).
t() ->
Fs = [fun i1/0, fun i2/0, fun i3/0, fun i4/0, fun f1/0],
_ = [catch F() || F <- Fs],
ok.
i1() ->
A = int(),
I1 = i1(A),
true = I1 < 2,
true = I1 < 1. % can never match
-spec i1(neg_integer()) -> non_neg_integer().
i1(A) when is_integer(A), A < 0 ->
abs(A).
i2() ->
A = int(),
I2 = i2(A),
true = I2 < 1,
true = I2 < 0. % can never match
-spec i2(non_neg_integer()) -> non_neg_integer().
i2(A) when is_integer(A), A >= 0 ->
abs(A).
i3() ->
A = int(),
I3 = i3(A),
true = I3 < -1,
true = I3 < 0. % can never match
-spec i3(integer()) -> non_neg_integer().
i3(A) when is_integer(A) ->
abs(A).
i4() ->
A = int(),
I4 = i4(A),
true = I4 =:= 0 orelse I4 =:= 1,
true = I4 < 0 orelse I4 > 1. % can never match
-spec i4(integer()) -> number().
i4(A) when A =:= -1; A =:= 0; A =:= 1 ->
abs(A).
f1() ->
F1 = f1(float()),
math:sqrt(F1).
f1(A) ->
abs(A).
-spec int() -> integer().
int() ->
foo:bar().
-spec float() -> float().
float() ->
math:sqrt(1.0).
|
