Skip to content

Commit 586eaef

Browse files
author
Felicity Chapman
committed
Update for feedback
1 parent f6fe8d5 commit 586eaef

File tree

1 file changed

+3
-10
lines changed

1 file changed

+3
-10
lines changed

change-notes/1.19/analysis-python.md

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,9 @@
22

33
## General improvements
44

5-
A new predicate `Stmt.getAnEntryNode()` has been added to make it easier to write reachability queries involving statements.
6-
75
### Representation of the control flow graph
86

9-
The representation of the control flow graph (CFG) has been modified to better reflect the semantics of Python.
7+
The representation of the control flow graph (CFG) has been modified to better reflect the semantics of Python. As part of these changes, a new predicate `Stmt.getAnEntryNode()` has been added to make it easier to write reachability queries involving statements.
108

119
#### CFG nodes removed
1210

@@ -37,13 +35,8 @@ with cm as var:
3735
body
3836
```
3937

40-
| Old CFG node order | New CFG node order |
41-
|--------------------|--------------------|
42-
| `<with>` | `cm` |
43-
| `cm` | `<with>` |
44-
| `var` | `var` |
45-
| `body` | `body` |
46-
38+
* Previous CFG node order: `<with>` -> `cm` -> `var` -> `body`
39+
* New CFG node order: `cm` -> `<with>` -> `var` -> `body`
4740

4841
## New queries
4942

0 commit comments

Comments
 (0)