diff options
author | Hans Bolinder <[email protected]> | 2017-06-14 08:32:24 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-06-14 08:32:24 +0200 |
commit | d4fea060349a72fb58267e82c2d6bfa7b638b2c9 (patch) | |
tree | 55d6132b053943890bc1314df49c88cede3476e6 /lib/dialyzer/src/typer.erl | |
parent | ae27396d10508b21d1de6a7d347b98f3259fa507 (diff) | |
parent | 3f185989845ab0324b8a96988066b644d15ab791 (diff) | |
download | otp-d4fea060349a72fb58267e82c2d6bfa7b638b2c9.tar.gz otp-d4fea060349a72fb58267e82c2d6bfa7b638b2c9.tar.bz2 otp-d4fea060349a72fb58267e82c2d6bfa7b638b2c9.zip |
Merge branch 'hasse/dialyzer/opt/OTP-14218'
* hasse/dialyzer/opt/OTP-14218:
dialyzer: Run more of analyses in subprocess
dialyzer: Do not use two records for PLTs
dialyzer: Improve compression of an ETS table
dialyzer: Minor optimizations
hipe: Remove 'undefined' from a record field's type
dialyzer: Warn about unused unknown types
hipe: Remove use of 'catch'
dialyzer: Correct a mistake
dialyzer: Rearrange some code to save memory
dialyzer: Optimize by avoiding some table lookups
hipe: Optimize contract decoration somewhat
hipe: Correct a typespec
Diffstat (limited to 'lib/dialyzer/src/typer.erl')
-rw-r--r-- | lib/dialyzer/src/typer.erl | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/dialyzer/src/typer.erl b/lib/dialyzer/src/typer.erl index 43e03be740..bf5484e5f6 100644 --- a/lib/dialyzer/src/typer.erl +++ b/lib/dialyzer/src/typer.erl @@ -158,10 +158,9 @@ get_type_info(#analysis{callgraph = CallGraph, StrippedCallGraph = remove_external(CallGraph, TrustPLT), %% io:format("--- Analyzing callgraph... "), try - NewMiniPlt = dialyzer_succ_typings:analyze_callgraph(StrippedCallGraph, - TrustPLT, - CodeServer), - NewPlt = dialyzer_plt:restore_full_plt(NewMiniPlt), + NewPlt = dialyzer_succ_typings:analyze_callgraph(StrippedCallGraph, + TrustPLT, + CodeServer), Analysis#analysis{callgraph = StrippedCallGraph, trust_plt = NewPlt} catch error:What -> |