IL_INFINITE_LOOP false positive (1.1.3)

Hi,

the IL_INFINITE_LOOP marks the following code:

while (--i > 0);

as an apparent infinite loop, which I would say is not true.
This is not productive code but a sample snippet. I'm not
sure if it also fails for some real life code?

Also the bug is reported 2 times in the XML output.

The code can be found here: http://tinyurl.com/yjspoj
Just click on the line number [154].


Regards,

Andreas.