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

ruby: remove redundant cases

Browse Source 
The CFG handles the negation
This commit is contained in:
yoff
2025-04-11 10:48:41 +02:00
parent 8555e8c8c8
commit f675a143d6
1 changed files with 0 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
ruby/ql/src/queries/variables/UninitializedLocal.ql
View File

@@ -37,23 +37,12 @@ predicate isGuarded(LocalVariableReadAccess read) {
guard.getAstNode() = read.getVariable().getAnAccess() and
branch = true
or
// guard is `!var`
guard.getAstNode().(NotExpr).getOperand() = read.getVariable().getAnAccess() and
branch = false
or
// guard is `var.nil?`
exists(MethodCall c | guard.getAstNode() = c |
c.getReceiver() = read.getVariable().getAnAccess() and
c.getMethodName() = "nil?"
) and
branch = false
or
// guard is `!var.nil?`
exists(MethodCall c | guard.getAstNode().(NotExpr).getOperand() = c |
c.getReceiver() = read.getVariable().getAnAccess() and
c.getMethodName() = "nil?"
) and
branch = true
)
}