hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Accept new TP in NullMaybe.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2026-02-12 11:33:24 +01:00
parent b798bc2c8f
commit 8b0dd7b866
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/test/query-tests/Nullness/B.java
View File

@@ -534,7 +534,7 @@ public class B {
s1.hashCode(); // OK
s2.hashCode(); // NPE
}
s1.hashCode(); // NPE - false negative, Java CFG lacks proper edge label
s1.hashCode(); // NPE
}
public void lenCheck(int[] xs, int n, int t) {