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

Python: Add example of consistency failure

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2024-03-01 14:21:16 +01:00
parent bcd5c08ebd
commit 7e3e5db3db
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
python/ql/test/experimental/dataflow/coverage/CONSISTENCY/TypeTrackingConsistency.expected Normal file
View File

@@ -0,0 +1,18 @@
unreachableNode
| test.py:215:16:215:19 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:226:17:226:20 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:231:20:231:24 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:580:9:580:12 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:589:5:589:11 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:589:6:589:10 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:589:7:589:9 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:618:7:618:16 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:626:7:626:16 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:634:6:634:17 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:646:6:646:14 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:655:7:655:13 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:664:7:664:13 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:673:6:673:14 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:693:9:693:11 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:701:9:701:12 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:710:9:710:14 | IterableSequence | Unreachable node in step of kind simpleLocalSmallStep. |