[Soot-list] Dava fix for empty loops

[Steffen Pingel]

Hi,

as pointed out in an earlier Mail, Dava does not correctly handle empty 
unconditional loops:

    do {
    } while (true);

I have attached a patch that fixes the detection.

BTW, are there any regression (unit) tests for Dava?

Steffen

-- 
Steffen Pingel - steffenp at gmx.de - http://steffenpingel.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: soot-2258-single-stmt-loop.diff
Type: text/x-diff
Size: 1098 bytes
Desc: not available
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20060112/88a1e4e9/soot-2258-single-stmt-loop.bin