diff options
| author | Stavros Aronis <[email protected]> | 2011-01-03 15:07:55 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-01-18 15:50:09 +0100 |
| commit | 02e0f98ab537b002f2ccb1092d9e7310d9e15c58 (patch) | |
| tree | 5b79d80f20e1965d50c1f189449fee4e76a9c151 /lib/dialyzer/src/dialyzer.erl | |
| parent | 326ec4e6a86e7ddb7b49f2465ad43adf86399aac (diff) | |
| download | otp-02e0f98ab537b002f2ccb1092d9e7310d9e15c58.tar.gz otp-02e0f98ab537b002f2ccb1092d9e7310d9e15c58.tar.bz2 otp-02e0f98ab537b002f2ccb1092d9e7310d9e15c58.zip | |
Fix errors in the handling of 'and'/'or' guards
Apart from the obvious bug in the negative evaluation of an 'and'
guard, Dialyzer handled dont_know cases rather single-mindedly
towards the positive branch. This patch allows for negative results
as well and does some clever guesses to narrow them down. It was
constructed similarly to the handling of the 'not' guard.
Diffstat (limited to 'lib/dialyzer/src/dialyzer.erl')
0 files changed, 0 insertions, 0 deletions