Merge pull request #20886 from aschackmull/java/rangeanalysis-longliterals

Java: Recognize int-sized long literals.
This commit is contained in:
Anders Schack-Mulligen
2025-11-21 13:35:14 +01:00
committed by GitHub

View File

@@ -86,6 +86,8 @@ pragma[nomagic]
private predicate constantIntegerExpr(Expr e, int val) {
e.(CompileTimeConstantExpr).getIntValue() = val
or
e.(LongLiteral).getValue().toInt() = val
or
exists(SsaExplicitWrite v, Expr src |
e = v.getARead() and
src = v.getValue() and