bug in NaiveSideEffectTester

[Florian Loitsch <florian@loitsch.net>]

hi,
just a small bug in NaiveSideEffectTester.java:
line 108 and following:
===
if (v instanceof Local)
    return false;
else
    return true;
===
a local passes perhaps this test, but is not yet "safe".
a def (in the same line) still can kill it.
so just replace the block by:
===
if (!(v instanceof Local))
    return true;
===
mfg
 florian
-- 
People who think they know everything are very irritating to those of us who do.
- Anon.