From 298e4cfcc5829f662f20e0ede76d35fb1e2b8b69 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Fri, 21 Nov 2025 12:53:39 +0100
Subject: [PATCH] Java: Recognize int-sized long literals.

---
 java/ql/lib/semmle/code/java/dataflow/RangeUtils.qll | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/java/ql/lib/semmle/code/java/dataflow/RangeUtils.qll b/java/ql/lib/semmle/code/java/dataflow/RangeUtils.qll
index 269c47dc3b77..6985053735c5 100644
--- a/java/ql/lib/semmle/code/java/dataflow/RangeUtils.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/RangeUtils.qll
@@ -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