From 20fc64c6736c6560db35aa9c3cfab73c714b5b88 Mon Sep 17 00:00:00 2001
From: Mark Shannon <mark@hotpy.org>
Date: Fri, 23 Aug 2019 15:08:19 +0100
Subject: [PATCH] Python: Prevent bad magic in one predicate.

---
 python/ql/src/semmle/python/objects/Constants.qll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/ql/src/semmle/python/objects/Constants.qll b/python/ql/src/semmle/python/objects/Constants.qll
index 17a749e7ae4..48c8872b66c 100644
--- a/python/ql/src/semmle/python/objects/Constants.qll
+++ b/python/ql/src/semmle/python/objects/Constants.qll
@@ -78,6 +78,7 @@ abstract class ConstantObjectInternal extends ObjectInternal {
 
 }
 
+pragma[nomagic]
 private boolean callToBool(CallNode call, PointsToContext context) {
     PointsToInternal::pointsTo(call.getFunction(), context, ClassValue::bool(), _) and
     exists(ObjectInternal arg |