Ruby: fix allowed completions for desugared CasePatterns

aibaars · aibaars · commit 95f8f85aa295 · 2021-12-09T15:23:26.000+01:00
diff --git a/ruby/ql/lib/codeql/ruby/controlflow/internal/Completion.qll b/ruby/ql/lib/codeql/ruby/controlflow/internal/Completion.qll
@@ -227,6 +227,8 @@ private predicate inMatchingContext(AstNode n) {
   or
   n instanceof CasePattern
   or
+  n = any(CasePattern c).getDesugared()
+  or
   n.(Trees::DefaultValueParameterTree).hasDefaultValue()
 }
 

Original file line number	Diff line number	Diff line change
`@@ -227,6 +227,8 @@ private predicate inMatchingContext(AstNode n) {`
`227`	`227`	`or`
`228`	`228`	`n instanceof CasePattern`
`229`	`229`	`or`
	`230`	`+ n = any(CasePattern c).getDesugared()`
	`231`	`+ or`
`230`	`232`	`n.(Trees::DefaultValueParameterTree).hasDefaultValue()`
`231`	`233`	`}`
`232`	`234`