diff options
| author | Luca Favatella <[email protected]> | 2015-10-16 00:31:11 +0100 |
|---|---|---|
| committer | Luca Favatella <[email protected]> | 2015-10-27 22:17:53 +0000 |
| commit | 33ddd3f0699cbb4aa9aea2ec7fcf690d5c498c53 (patch) | |
| tree | f1467326cbb4e3c616a04aba5ddac6f3f40617a3 /lib/dialyzer/src/dialyzer_callgraph.erl | |
| parent | 7dc9eefa341fbfae0ebc55a88b96a375c611e3a4 (diff) | |
| download | otp-33ddd3f0699cbb4aa9aea2ec7fcf690d5c498c53.tar.gz otp-33ddd3f0699cbb4aa9aea2ec7fcf690d5c498c53.tar.bz2 otp-33ddd3f0699cbb4aa9aea2ec7fcf690d5c498c53.zip | |
Teach Dialyzer call to funs `M:F/A` (literal M, F, A)
Diffstat (limited to 'lib/dialyzer/src/dialyzer_callgraph.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_callgraph.erl | 27 |
1 files changed, 25 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl index a1cd2015ca..9e53e171c0 100644 --- a/lib/dialyzer/src/dialyzer_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_callgraph.erl @@ -478,14 +478,37 @@ scan_one_core_fun(TopTree, FunName) -> call -> CalleeM = cerl:call_module(Tree), CalleeF = cerl:call_name(Tree), - A = length(cerl:call_args(Tree)), + CalleeArgs = cerl:call_args(Tree), + A = length(CalleeArgs), case (cerl:is_c_atom(CalleeM) andalso cerl:is_c_atom(CalleeF)) of true -> M = cerl:atom_val(CalleeM), F = cerl:atom_val(CalleeF), case erl_bif_types:is_known(M, F, A) of - true -> Acc; + true -> + case {M, F, A} of + {erlang, make_fun, 3} -> + [CA1, CA2, CA3] = CalleeArgs, + case + cerl:is_c_atom(CA1) andalso + cerl:is_c_atom(CA2) andalso + cerl:is_c_int(CA3) + of + true -> + MM = cerl:atom_val(CA1), + FF = cerl:atom_val(CA2), + AA = cerl:int_val(CA3), + case erl_bif_types:is_known(MM, FF, AA) of + true -> Acc; + false -> [{FunName, {MM, FF, AA}}|Acc] + end; + false -> + Acc + end; + _ -> + Acc + end; false -> [{FunName, {M, F, A}}|Acc] end; false -> |