mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 11:07:43 +07:00
Leonid Shalupovandintellij-monorepo-bot
40795fe787
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
16 lines
407 B
HTML
16 lines
407 B
HTML
<html>
|
|
<body>
|
|
Reports loops that cannot be completed without an index overflow or loops that don't loop at all.
|
|
It usually happens because of a mistake in the update operation.
|
|
<p>Example:</p>
|
|
<pre><code>
|
|
void foo(int s) {
|
|
for (int i = s; i > 12; i++) { // i-- should be here
|
|
System.out.println(i);
|
|
}
|
|
}
|
|
</code></pre>
|
|
<!-- tooltip end -->
|
|
<p><small>New in 2019.1</small></p>
|
|
</body>
|
|
</html> |