LGTM.com - false positive: Unreachable Statement in Match-Case

[lumina37]

Description of the false positive

In Match-Case of Python3.10, case 2 | 11: will match int 2 or int 11. It should not be an unreachable statement.
It seems that the QL treats the semantics of symbol | as bitwise-or rather than the correct multi-options.

URL to the alert on the project page on LGTM.com

https://lgtm.com/projects/g/Starry-OvO/Tieba-Manager/snapshot/071dfb069139a588f2af43318bd8ce1e103eec3e/files/tiebaBrowser/_types.py#x63b025e749110b8a:1

[edoardopirovano]

Indeed, this looks like a false positive. Thank you for reporting it!

Our current focus is on improving our security analysis. Because your report does not relate to a security query, we will put this on our backlog and prioritize it if we get enough reports of the same underlying issue in other projects. If you think that your report is related to our security analysis, please clarify that in a comment. Either way, we'll let you know here as soon as it's fixed!

As you might know, all of our queries are open source. If you do have an idea for a code change, we encourage you to open a pull request. GitHub Code Scanning and lgtm.com have facilities for suppressing individual alerts or disabling a query.

cc. @github/codeql-python