Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 34106ec

Browse files
taus-semmletaus-semmle
authored
Merge pull request #1730 from markshannon/python-prepare-for-unrolling
Python prepare for implementing loop unrolling in extractor.
2 parents ee06c40 + 8dd3963 commit 34106ec

7 files changed

Lines changed: 13 additions & 23 deletions

File tree

‎python/ql/test/library-tests/ControlFlow/pruning/Constraint.expected‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,6 @@
3333
| 63 | seq2 | seq2 | Truthy | test |
3434
| 66 | seq3 | seq3 | Truthy | test |
3535
| 68 | UnaryExpr | seq4 | Falsey | test |
36-
| 78 | seq5 | seq5 | Truthy | test |
3736
| 88 | UnaryExpr | x | Falsey | test |
3837
| 90 | y | y | Truthy | test |
3938
| 93 | UnaryExpr | x | Falsey | test |

‎python/ql/test/library-tests/ControlFlow/pruning/test.expected‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -19,9 +19,6 @@
1919
| 52 | 1 |
2020
| 61 | 1 |
2121
| 64 | 1 |
22-
| 72 | 1 |
23-
| 75 | 1 |
24-
| 82 | 1 |
2522
| 94 | 0 |
2623
| 96 | 0 |
2724
| 103 | 0 |

‎python/ql/test/library-tests/ControlFlow/pruning/test.py‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -68,19 +68,19 @@ def loops(seq1, seq2, seq3, seq4, seq5):
6868
if not seq4:
6969
return
7070
#bool(seq3) is False; bool(seq4) is True
71-
for var in seq3:
72-
count #This is unreachable, but we cannot infer this yet.
73-
print(var)
74-
for var in seq4:
75-
count
76-
print(var)
77-
#seq5 false then made true
78-
if seq5:
79-
return
80-
seq5.append(1)
81-
for var in seq5:
82-
count
83-
print(var)
71+
#for var in seq3:
72+
# count #This is unreachable, but we cannot infer this yet.
73+
# print(var)
74+
#for var in seq4:
75+
# count
76+
# print(var)
77+
##seq5 false then made true
78+
#if seq5:
79+
# return
80+
#seq5.append(1)
81+
#for var in seq5:
82+
# count
83+
# print(var)
8484

8585
#Logic does not apply to global variables in calls,
8686
#as they may be changed from true to false externally.

‎python/ql/test/query-tests/analysis/pointsto/CallGraphEfficiency.expected‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

‎python/ql/test/query-tests/analysis/pointsto/CallGraphEfficiency.qlref‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎python/ql/test/query-tests/analysis/pointsto/CallGraphMarginalEfficiency.expected‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

‎python/ql/test/query-tests/analysis/pointsto/CallGraphMarginalEfficiency.qlref‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)