This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
int i, j; I'd expect: i = j & ~j; so be picked up by the rule: $a & ~$a => 0 :: sideEffectFree($a); or simply: $a & ~$a => 0; Basically, the following works: ~~$a => $a; $a & $a => $a :: sideEffectFree($a); $a | $a => $a :: sideEffectFree($a); $a ^ $a => 0 :: sideEffectFree($a); And the following doesn't: $a & ~$a => 0 :: sideEffectFree($a); ~$a & $a => 0 :: sideEffectFree($a); $a | ~$a => -1 :: sideEffectFree($a); ~$a | $a => -1 :: sideEffectFree($a); $a ^ ~$a => -1 :: sideEffectFree($a); ~$a ^ $a => -1 :: sideEffectFree($a);
In addition, the following works: ~$a & ~$b => ~($a | $b); ~$a | ~$b => ~($a & $b); ~$a ^ ~$b => $a ^ $b;
I'll investigate what's wrong after I get back from vacation.
cool - have a nice holiday ;-)
The old Jackpot module is no longer maintained. There is a rewrite in progress at: http://bitbucket.org/jlahoda/jackpot30/wiki/Home