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

Fix constant cases relating to enum types

Browse Source
This commit is contained in:
Chris Smowton
2023-10-27 12:46:47 +01:00
parent b21aaa75bc
commit 30c5885966
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/lib/semmle/code/java/Statement.qll
View File

@@ -486,7 +486,11 @@ class SwitchCase extends Stmt, @case {
/** A constant `case` of a switch statement. */
class ConstCase extends SwitchCase {
ConstCase() { exists(Literal e | e.getParent() = this and e.getIndex() >= 0) }
ConstCase() {
exists(Expr e |
e.getParent() = this and e.getIndex() >= 0 and not e instanceof LocalVariableDeclExpr
)
}
/** Gets the `case` constant at index 0. */
Expr getValue() { result.isNthChildOf(this, 0) }