From b2f1da8942b6963a602aa4edadf0ce291f525374 Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Thu, 12 Mar 2020 15:01:30 +0000
Subject: [PATCH] Simplify a condition.

---
 .../semmle/go/security/AllocationSizeOverflowCustomizations.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll b/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll
index 1a36e348535..ddf37822c15 100644
--- a/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll
+++ b/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll
@@ -150,7 +150,7 @@ module AllocationSizeOverflow {
   private predicate isSmall(Expr e) {
     isSmallType(e.getType())
     or
-    exists(e.getExactValue())
+    e.isConst()
     or
     exists(KeyValueExpr kv | kv = e |
       isSmall(kv.getKey()) and