diff options
| author | Stavros Aronis <[email protected]> | 2012-02-17 18:06:27 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:18 +0200 |
| commit | 0448c64be671017a6ef25e9122f493f433e60811 (patch) | |
| tree | e5406700bd97aef940b453369849d938bf926049 /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | b8e96486af6b63c20cefd8af788a8e275a9d8e53 (diff) | |
| download | otp-0448c64be671017a6ef25e9122f493f433e60811.tar.gz otp-0448c64be671017a6ef25e9122f493f433e60811.tar.bz2 otp-0448c64be671017a6ef25e9122f493f433e60811.zip | |
Prepare for parallel dataflow
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 69575ad63a..248ad328ab 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -123,12 +123,11 @@ get_warnings(Tree, Plt, Callgraph, Records, NoWarnUnused) -> {State4#state.warnings, state__all_fun_types(State4)}. -spec get_fun_types(cerl:c_module(), dialyzer_plt:plt(), - dialyzer_callgraph:callgraph(), dict()) -> - {dict(), dialyzer_callgraph:callgraph()}. + dialyzer_callgraph:callgraph(), dict()) -> dict(). get_fun_types(Tree, Plt, Callgraph, Records) -> State = analyze_module(Tree, Plt, Callgraph, Records, false), - {state__all_fun_types(State), State#state.callgraph}. + state__all_fun_types(State). %%-------------------------------------------------------------------- |