This patch addresses two issues that appear in the handling of guards by Dialyzer. More information is provided in the commit messages. git fetch git://github.com/aronisstav/otp.git dialyzer-fix-guards Stavros Aronis