hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2592 from tausbn/python-remove-manual-tc-in-ssashortcut

Browse Source 
Python: Remove manual TC from `ssaShortCut`.
This commit is contained in:
Rasmus Wriedt Larsen
2020-02-04 14:04:25 +01:00
committed by GitHub
parent 00fdc70155 851d692996
commit de63eb1450
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/semmle/python/pointsto/PointsTo.qll
View File

@@ -284,7 +284,7 @@ cached module PointsToInternal {
ssa_definition_points_to(var.getDefinition(), context, value, origin)
or
exists(EssaVariable prev |
ssaShortCut(prev, var) and
ssaShortCut+(prev, var) and
variablePointsTo(prev, context, value, origin)
)
}
@@ -305,10 +305,6 @@ cached module PointsToInternal {
start = def.getInput() and
end.getDefinition() = def
)
or
exists(EssaVariable mid |
ssaShortCut(start, mid) and ssaShortCut(mid, end)
)
}
pragma [noinline]