Files
codeql/java/ql/test/query-tests/Nullness/ExprDeref.java
2018-08-30 10:48:05 +01:00

10 lines
144 B
Java

public class ExprDeref {
Integer getBoxed() {
return 0;
}
int unboxBad(boolean b) {
return (b ? null : getBoxed()); // NPE
}
}