Files
codeql/python/ql/test/library-tests/dataflow/enclosing-callable/EnclosingCallable.expected
yoff 04b130f57f Python: fix library-test compile errors and rebless after CFG migration
Library-test compile fixes after the shared-CFG migration:
- PointsTo/global, PointsTo/local: use `f.getNode() = s.getValue()`
  instead of `s.getValue().getAFlowNode() = f` (the new CFG does not
  surface getAFlowNode on AST nodes).
- PointsTo/new/ImpliesDataflow: bridge new Cfg::ControlFlowNode to the
  legacy ControlFlowNodeWithPointsTo via AST identity.
- frameworks/aiohttp + frameworks/modeling-example: qualify CallNode /
  NameNode / AttrNode casts with Cfg:: now that those names live in
  the new CFG facade.

Rebless 4 expected files for toString-only differences (renamed CFG
positions like 'CFG node for foo' vs 'foo' — no semantic change):
ImpliesDataflow, EnclosingCallable, NaiveModel, ProperModel.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 21:09:49 +00:00

25 lines
2.1 KiB
Plaintext

| class_example.py:0:0:0:0 | Module class_example | class_example.py:1:1:1:3 | wat |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:1:7:1:7 | IntegerLiteral |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:3:1:3:10 | ClassExpr |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:3:7:3:9 | Wat |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:4:5:4:7 | wat |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:4:11:4:11 | IntegerLiteral |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:5:5:5:9 | print |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:5:5:5:26 | After print() |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:5:11:5:20 | StringLiteral |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:5:23:5:25 | wat |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:7:1:7:5 | print |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:7:1:7:23 | After print() |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:7:7:7:17 | StringLiteral |
| class_example.py:0:0:0:0 | Module class_example | class_example.py:7:20:7:22 | wat |
| generator.py:0:0:0:0 | Module generator | generator.py:1:1:1:23 | FunctionExpr |
| generator.py:0:0:0:0 | Module generator | generator.py:1:5:1:18 | generator_func |
| generator.py:1:1:1:23 | Function generator_func | generator.py:1:20:1:21 | xs |
| generator.py:1:1:1:23 | Function generator_func | generator.py:2:12:2:26 | After ListComp |
| generator.py:1:1:1:23 | Function generator_func | generator.py:2:24:2:25 | xs |
| generator.py:2:12:2:26 | Function listcomp | generator.py:2:12:2:26 | .0 |
| generator.py:2:12:2:26 | Function listcomp | generator.py:2:12:2:26 | After .0 [empty] |
| generator.py:2:12:2:26 | Function listcomp | generator.py:2:13:2:13 | After Yield |
| generator.py:2:12:2:26 | Function listcomp | generator.py:2:13:2:13 | x |
| generator.py:2:12:2:26 | Function listcomp | generator.py:2:19:2:19 | x |