Python: Slight cleanup

This commit is contained in:
Taus Brock-Nannestad
2021-03-25 18:35:16 +01:00
parent 229250dc54
commit 8734df334b

View File

@@ -468,8 +468,8 @@ class BarrierGuard extends GuardNode {
}
private predicate comes_from_cfgnode(Node node) {
exists(Node second |
simpleLocalFlowStep(any(CfgNode c), second) and
exists(CfgNode first, Node second |
simpleLocalFlowStep(first, second) and
simpleLocalFlowStep*(second, node)
)
}