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

Python: add some more FP tests around match

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-01-17 11:00:01 +01:00
parent 0d52541f0a
commit 4ab5650979
4 changed files with 34 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
python/ql/test/query-tests/Statements/unreachable/UnreachableCode.expected
View File

@@ -4,3 +4,6 @@
| test.py:21:5:21:38 | For | This statement is unreachable. |
| test.py:28:9:28:21 | ExprStmt | This statement is unreachable. |
| test.py:84:5:84:21 | ExceptStmt | This statement is unreachable. |
| test.py:158:9:159:16 | Case | This statement is unreachable. |
| test.py:162:13:162:16 | Pass | This statement is unreachable. |
| test.py:167:13:167:16 | Pass | This statement is unreachable. |

23
python/ql/test/query-tests/Statements/unreachable/test.py
View File

@@ -141,8 +141,29 @@ def unreachable_catch_all_raise(x):
def ok_match(x):
match x:
case False:
pass # FP
pass
case True:
pass
case _:
pass
match x:
case "true":
pass
case _:
pass
match x:
case 42:
pass
case _: # FP
pass
match x:
case None:
pass # FP
case _:
pass
match x:
case 0.0:
pass # FP
case _:
pass