Ruby: 'self' is not really a local variable

aibaars · aibaars · commit e9e3ef3ea25b · 2021-12-09T15:23:26.000+01:00
diff --git a/ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImpl.qll b/ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImpl.qll
@@ -455,7 +455,8 @@ module Trees {
     }
   }
 
-  private class PatternVariableAccessTree extends LocalVariableAccessTree, CasePattern {
+  private class PatternVariableAccessTree extends LocalVariableAccessTree, LocalVariableWriteAccess,
+    CasePattern {
     final override predicate last(AstNode last, Completion c) {
       super.last(last, c) and
       c.(MatchingCompletion).getValue() = true

Original file line number	Diff line number	Diff line change
`@@ -455,7 +455,8 @@ module Trees {`
`455`	`455`	`}`
`456`	`456`	`}`
`457`	`457`
`458`		`- private class PatternVariableAccessTree extends LocalVariableAccessTree, CasePattern {`
	`458`	`+ private class PatternVariableAccessTree extends LocalVariableAccessTree, LocalVariableWriteAccess,`
	`459`	`+ CasePattern {`
`459`	`460`	`final override predicate last(AstNode last, Completion c) {`
`460`	`461`	`super.last(last, c) and`
`461`	`462`	`c.(MatchingCompletion).getValue() = true`