Python points-to: Cache objects.

2026-05-03 04:39:29 +02:00 · 2019-05-31 14:56:11 +01:00
parent f6cc0be4a4
commit 66ba1079f3
1 changed files with 1 additions and 1 deletions
--- a/python/ql/src/semmle/python/objects/TObject.qll
+++ b/python/ql/src/semmle/python/objects/TObject.qll
@@ -7,7 +7,7 @@ private import semmle.python.pointsto.PointsToContext
 /** Internal type backing `ObjectInternal` and `Value`
 * See `ObjectInternal.qll` for an explanation of the API.
 */
-newtype TObject =
+cached newtype TObject =
    /* Builtin class objects */
    TBuiltinClassObject(Builtin bltn) {
        bltn.isClass() and