diff options
author | Gustav Simonsson <[email protected]> | 2012-03-15 10:47:18 +0100 |
---|---|---|
committer | Gustav Simonsson <[email protected]> | 2012-03-15 10:47:18 +0100 |
commit | db9c249a0dd1c948f9bcbc47df166c13e7856357 (patch) | |
tree | e9c8653c88b0502dd2246130615baa226d9ba9cc /lib/inets | |
parent | b99ff6a992770ea14506079fd2c656210bc912c9 (diff) | |
download | otp-db9c249a0dd1c948f9bcbc47df166c13e7856357.tar.gz otp-db9c249a0dd1c948f9bcbc47df166c13e7856357.tar.bz2 otp-db9c249a0dd1c948f9bcbc47df166c13e7856357.zip |
* sa/dialyzer-fixes:
Ensure that -on_load functions are not reported as unused
Unknown types are being reported by dialyzer's GUIs
Fix bug in remote type solving
Review by Kostis Sagonas and fixes
Simplify external vs bad calls check
Remove callgraph from the state used during solving
Refactorings in dialyzer_typesig
Avoid unnecessary passing of huge terms in some closures
Further simplifications
Remove redundant code
Simplify dialyzer_succ_typings code
Cleanups in dialyzer_callgraph and dialyzer_dataflow
Zero-arity unused functions Dialyzer patch
Cleanup debug messages in dialyzer_dataflow
Refactorings in dialyzer_analysis_callgraph
Allow t_opaque_structure to handle multiple opaque types
Support alternative spelling of behaviour
Refactor function selection by Dialyzer's codeserver
Prettify spec
Small fixes for Dialyzer's testsuites generation
Diffstat (limited to 'lib/inets')
0 files changed, 0 insertions, 0 deletions