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: tests with false positives around match

Browse Source
This commit is contained in:
Paolo Tranquilli
2024-06-14 17:23:23 +02:00
parent 3d037e73f0
commit daea773fce
4 changed files with 21 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4,3 +4,5 @@
| 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:144:13:144:16 | Pass | This statement is unreachable. |
| test.py:147:9:148:16 | Case | This statement is unreachable. |

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

@@ -137,3 +137,12 @@ def unreachable_catch_all_raise(x):
pass
else:
raise ValueError(x)
def ok_match(x):
match x:
case False:
pass # FP
case True:
pass
case _: # FP
pass