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

Python: Fix internal consistency failures

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2024-03-08 14:13:47 +01:00
parent 87b6592dbc
commit adf5a4b1e4
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/ql/consistency-queries/TypeTrackingConsistency.ql
View File

@@ -17,7 +17,13 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
//
// match (NONSOURCE, SOURCE):
// case (x, y): ...
exists(DataFlow::Node m | m.asCfgNode().getNode() instanceof MatchCapturePattern |
exists(DataFlow::Node m |
m.asCfgNode().getNode() instanceof MatchCapturePattern
or
m.asCfgNode().getNode() instanceof MatchAsPattern
or
m.asCfgNode().getNode() instanceof MatchOrPattern
|
TypeTrackingInput::simpleLocalSmallStep*(m, n)
)
or