diff options
| author | Hans Bolinder <[email protected]> | 2018-05-02 10:36:09 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-05-13 09:06:30 +0200 |
| commit | ac35ee08779884728d67d804cc80b0c210c29fd8 (patch) | |
| tree | 7cf09cec5736ee1b8acbc955a7597ae34cc56a3e /lib/dialyzer/src/Makefile | |
| parent | 837fe8bf4bf3a567c66afec0f0ec3dd70d248cd8 (diff) | |
| download | otp-ac35ee08779884728d67d804cc80b0c210c29fd8.tar.gz otp-ac35ee08779884728d67d804cc80b0c210c29fd8.tar.bz2 otp-ac35ee08779884728d67d804cc80b0c210c29fd8.zip | |
dialyzer: Do not emit warnings for unreachable funs
Warnings are not generated for funs residing in dead code.
In particular, warnings like "The created fun has no local return" are
no longer generated for funs declared in clauses or functions that
cannot be run.
Diffstat (limited to 'lib/dialyzer/src/Makefile')
0 files changed, 0 insertions, 0 deletions