We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 60826bd + 298e4cf commit b1ed72dCopy full SHA for b1ed72d
java/ql/lib/semmle/code/java/dataflow/RangeUtils.qll
@@ -86,6 +86,8 @@ pragma[nomagic]
86
private predicate constantIntegerExpr(Expr e, int val) {
87
e.(CompileTimeConstantExpr).getIntValue() = val
88
or
89
+ e.(LongLiteral).getValue().toInt() = val
90
+ or
91
exists(SsaExplicitWrite v, Expr src |
92
e = v.getARead() and
93
src = v.getValue() and
0 commit comments