mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
c0569da65c
This is merely making explicit what was implicitly enforced. The move to change the return type of `step` already meant that `this` and `result` had to be `LocalSourceNode`. By moving these methods to their rightful place, we should hopefully avoid a bit of suprising behaviour.
7 lines
532 B
Markdown
7 lines
532 B
Markdown
lgtm,codescanning
|
|
* The predicates `StepSummary::step` and `TypeTracker::step` in `TypeTracker.qll` have been changed
|
|
to use the more restrictive type `LocalSourceNode` for their second argument. For cases where
|
|
stepping between non-`LocalSourceNode`s is required, the `StepSummary::smallstep` predicate may be
|
|
used instead.
|
|
* The methods `Node::track` and `Node::backtrack` have been moved to the class `LocalSourceNode`. If
|
|
the old behavior is required, one can use `LocalSourceNode::flowsTo` to add back the missing flow. |