Dialyzer can yield false positives and false negatives after checking PLT

Hi,

If a function is removed from a module and the module has previously been
added to a PLT, the function will not be removed from PLT when the PLT is
checked. This results in dialyzer failing to produce a callgraph warning
when doing success typings analysis if the remove function is still called
in another module

As the function is not removed from the PLT a prior warning, such as a
contract types warning, might be emitted when the removed function nolonger
exists.

I have attached an archive with a minimal example, which prints a contract
types warning instead of a callgraph warning. This example has been tested
on OTP R15B03 and 17.4.

Regards,

James

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs