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

Update shared/typetracking/codeql/typetracking/internal/TypeTrackingImpl.qll

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-10 11:21:25 +01:00
committed by GitHub
parent 3aee4a88aa
commit b7bc94b987
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -270,7 +270,6 @@ module TypeTracking<LocationSig Location, TypeTrackingInput<Location> I> {
pragma[inline]
predicate standardFlowsTo(Node localSource, Node dst) {
// explicit type check in base case to avoid repeated type tests in recursive case
isLocalSourceNode(localSource) and
dst = localSource
or