Python: Prevent bad magic in one predicate.

markshannon · markshannon · commit 20fc64c6736c · 2019-08-23T15:08:19.000+01:00
diff --git 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 |

Original file line number	Diff line number	Diff line change
`@@ -78,6 +78,7 @@ abstract class ConstantObjectInternal extends ObjectInternal {`
`78`	`78`
`79`	`79`	`}`
`80`	`80`
	`81`	`+pragma[nomagic]`
`81`	`82`	`private boolean callToBool(CallNode call, PointsToContext context) {`
`82`	`83`	`PointsToInternal::pointsTo(call.getFunction(), context, ClassValue::bool(), _) and`
`83`	`84`	`exists(ObjectInternal arg \|`