hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Shared: Replace explicit recursion with a HOP.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-04 20:01:03 +01:00
parent 4b9d102f46
commit fd7d216fe3
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
shared/typetracking/codeql/typetracking/internal/TypeTrackingImpl.qll
View File

@@ -249,20 +249,20 @@ module TypeTracking<LocationSig Location, TypeTrackingInput<Location> I> {
returnStep(nodeFrom, nodeTo) and summary = ReturnStep()
}
pragma[inline]
private predicate isLocalSourceNode(LocalSourceNode n) { any() }
private predicate isLocalSourceNode(LocalSourceNode n) {
not nonStandardFlowsTo(_, _) and exists(n)
}
private predicate simpleLocalSmallStepPlus(Node localSource, Node dst) =
sourceBoundedFastTC(simpleLocalSmallStep/2, isLocalSourceNode/1)(localSource, dst)
cached
predicate standardFlowsTo(Node localSource, Node dst) {
not nonStandardFlowsTo(_, _) and
// explicit type check in base case to avoid repeated type tests in recursive case
isLocalSourceNode(localSource) and
dst = localSource
or
exists(Node mid |
standardFlowsTo(localSource, mid) and
simpleLocalSmallStep(mid, dst)
)
simpleLocalSmallStepPlus(localSource, dst)
}
cached