MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-inspection] IJ-CR-177592 IDEA-375813 It seems dataflow join works wrong for branching with division by zero

Browse Source 
- fix naming

GitOrigin-RevId: 66fb80af4c9c5e69285eb62845265cc06f9718be
This commit is contained in:
Mikhail Pyltsin
2025-10-07 19:42:03 +00:00
committed by intellij-monorepo-bot
parent 8078fd6349
commit 5219102458
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/ig/com/siyeh/igtest/numeric/divide_by_zero/DivideByZero.java
+2 -2
View File
@@ -58,12 +58,12 @@ public class DivideByZero {
void testMayBe(String[] args) {
int x = 0;
if (args.length==1) x = 100;
System.out.println(10 / <warning descr="Maybe division by zero">x</warning>);
System.out.println(10 / <warning descr="Possible division by zero">x</warning>);
}
void testMayBe2(String[] args) {
int x = 0;
if (args.length==1) x = 1;
System.out.println(10 / <warning descr="Maybe division by zero">x</warning>);
System.out.println(10 / <warning descr="Possible division by zero">x</warning>);
}
}