From cfd79e2006ad6420eeae99c1b3a6b98a965c4830 Mon Sep 17 00:00:00 2001 From: Calum Grant Date: Mon, 19 Dec 2022 17:29:48 +0000 Subject: [PATCH] Py: Put in commented-out test and update expected --- .../3/library-tests/PointsTo/typehints/Values.expected | 7 +++++++ python/ql/test/3/library-tests/PointsTo/typehints/test.py | 5 +++++ 2 files changed, 12 insertions(+) diff --git a/python/ql/test/3/library-tests/PointsTo/typehints/Values.expected b/python/ql/test/3/library-tests/PointsTo/typehints/Values.expected index 5b81d84d42a..7e258b8c1df 100644 --- a/python/ql/test/3/library-tests/PointsTo/typehints/Values.expected +++ b/python/ql/test/3/library-tests/PointsTo/typehints/Values.expected @@ -19,3 +19,10 @@ | test.py:10:6:10:18 | test.py:10 | ControlFlowNode for Subscript | import | file://:0:0:0:0 | _Optional()[builtin-class int] | | test.py:10:15:10:17 | test.py:10 | ControlFlowNode for int | import | file://:0:0:0:0 | builtin-class int | | test.py:10:20:10:22 | test.py:10 | ControlFlowNode for int | import | file://:0:0:0:0 | builtin-class int | +| test.py:12:1:12:12 | test.py:12 | ControlFlowNode for ClassExpr | import | test.py:12:1:12:12 | class baz | +| test.py:14:7:14:10 | test.py:14 | ControlFlowNode for True | import | file://:0:0:0:0 | bool True | +| test.py:15:11:15:13 | test.py:15 | ControlFlowNode for baz | import | file://:0:0:0:0 | class baz[class baz] | +| test.py:15:11:15:13 | test.py:15 | ControlFlowNode for baz | import | test.py:12:1:12:12 | class baz | +| test.py:15:11:15:18 | test.py:15 | ControlFlowNode for Subscript | import | file://:0:0:0:0 | class baz[class baz] | +| test.py:15:15:15:17 | test.py:15 | ControlFlowNode for baz | import | file://:0:0:0:0 | class baz[class baz] | +| test.py:15:15:15:17 | test.py:15 | ControlFlowNode for baz | import | test.py:12:1:12:12 | class baz | diff --git a/python/ql/test/3/library-tests/PointsTo/typehints/test.py b/python/ql/test/3/library-tests/PointsTo/typehints/test.py index 55afebea175..b0b7ca5ddbb 100644 --- a/python/ql/test/3/library-tests/PointsTo/typehints/test.py +++ b/python/ql/test/3/library-tests/PointsTo/typehints/test.py @@ -8,3 +8,8 @@ def bar(s:set)->Set: t1 = Optional[Optional[int]] t2 = Optional[int][int] + +class baz(): + pass +while True: + baz = baz[baz]