hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: document FP

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-06-17 13:37:04 +02:00
parent 73810a6d85
commit 4645856f09
2 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/test/query-tests/Nullness/C.java
View File

@@ -244,4 +244,14 @@ public class C {
}
xs[0]++; // OK
}
public void ex18(boolean b, int[] xs, Object related) {
assert (!b && xs == null && related == null) ||
(b && xs != null && related != null) ||
(b && xs == null && related == null);
if (b) {
if (related == null) { return; }
xs[0] = 42; // FP - correlated conditions fails to recognize assert edges
}
}
}