temp

github · Sep 18, 2023 · ad1d9a3 · ad1d9a3
1 parent aa3bafe
commit ad1d9a3
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll
@@ -1742,7 +1742,7 @@ predicate expectsContent(Node n, ContentSet c) {
 private newtype TDataFlowType =
   TLambdaDataFlowType(Callable c) { c = any(LambdaSelfReferenceNode n).getCallable() } or
   // TSynthHashSplatArgumentType(SynthHashSplatArgumentNode n) or
-  // TSynthSplatArgumentType(SynthSplatArgumentNode n) or
+  TSynthSplatArgumentType(SynthSplatArgumentNode n) or
   TUnknownDataFlowType()
 
 class DataFlowType extends TDataFlowType {
@@ -1772,14 +1772,15 @@ DataFlowType getNodeType(Node n) {
     result = TLambdaDataFlowType(c)
   )
   or
-  // or
   // result = TSynthHashSplatArgumentType(n)
   // or
-  // result = TSynthSplatArgumentType(n)
+  result = TSynthSplatArgumentType(n)
+  or
   not n instanceof LambdaSelfReferenceNode and
   not mustHaveLambdaType(n, _) and
   // not n instanceof SynthHashSplatArgumentNode and
-  // not n instanceof SynthSplatArgumentNode and
+  // not exists(TSynthSplatArgumentType(n)) and
+  not n instanceof SynthSplatArgumentNode and
   result = TUnknownDataFlowType()
 }