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

Python: Remove excessive type pruning

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-06-18 13:58:47 +02:00
parent 1562f5c69a
commit 03b26f7ebe
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
View File

@@ -171,7 +171,7 @@ class CastNode extends Node {
*/
pragma[inline]
predicate compatibleTypes(DataFlowType t1, DataFlowType t2) {
none()
any()
}
DataFlowType getErasedRepr(DataFlowType t) { result = t }

5
python/ql/test/experimental/dataflow/global.expected
View File

@@ -0,0 +1,5 @@
| test.py:0:0:0:0 | GSSA Variable __name__ | test.py:0:0:0:0 | GSSA Variable __name__ |
| test.py:0:0:0:0 | GSSA Variable __package__ | test.py:0:0:0:0 | GSSA Variable __package__ |
| test.py:0:0:0:0 | GSSA Variable b | test.py:0:0:0:0 | GSSA Variable b |
| test.py:0:0:0:0 | SSA variable $ | test.py:0:0:0:0 | SSA variable $ |
| test.py:7:1:7:1 | GSSA Variable b | test.py:7:1:7:1 | GSSA Variable b |