From f5cfc5e282d73e4f89eb2377aa9e7966ed54d8e1 Mon Sep 17 00:00:00 2001
From: Kaixuan Li <kaixuan.li@ntu.edu.sg>
Date: Sun, 29 Mar 2026 10:25:10 +0800
Subject: [PATCH] Update
 java/ql/test/query-tests/security/CWE-190/semmle/tests/ArithmeticTainted.java

Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
---
 .../security/CWE-190/semmle/tests/ArithmeticTainted.java        | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/java/ql/test/query-tests/security/CWE-190/semmle/tests/ArithmeticTainted.java b/java/ql/test/query-tests/security/CWE-190/semmle/tests/ArithmeticTainted.java
index 80a83392873..04020aac31f 100644
--- a/java/ql/test/query-tests/security/CWE-190/semmle/tests/ArithmeticTainted.java
+++ b/java/ql/test/query-tests/security/CWE-190/semmle/tests/ArithmeticTainted.java
@@ -119,6 +119,8 @@ public class ArithmeticTainted {
 			test2(data);
 			test3(data);
 			test4(data);
+			boundsCheckGood(null, data, 5);
+			boundsCheckGood2(null, data, 5);
 		}
 	}