From c8da633d7be0a902ada454a8524733e1cce3f892 Mon Sep 17 00:00:00 2001
From: monkey-junkie <notalreadytakenlogin@gmail.com>
Date: Thu, 21 Jan 2021 00:54:00 +0300
Subject: [PATCH] Update ql/src/experimental/CWE-369/DivideByZero.ql

Co-authored-by: Chris Smowton <smowton@github.com>
---
 ql/src/experimental/CWE-369/DivideByZero.ql | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ql/src/experimental/CWE-369/DivideByZero.ql b/ql/src/experimental/CWE-369/DivideByZero.ql
index a7a16b2f9c5..cb147b8f48a 100644
--- a/ql/src/experimental/CWE-369/DivideByZero.ql
+++ b/ql/src/experimental/CWE-369/DivideByZero.ql
@@ -22,8 +22,7 @@ class DivideByZeroSanitizeGuard extends DataFlow::BarrierGuard {
     |
       zero.getNumericValue() = 0 and
       (
-        sink.getType().getUnderlyingType() instanceof SignedIntegerType or
-        sink.getType().getUnderlyingType() instanceof UnsignedIntegerType
+        sink.getType().getUnderlyingType() instanceof IntegerType
       ) and
       (
         eqNode.eq(branch.booleanNot(), sink, zero) or